@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_0000108 rdf:type owl:ObjectProperty ; rdfs:range ; rdfs:label "exists at"@en ; "(Elucidation) exists at is a relation between a particular and some temporal region at which the particular exists"@en . ### http://purl.obolibrary.org/obo/BFO_0000199 rdf:type owl:ObjectProperty , owl:FunctionalProperty ; rdfs:range ; rdfs:label "occupies temporal region"@en ; "p occupies temporal region t =Def p is a process or process boundary & the spatiotemporal region occupied by p temporally projects onto t"@en . ### http://purl.obolibrary.org/obo/BFO_0000222 rdf:type owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain ; rdfs:range ; rdfs:label "has first instant"@en ; "t has first instant t' =Def t' first instant of t"@en . ### http://purl.obolibrary.org/obo/BFO_0000224 rdf:type owl:ObjectProperty , owl:FunctionalProperty ; rdfs:domain ; rdfs:range ; rdfs:label "has last instant"@en ; "t has last instant t' =Def t' last instant of t"@en . ### http://purl.obolibrary.org/obo/RO_0000056 rdf:type owl:ObjectProperty ; "this blood clot participates in this blood coagulation"@en , "this input material (or this output material) participates in this process"@en , "this investigator participates in this investigation"@en ; "a relation between a continuant and a process, in which the continuant is somehow involved in the process"@en ; rdfs:label "participates in"@en . ################################################################# # Classes ################################################################# ### http://purl.obolibrary.org/obo/BFO_0000003 rdf:type owl:Class ; rdfs:label "occurrent"@en ; "(Elucidation) An occurrent is an entity that unfolds itself in time or it is the start or end of such an entity or it is a temporal or spatiotemporal region"@en . ### http://purl.obolibrary.org/obo/BFO_0000008 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "temporal region"@en ; "(Elucidation) A temporal region is an occurrent over which processes can unfold"@en . ### http://purl.obolibrary.org/obo/BFO_0000015 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "process"@en ; "(Elucidation) p is a process means p is an occurrent that has some temporal proper part and for some time t, p has some material entity as participant"@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_0000038 rdf:type owl:Class ; rdfs:subClassOf ; owl:disjointWith ; rdfs:label "one-dimensional temporal region"@en ; "(Elucidation) A one-dimensional temporal region is a temporal region that is a whole that has a temporal interval and zero or more temporal intervals and temporal instants as parts"@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 . ### http://purl.obolibrary.org/obo/BFO_0000148 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "zero-dimensional temporal region"@en ; "(Elucidation) A zero-dimensional temporal region is a temporal region that is a whole consisting of one or more separated temporal instants as parts"@en . ### http://purl.obolibrary.org/obo/BFO_0000202 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "temporal interval"@en ; "(Elucidation) A temporal interval is a one-dimensional temporal region that is continuous, thus without gaps or breaks"@en . ### http://purl.obolibrary.org/obo/BFO_0000203 rdf:type owl:Class ; rdfs:subClassOf ; rdfs:label "temporal instant"@en ; "(Elucidation) A temporal instant is a zero-dimensional temporal region that has no proper temporal part"@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 . ################################################################# # 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. # S: stated by PMDco 3.1.2 rdfs:range . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi