@prefix : . @prefix owl: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @base . rdf:type owl:Ontology . ################################################################# # Annotation properties ################################################################# ### http://purl.obolibrary.org/obo/IAO_0000112 rdf:type owl:AnnotationProperty . ### http://purl.obolibrary.org/obo/IAO_0000115 rdf:type owl:AnnotationProperty . ### http://purl.obolibrary.org/obo/IAO_0000116 rdf:type owl:AnnotationProperty . ### http://www.w3.org/2004/02/skos/core#definition rdf:type owl:AnnotationProperty . ################################################################# # Object Properties ################################################################# ### http://purl.obolibrary.org/obo/BFO_0000051 rdf:type owl:ObjectProperty ; rdfs:subPropertyOf ; rdf:type owl:TransitiveProperty ; "my body has part my brain (continuant parthood, two material entities)"@en , "my stomach has part my stomach cavity (continuant parthood, material entity has part immaterial entity)"@en , "this year has part this day (occurrent parthood)"@en ; "a core relation that holds between a whole and its part"@en ; "Everything has itself as a part. Any part of any part of a thing is itself part of that thing. Two distinct things cannot have each other as a part."@en , "Occurrents are not subject to change and so parthood between occurrents holds for all the times that the part exists. Many continuants are subject to change, so parthood between continuants will only hold at certain times, but this is difficult to specify in OWL. See http://purl.obolibrary.org/obo/ro/docs/temporal-semantics/"@en , """Parthood requires the part and the whole to have compatible classes: only an occurrent have an occurrent as part; only a process can have a process as part; only a continuant can have a continuant as part; only an independent continuant can have an independent continuant as part; only a specifically dependent continuant can have a specifically dependent continuant as part; only a generically dependent continuant can have a generically dependent continuant as part. (This list is not exhaustive.) A continuant cannot have an occurrent as part: use 'participates in'. An occurrent cannot have a continuant as part: use 'has participant'. An immaterial entity cannot have a material entity as part: use 'location of'. An independent continuant cannot have a specifically dependent continuant as part: use 'bearer of'. A specifically dependent continuant cannot have an independent continuant as part: use 'inheres in'."""@en ; rdfs:label "has part"@en . ### http://purl.obolibrary.org/obo/RO_0000086 rdf:type owl:ObjectProperty ; rdfs:range ; "this apple has quality this red color"@en ; "a relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence"@en ; "A bearer can have many qualities, and its qualities can exist for different periods of time, but none of its qualities can exist when the bearer does not exist."@en ; rdfs:label "has quality"@en . ################################################################# # Classes ################################################################# ### http://purl.obolibrary.org/obo/BFO_0000019 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "quality"@en ; "(Elucidation) A quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized"@en . ### http://purl.obolibrary.org/obo/BFO_0000020 rdf:type owl:Class ; rdfs:label "specifically dependent continuant"@en ; "b is a specifically dependent continuant =Def b is a continuant & there is some independent continuant c which is not a spatial region & which is such that b specifically depends on c"@en . ### http://purl.obolibrary.org/obo/BFO_0000030 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "object"@en ; "(Elucidation) An object is a material entity which manifests causal unity & is of a type instances of which are maximal relative to the sort of causal unity manifested"@en . ### http://purl.obolibrary.org/obo/BFO_0000040 rdf:type owl:Class ; "An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time."@en ; "Elucidation: An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time."@en ; rdfs:label "material entity"@en ; "(Elucidation) A material entity is an independent continuant has some portion of matter as continuant part"@en . ### https://w3id.org/pmd/co/PMD_0000551 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:comment """See the editor note of composition to understand the difference between composition and chemical composition. See the pattern example of composition to underatand the difference between composition and proportion."""@en ; rdfs:label "chemical composition"@en , "chemische Zusammensetzung"@de ; "Die chemische Zusammensetzung ist eine intensive Eigenschaft eines Materieteils, die die Arten und Anteile reiner chemischer Elemente in dem Materieteil beschreibt, und ist Gegenstand einiger Datenelemente zur chemischen Zusammensetzung."@de , "The chemical composition is an intensive quality of a portion of matter which describes the types and proportions of pure chemical elements in the portion of matter, and it is a subject of some chemical composition data item."@en . ### https://w3id.org/pmd/co/PMD_0000639 rdf:type owl:Class ; rdfs:label "ferrous metal"@en ; "metal that has iron as primary constituent"@en . ### https://w3id.org/pmd/co/PMD_0020096 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "steel"@en ; "ferrous metal that consists of iron and carbon and possibly other alloying elements (and possibly impurities)"@en . ### https://w3id.org/pmd/co/PMD_0020133 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "Masse"@de , "mass"@en ; "Mass is fundamental extensive quality."@en . ### https://w3id.org/pmd/co/PMD_0020170 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:comment "The ingot may be hot rolled after casting..."@en ; rdfs:label "Bramme"@de , "ingot"@en ; "An ingot is an object that has a thick section and may bear a semi finished product role and that is the specified output of a casting process. At the same time it is a material."@en . ### https://w3id.org/pmd/co/PMD_0023000 rdf:type owl:Class ; "TODO: system requires further precision"@en ; rdfs:label "fundamental quality of system"@en ; "a quality that is quality of every system made of demarcated materail entites"@en . ### https://w3id.org/pmd/co/PMD_0025001 rdf:type owl:Class ; "There's a dfference between composition and chemical compositon for the following reason: chemical compositon is relevant when the mass/volume/mole proportions of chemical elements(!) are identified, whlist composition includes proportions of molecules, other pure chemical substances, or even proptions of objects (in an object aggregate)."@en ; rdfs:label "Zusammensetzung"@de , "composition"@en ; "Composition is an intensive quality which defines types and proportions of compounds present in a material entity and is subject of some composition data item."@en , "Zusammensetzung ist eine intensive Qualität, die Arten und Anteile von Verbindungen definiert, die in einer materiellen Einheit vorhanden sind, und Gegenstand einiger Zusammensetzungsdatenelemente ist."@de . ################################################################# # Axioms restored from PMDco 3.1.2 ################################################################# # The extraction dropped these although each mentions only terms declared above; no term is added. # S stated by PMDco 3.1.2. E follows from one PMDco 3.1.2 axiom (a conjunct, or an inverse property's domain/range). # T follows from PMDco 3.1.2 subclass axioms through classes outside the pattern. O stated by the real OBO file only. # T: entailed by PMDco 3.1.2 through classes outside the pattern: ferrous metal < metal < material < portion of matter < material entity rdfs:subClassOf . # S: stated by PMDco 3.1.2 rdfs:subClassOf . # S: stated by PMDco 3.1.2 rdfs:subClassOf . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi