imt.ttl

@prefix : <https://w3id.org/pmd/imt.ttl#> .
@prefix dce: <http://purl.org/dc/elements/1.1/> .
@prefix obo: <http://purl.obolibrary.org/obo/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix swrl: <http://www.w3.org/2003/11/swrl#> .
@prefix swrlb: <http://www.w3.org/2003/11/swrlb#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@base <https://w3id.org/pmd/imt.ttl> .

<https://w3id.org/pmd/imt.ttl> rdf:type owl:Ontology ;
                                owl:versionIRI <https://w3id.org/pmd/imt/releases/2026-02-11/imt.ttl> ;
                                dcterms:description "None" ;
                                dcterms:license <https://creativecommons.org/licenses/unspecified> ;
                                dcterms:title "ImageTrans: Application-level ontology for image transformation" ;
                                owl:versionInfo "2026-02-11" .

#################################################################
#    Annotation properties
#################################################################

###  http://purl.obolibrary.org/obo/IAO_0000115
obo:IAO_0000115 rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/source
dce:source rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/description
dcterms:description rdf:type owl:AnnotationProperty ;
                    rdfs:label "description" .


###  http://purl.org/dc/terms/license
dcterms:license rdf:type owl:AnnotationProperty ;
                rdfs:label "dcterms:license" ,
                           "license" .


###  http://purl.org/dc/terms/title
dcterms:title rdf:type owl:AnnotationProperty ;
              rdfs:label "title" .


#################################################################
#    Object Properties
#################################################################

###  http://purl.obolibrary.org/obo/IAO_0000136
obo:IAO_0000136 rdf:type owl:ObjectProperty ;
                owl:inverseOf <https://w3id.org/pmd/co/PMD_0000004> ;
                rdfs:domain obo:IAO_0000030 ;
                obo:IAO_0000115 "A (currently) primitive relation that relates an information artifact to an entity."@en ;
                rdfs:label "is about"@en .


###  http://purl.obolibrary.org/obo/RO_0000052
obo:RO_0000052 rdf:type owl:ObjectProperty ;
               owl:inverseOf obo:RO_0000053 ;
               rdf:type owl:FunctionalProperty ;
               obo:IAO_0000115 "a relation between a specifically dependent continuant (the characteristic) and any other entity (the bearer), in which the characteristic depends on the bearer for its existence."@en ;
               rdfs:label "characteristic of"@en .


###  http://purl.obolibrary.org/obo/RO_0000053
obo:RO_0000053 rdf:type owl:ObjectProperty ,
                        owl:InverseFunctionalProperty ;
               rdfs:range obo:BFO_0000020 ;
               obo:IAO_0000115 "Inverse of characteristic_of"@en ;
               rdfs:label "has characteristic"@en .


###  http://purl.obolibrary.org/obo/RO_0000079
obo:RO_0000079 rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf obo:RO_0000052 ;
               owl:inverseOf obo:RO_0000085 ;
               rdfs:domain obo:BFO_0000034 ;
               obo:IAO_0000115 "a relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence"@en ;
               rdfs:label "function of"@en .


###  http://purl.obolibrary.org/obo/RO_0000080
obo:RO_0000080 rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf obo:RO_0000052 ;
               owl:inverseOf obo:RO_0000086 ;
               rdfs:domain [ owl:intersectionOf ( obo:BFO_0000019
                                                  [ rdf:type owl:Class ;
                                                    owl:complementOf obo:BFO_0000145
                                                  ]
                                                ) ;
                             rdf:type owl:Class
                           ] ;
               obo:IAO_0000115 "a relation between a quality and an independent continuant (the bearer), in which the quality specifically depends on the bearer for its existence"@en ;
               rdfs:label "quality of"@en .


###  http://purl.obolibrary.org/obo/RO_0000081
obo:RO_0000081 rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf obo:RO_0000052 ;
               owl:inverseOf obo:RO_0000087 ;
               obo:IAO_0000115 "a relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence"@en ;
               rdfs:label "role of"@en .


###  http://purl.obolibrary.org/obo/RO_0000085
obo:RO_0000085 rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf obo:RO_0000053 ;
               rdfs:domain obo:BFO_0000004 ;
               rdfs:range obo:BFO_0000034 ;
               obo:IAO_0000115 "a relation between an independent continuant (the bearer) and a function, in which the function specifically depends on the bearer for its existence"@en ;
               rdfs:label "has function"@en .


###  http://purl.obolibrary.org/obo/RO_0000086
obo:RO_0000086 rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf obo:RO_0000053 ;
               rdfs:range obo:BFO_0000019 ;
               obo:IAO_0000115 "a relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence"@en ;
               rdfs:label "has quality"@en .


###  http://purl.obolibrary.org/obo/RO_0000087
obo:RO_0000087 rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf obo:RO_0000053 ;
               rdfs:domain obo:BFO_0000004 ;
               rdfs:range obo:BFO_0000023 ;
               obo:IAO_0000115 "a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence"@en ;
               rdfs:label "has role"@en .


###  http://purl.obolibrary.org/obo/RO_0000091
obo:RO_0000091 rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf obo:RO_0000053 ;
               owl:inverseOf obo:RO_0000092 ;
               rdfs:domain obo:BFO_0000004 ;
               rdfs:range obo:BFO_0000016 ;
               obo:IAO_0000115 "a relation between an independent continuant (the bearer) and a disposition, in which the disposition specifically depends on the bearer for its existence"@en ;
               rdfs:label "has disposition"@en .


###  http://purl.obolibrary.org/obo/RO_0000092
obo:RO_0000092 rdf:type owl:ObjectProperty ;
               rdfs:subPropertyOf obo:RO_0000052 ;
               obo:IAO_0000115 "inverse of has disposition" ;
               rdfs:label "disposition of"@en .


###  https://w3id.org/pmd/co/PMD_0000004
<https://w3id.org/pmd/co/PMD_0000004> rdf:type owl:ObjectProperty ;
                                      rdfs:label "is subject of"@en .


#################################################################
#    Classes
#################################################################

###  http://purl.obolibrary.org/obo/BFO_0000001
obo:BFO_0000001 rdf:type owl:Class ;
                rdfs:label "entity"@en .


###  http://purl.obolibrary.org/obo/BFO_0000002
obo:BFO_0000002 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000001 ;
                rdfs:label "continuant"@en .


###  http://purl.obolibrary.org/obo/BFO_0000004
obo:BFO_0000004 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000002 ;
                owl:disjointWith obo:BFO_0000020 ,
                                 obo:BFO_0000031 ;
                rdfs:label "independent continuant"@en .


###  http://purl.obolibrary.org/obo/BFO_0000016
obo:BFO_0000016 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000017 ;
                owl:disjointWith obo:BFO_0000023 ;
                rdfs:label "disposition"@en .


###  http://purl.obolibrary.org/obo/BFO_0000017
obo:BFO_0000017 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000020 ;
                owl:disjointWith obo:BFO_0000019 ;
                rdfs:label "realizable entity"@en .


###  http://purl.obolibrary.org/obo/BFO_0000019
obo:BFO_0000019 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000020 ;
                rdfs:label "quality"@en .


###  http://purl.obolibrary.org/obo/BFO_0000020
obo:BFO_0000020 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000002 ;
                owl:disjointWith obo:BFO_0000031 ;
                rdfs:label "specifically dependent continuant"@en .


###  http://purl.obolibrary.org/obo/BFO_0000023
obo:BFO_0000023 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000017 ;
                rdfs:label "role"@en .


###  http://purl.obolibrary.org/obo/BFO_0000031
obo:BFO_0000031 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000002 ;
                rdfs:label "generically dependent continuant"@en .


###  http://purl.obolibrary.org/obo/BFO_0000034
obo:BFO_0000034 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000016 ;
                rdfs:label "function"@en .


###  http://purl.obolibrary.org/obo/BFO_0000145
obo:BFO_0000145 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000019 ;
                rdfs:label "relational quality"@en .


###  http://purl.obolibrary.org/obo/IAO_0000027
obo:IAO_0000027 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000030 ;
                obo:IAO_0000115 "An information content entity that is intended to be a truthful statement about something (modulo, e.g., measurement precision or other systematic errors) and is constructed/acquired by a method which reliably tends to produce (approximately) truthful statements."@en ;
                rdfs:label "data item"@en .


###  http://purl.obolibrary.org/obo/IAO_0000030
obo:IAO_0000030 rdf:type owl:Class ;
                rdfs:subClassOf obo:BFO_0000031 ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty obo:IAO_0000136 ;
                                  owl:someValuesFrom obo:BFO_0000001
                                ] ;
                obo:IAO_0000115 "A generically dependent continuant that is about some thing."@en ;
                rdfs:label "information content entity"@en .


###  http://purl.obolibrary.org/obo/IAO_0000078
obo:IAO_0000078 rdf:type owl:Class ;
                owl:equivalentClass [ rdf:type owl:Class ;
                                      owl:oneOf ( obo:IAO_0000002
                                                  obo:IAO_0000120
                                                  obo:IAO_0000121
                                                  obo:IAO_0000122
                                                  obo:IAO_0000123
                                                  obo:IAO_0000124
                                                  obo:IAO_0000125
                                                  obo:IAO_0000423
                                                  obo:IAO_0000428
                                                )
                                    ] ;
                rdfs:subClassOf obo:IAO_0000102 ;
                obo:IAO_0000115 "The curation status of the term. The allowed values come from an enumerated list of predefined terms. See the specification of these instances for more detailed definitions of each enumerated value."@en ;
                rdfs:label "curation status specification"@en .


###  http://purl.obolibrary.org/obo/IAO_0000102
obo:IAO_0000102 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000027 ;
                obo:IAO_0000115 "Data about an ontology part is a data item about a part of an ontology, for example a term"@en ;
                rdfs:label "data about an ontology part"@en .


###  http://purl.obolibrary.org/obo/OBI_0001930
obo:OBI_0001930 rdf:type owl:Class ;
                rdfs:subClassOf obo:OBI_0001933 ;
                obo:IAO_0000115 "A value specification that is specifies one category out of a fixed number of nominal categories"@en ;
                rdfs:label "categorical value specification" .


###  http://purl.obolibrary.org/obo/OBI_0001933
obo:OBI_0001933 rdf:type owl:Class ;
                rdfs:subClassOf obo:IAO_0000030 ;
                obo:IAO_0000115 "An information content entity that specifies a value within a classification scheme or on a quantitative scale."@en ;
                rdfs:label "value specification" .


###  https://w3id.org/pmd/IMT_0000000
<https://w3id.org/pmd/IMT_0000000> rdf:type owl:Class ;
                                   rdfs:label "root node"@en .


###  https://w3id.org/pmd/co/PMD_0020023
<https://w3id.org/pmd/co/PMD_0020023> rdf:type owl:Class ;
                                      owl:equivalentClass [ rdf:type owl:Class ;
                                                            owl:oneOf ( <https://w3id.org/pmd/co/PMD_0020027>
                                                                        <https://w3id.org/pmd/co/PMD_0020097>
                                                                        <https://w3id.org/pmd/co/PMD_0020100>
                                                                        <https://w3id.org/pmd/co/PMD_0020107>
                                                                        <https://w3id.org/pmd/co/PMD_0020109>
                                                                        <https://w3id.org/pmd/co/PMD_0020110>
                                                                        <https://w3id.org/pmd/co/PMD_0020111>
                                                                      )
                                                          ] ;
                                      rdfs:subClassOf obo:OBI_0001930 ;
                                      rdfs:label "metallic grain structures"@en .


###  https://w3id.org/pmd/co/PMD_0020099
<https://w3id.org/pmd/co/PMD_0020099> rdf:type owl:Class ;
                                      owl:equivalentClass [ rdf:type owl:Class ;
                                                            owl:oneOf ( <https://w3id.org/pmd/co/PMD_0020006>
                                                                        <https://w3id.org/pmd/co/PMD_0020007>
                                                                        <https://w3id.org/pmd/co/PMD_0020008>
                                                                        <https://w3id.org/pmd/co/PMD_0020009>
                                                                        <https://w3id.org/pmd/co/PMD_0020010>
                                                                        <https://w3id.org/pmd/co/PMD_0020011>
                                                                        <https://w3id.org/pmd/co/PMD_0020012>
                                                                        <https://w3id.org/pmd/co/PMD_0020013>
                                                                        <https://w3id.org/pmd/co/PMD_0020014>
                                                                        <https://w3id.org/pmd/co/PMD_0020015>
                                                                        <https://w3id.org/pmd/co/PMD_0020016>
                                                                        <https://w3id.org/pmd/co/PMD_0020017>
                                                                        <https://w3id.org/pmd/co/PMD_0020018>
                                                                        <https://w3id.org/pmd/co/PMD_0020019>
                                                                      )
                                                          ] ;
                                      rdfs:subClassOf obo:OBI_0001930 ;
                                      rdfs:label "bravais lattice (3d)"@en .


###  https://w3id.org/pmd/co/PMD_0020116
<https://w3id.org/pmd/co/PMD_0020116> rdf:type owl:Class ;
                                      owl:equivalentClass [ rdf:type owl:Class ;
                                                            owl:oneOf ( <https://w3id.org/pmd/co/PMD_0020117>
                                                                        <https://w3id.org/pmd/co/PMD_0020118>
                                                                        <https://w3id.org/pmd/co/PMD_0020119>
                                                                        <https://w3id.org/pmd/co/PMD_0020120>
                                                                        <https://w3id.org/pmd/co/PMD_0020121>
                                                                        <https://w3id.org/pmd/co/PMD_0020122>
                                                                        <https://w3id.org/pmd/co/PMD_0020123>
                                                                        <https://w3id.org/pmd/co/PMD_0020124>
                                                                        <https://w3id.org/pmd/co/PMD_0020125>
                                                                      )
                                                          ] ;
                                      rdfs:subClassOf obo:OBI_0001930 ;
                                      rdfs:label "aggregate state value"@en .


#################################################################
#    Individuals
#################################################################

###  http://purl.obolibrary.org/obo/IAO_0000002
obo:IAO_0000002 rdf:type owl:NamedIndividual ;
                rdfs:label "example to be eventually removed"@en .


###  http://purl.obolibrary.org/obo/IAO_0000120
obo:IAO_0000120 rdf:type owl:NamedIndividual ;
                obo:IAO_0000115 "Class has all its metadata, but is either not guaranteed to be in its final location in the asserted IS_A hierarchy or refers to another class that is not complete."@en ;
                rdfs:label "metadata complete"@en .


###  http://purl.obolibrary.org/obo/IAO_0000121
obo:IAO_0000121 rdf:type owl:NamedIndividual ;
                obo:IAO_0000115 "Term created to ease viewing/sort terms for development purpose, and will not be included in a release"@en ;
                rdfs:label "organizational term"@en .


###  http://purl.obolibrary.org/obo/IAO_0000122
obo:IAO_0000122 rdf:type owl:NamedIndividual ;
                obo:IAO_0000115 "Class has undergone final review, is ready for use, and will be included in the next release. Any class lacking \"ready_for_release\" should be considered likely to change place in hierarchy, have its definition refined, or be obsoleted in the next release.  Those classes deemed \"ready_for_release\" will also derived from a chain of ancestor classes that are also \"ready_for_release.\""@en ;
                rdfs:label "ready for release"@en .


###  http://purl.obolibrary.org/obo/IAO_0000123
obo:IAO_0000123 rdf:type owl:NamedIndividual ;
                obo:IAO_0000115 "Class is being worked on; however, the metadata (including definition) are not complete or sufficiently clear to the branch editors."@en ;
                rdfs:label "metadata incomplete"@en .


###  http://purl.obolibrary.org/obo/IAO_0000124
obo:IAO_0000124 rdf:type owl:NamedIndividual ;
                obo:IAO_0000115 "Nothing done yet beyond assigning a unique class ID and proposing a preferred term."@en ;
                rdfs:label "uncurated"@en .


###  http://purl.obolibrary.org/obo/IAO_0000125
obo:IAO_0000125 rdf:type owl:NamedIndividual ;
                obo:IAO_0000115 "All definitions, placement in the asserted IS_A hierarchy and required minimal metadata are complete. The class is awaiting a final review by someone other than the term editor."@en ;
                rdfs:label "pending final vetting"@en .


###  http://purl.obolibrary.org/obo/IAO_0000423
obo:IAO_0000423 rdf:type owl:NamedIndividual ;
                obo:IAO_0000115 "Terms with this status should eventually replaced with a term from another ontology."@en ;
                rdfs:label "to be replaced with external ontology term"@en .


###  http://purl.obolibrary.org/obo/IAO_0000428
obo:IAO_0000428 rdf:type owl:NamedIndividual ;
                obo:IAO_0000115 "A term that is metadata complete, has been reviewed, and problems have been identified that require discussion before release. Such a term requires editor note(s) to identify the outstanding issues."@en ;
                rdfs:label "requires discussion"@en .


###  https://w3id.org/pmd/co/PMD_0020006
<https://w3id.org/pmd/co/PMD_0020006> rdf:type owl:NamedIndividual ;
                                      rdfs:label "bravais lattice triclinic primitve"@en .


###  https://w3id.org/pmd/co/PMD_0020007
<https://w3id.org/pmd/co/PMD_0020007> rdf:type owl:NamedIndividual ;
                                      rdfs:label "bravais lattice monoclinic primitive"@en .


###  https://w3id.org/pmd/co/PMD_0020008
<https://w3id.org/pmd/co/PMD_0020008> rdf:type owl:NamedIndividual ;
                                      rdfs:label "bravais lattice monoclinic base-centered"@en .


###  https://w3id.org/pmd/co/PMD_0020009
<https://w3id.org/pmd/co/PMD_0020009> rdf:type owl:NamedIndividual ;
                                      rdfs:label "bravais lattice orthorombic primitive"@en .


###  https://w3id.org/pmd/co/PMD_0020010
<https://w3id.org/pmd/co/PMD_0020010> rdf:type owl:NamedIndividual ;
                                      rdfs:label "bravais lattice orthorhombic base-centered"@en .


###  https://w3id.org/pmd/co/PMD_0020011
<https://w3id.org/pmd/co/PMD_0020011> rdf:type owl:NamedIndividual ;
                                      rdfs:label "bravais lattice orthorhombic body-centered"@en .


###  https://w3id.org/pmd/co/PMD_0020012
<https://w3id.org/pmd/co/PMD_0020012> rdf:type owl:NamedIndividual ;
                                      rdfs:label "bravais lattice orthorhombic face-centered"@en .


###  https://w3id.org/pmd/co/PMD_0020013
<https://w3id.org/pmd/co/PMD_0020013> rdf:type owl:NamedIndividual ;
                                      rdfs:label "bravais lattice tetragonal primitive"@en .


###  https://w3id.org/pmd/co/PMD_0020014
<https://w3id.org/pmd/co/PMD_0020014> rdf:type owl:NamedIndividual ;
                                      rdfs:label "bravais lattice tetragonal body-centered"@en .


###  https://w3id.org/pmd/co/PMD_0020015
<https://w3id.org/pmd/co/PMD_0020015> rdf:type owl:NamedIndividual ;
                                      rdfs:label "bravais lattice hexagonal rhombohedral primitive"@en .


###  https://w3id.org/pmd/co/PMD_0020016
<https://w3id.org/pmd/co/PMD_0020016> rdf:type owl:NamedIndividual ;
                                      rdfs:label "bravais lattice hexagonal hexagonal primitive"@en .


###  https://w3id.org/pmd/co/PMD_0020017
<https://w3id.org/pmd/co/PMD_0020017> rdf:type owl:NamedIndividual ;
                                      rdfs:label "bravais lattice cubic primitive"@en .


###  https://w3id.org/pmd/co/PMD_0020018
<https://w3id.org/pmd/co/PMD_0020018> rdf:type owl:NamedIndividual ;
                                      rdfs:label "bravais lattice cubic body-centered"@en .


###  https://w3id.org/pmd/co/PMD_0020019
<https://w3id.org/pmd/co/PMD_0020019> rdf:type owl:NamedIndividual ;
                                      rdfs:label "bravais lattice cubic face-centered"@en .


###  https://w3id.org/pmd/co/PMD_0020027
<https://w3id.org/pmd/co/PMD_0020027> rdf:type owl:NamedIndividual ;
                                      rdfs:label "bainite"@en .


###  https://w3id.org/pmd/co/PMD_0020097
<https://w3id.org/pmd/co/PMD_0020097> rdf:type owl:NamedIndividual ;
                                      rdfs:label "austenite"@en .


###  https://w3id.org/pmd/co/PMD_0020100
<https://w3id.org/pmd/co/PMD_0020100> rdf:type owl:NamedIndividual ;
                                      rdfs:label "ferrite"@en .


###  https://w3id.org/pmd/co/PMD_0020107
<https://w3id.org/pmd/co/PMD_0020107> rdf:type owl:NamedIndividual ;
                                      rdfs:label "ledeburite"@en .


###  https://w3id.org/pmd/co/PMD_0020109
<https://w3id.org/pmd/co/PMD_0020109> rdf:type owl:NamedIndividual ;
                                      rdfs:label "pearlite"@en .


###  https://w3id.org/pmd/co/PMD_0020110
<https://w3id.org/pmd/co/PMD_0020110> rdf:type owl:NamedIndividual ;
                                      rdfs:label "widmanstatten structure"@en .


###  https://w3id.org/pmd/co/PMD_0020111
<https://w3id.org/pmd/co/PMD_0020111> rdf:type owl:NamedIndividual ;
                                      rdfs:label "martensite"@en .


###  https://w3id.org/pmd/co/PMD_0020117
<https://w3id.org/pmd/co/PMD_0020117> rdf:type owl:NamedIndividual ;
                                      rdfs:label "aggregate state solid"@en .


###  https://w3id.org/pmd/co/PMD_0020118
<https://w3id.org/pmd/co/PMD_0020118> rdf:type owl:NamedIndividual ;
                                      rdfs:label "aggregate state liquid"@en .


###  https://w3id.org/pmd/co/PMD_0020119
<https://w3id.org/pmd/co/PMD_0020119> rdf:type owl:NamedIndividual ;
                                      rdfs:label "aggregate state gasous"@en .


###  https://w3id.org/pmd/co/PMD_0020120
<https://w3id.org/pmd/co/PMD_0020120> rdf:type owl:NamedIndividual ;
                                      rdfs:label "aggregate state plasma"@en .


###  https://w3id.org/pmd/co/PMD_0020121
<https://w3id.org/pmd/co/PMD_0020121> rdf:type owl:NamedIndividual ;
                                      rdfs:label "aggregate state atom gas"@en .


###  https://w3id.org/pmd/co/PMD_0020122
<https://w3id.org/pmd/co/PMD_0020122> rdf:type owl:NamedIndividual ;
                                      rdfs:label "aggregate state supercritical fluid"@en .


###  https://w3id.org/pmd/co/PMD_0020123
<https://w3id.org/pmd/co/PMD_0020123> rdf:type owl:NamedIndividual ;
                                      rdfs:label "aggregate state mesomorphic"@en .


###  https://w3id.org/pmd/co/PMD_0020124
<https://w3id.org/pmd/co/PMD_0020124> rdf:type owl:NamedIndividual ;
                                      rdfs:label "aggregate state suprafluid"@en .


###  https://w3id.org/pmd/co/PMD_0020125
<https://w3id.org/pmd/co/PMD_0020125> rdf:type owl:NamedIndividual ;
                                      rdfs:label "aggregate state suprasolid"@en .


#################################################################
#    General axioms
#################################################################

[ rdf:type owl:AllDisjointClasses ;
  owl:members ( obo:BFO_0000004
                obo:BFO_0000020
                obo:BFO_0000031
              )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( <https://w3id.org/pmd/co/PMD_0020006>
                        <https://w3id.org/pmd/co/PMD_0020007>
                        <https://w3id.org/pmd/co/PMD_0020008>
                        <https://w3id.org/pmd/co/PMD_0020009>
                        <https://w3id.org/pmd/co/PMD_0020010>
                        <https://w3id.org/pmd/co/PMD_0020011>
                        <https://w3id.org/pmd/co/PMD_0020012>
                        <https://w3id.org/pmd/co/PMD_0020013>
                        <https://w3id.org/pmd/co/PMD_0020014>
                        <https://w3id.org/pmd/co/PMD_0020015>
                        <https://w3id.org/pmd/co/PMD_0020016>
                        <https://w3id.org/pmd/co/PMD_0020017>
                        <https://w3id.org/pmd/co/PMD_0020018>
                        <https://w3id.org/pmd/co/PMD_0020019>
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( <https://w3id.org/pmd/co/PMD_0020117>
                        <https://w3id.org/pmd/co/PMD_0020118>
                        <https://w3id.org/pmd/co/PMD_0020119>
                        <https://w3id.org/pmd/co/PMD_0020120>
                        <https://w3id.org/pmd/co/PMD_0020121>
                        <https://w3id.org/pmd/co/PMD_0020122>
                        <https://w3id.org/pmd/co/PMD_0020123>
                        <https://w3id.org/pmd/co/PMD_0020124>
                        <https://w3id.org/pmd/co/PMD_0020125>
                      )
] .


#################################################################
#    Rules
#################################################################

<urn:swrl:var#e> rdf:type swrl:Variable .

<urn:swrl:var#d> rdf:type swrl:Variable .

[ rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate obo:RO_0000053 ;
                           swrl:argument1 <urn:swrl:var#e> ;
                           swrl:argument2 <urn:swrl:var#d>
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate obo:BFO_0000016 ;
                                      swrl:argument1 <urn:swrl:var#d>
                                    ] ;
                          rdf:rest rdf:nil
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate obo:RO_0000091 ;
                           swrl:argument1 <urn:swrl:var#e> ;
                           swrl:argument2 <urn:swrl:var#d>
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate obo:RO_0000053 ;
                           swrl:argument1 <urn:swrl:var#e> ;
                           swrl:argument2 <urn:swrl:var#d>
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate obo:BFO_0000019 ;
                                      swrl:argument1 <urn:swrl:var#d>
                                    ] ;
                          rdf:rest rdf:nil
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate obo:RO_0000086 ;
                           swrl:argument1 <urn:swrl:var#e> ;
                           swrl:argument2 <urn:swrl:var#d>
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate obo:RO_0000053 ;
                           swrl:argument1 <urn:swrl:var#e> ;
                           swrl:argument2 <urn:swrl:var#d>
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate obo:BFO_0000023 ;
                                      swrl:argument1 <urn:swrl:var#d>
                                    ] ;
                          rdf:rest rdf:nil
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate obo:RO_0000087 ;
                           swrl:argument1 <urn:swrl:var#e> ;
                           swrl:argument2 <urn:swrl:var#d>
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate obo:RO_0000053 ;
                           swrl:argument1 <urn:swrl:var#e> ;
                           swrl:argument2 <urn:swrl:var#d>
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate obo:BFO_0000034 ;
                                      swrl:argument1 <urn:swrl:var#d>
                                    ] ;
                          rdf:rest rdf:nil
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate obo:RO_0000085 ;
                           swrl:argument1 <urn:swrl:var#e> ;
                           swrl:argument2 <urn:swrl:var#d>
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

###  Generated by the OWL API (version 4.5.29) https://github.com/owlcs/owlapi