(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x13. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x14 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x16. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x16. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x17. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x18. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (DATATYPE_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasNrOfPhase>) (INTERNAL,DatatypeRestriction) (DATATYPE,xsd:int) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#HomogeneousMixture>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasNrOfPhase>. ?x3 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x4. ?x4 owl:onDatatype xsd:int. ?x4 owl:withRestrictions ?x5. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#HomogeneousMixture>. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (LHS,<http://www.meteck.org/files/ontologies/stuff.owl#NumberOfPhases>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { <http://www.meteck.org/files/ontologies/stuff.owl#NumberOfPhases> <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?x0. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x16. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x17. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x13. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x14 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x16. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x17. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (LHS,<http://www.meteck.org/files/ontologies/stuff.owl#Distribution>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { <http://www.meteck.org/files/ontologies/stuff.owl#Distribution> <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?x0. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (LHS,<http://www.meteck.org/files/ontologies/stuff.owl#Solute>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { <http://www.meteck.org/files/ontologies/stuff.owl#Solute> <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?x0. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Liquid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Liquid>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x14. ?x14 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x15. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x16. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?x1. ?x1 owl:onProperty ?x2. ?x1 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x3. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x15. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x16. ?x16 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x17. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x18. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x16. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x17. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#allValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasGranuleType>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#PureStuff>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasGranuleType>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasGranuleType>. ?x3 <http://www.w3.org/2002/07/owl#allValuesFrom> ?x5. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#PureStuff>. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasGranuleType>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x16. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x17. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (LHS,<http://www.meteck.org/files/ontologies/stuff.owl#Molecule>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { <http://www.meteck.org/files/ontologies/stuff.owl#Molecule> <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?x0. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (LHS,<http://www.meteck.org/files/ontologies/stuff.owl#HomogeneousMixture>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { <http://www.meteck.org/files/ontologies/stuff.owl#HomogeneousMixture> <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?x0. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Liquid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Liquid>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x14. ?x14 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x15. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x16. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#HeterogeneousMixture>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.meteck.org/files/ontologies/stuff.owl#HeterogeneousMixture>. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x13. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x14 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x16. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x15. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x16. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x17. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x18. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x16. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x17. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x18. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x11. ?x11 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x12. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Liquid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x13. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x14 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Liquid>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x16. ?x16 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Endurant>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.meteck.org/files/ontologies/stuff.owl#Endurant>. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#PhysicalEndurant>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.meteck.org/files/ontologies/stuff.owl#PhysicalEndurant>. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Liquid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Liquid>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x16. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x15. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x16. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x17. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x16. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x17. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x15. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x16. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x17. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x18. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x13. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x14 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x16. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x14. ?x14 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x15. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x16. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#StuffState>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.meteck.org/files/ontologies/stuff.owl#StuffState>. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Liquid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Liquid>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x16. ?x16 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x17. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Liquid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Liquid>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x16. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#PhysicalObject>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.meteck.org/files/ontologies/stuff.owl#PhysicalObject>. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#AbstractRegion>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.meteck.org/files/ontologies/stuff.owl#AbstractRegion>. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (LHS,<http://www.meteck.org/files/ontologies/stuff.owl#StuffRole>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { <http://www.meteck.org/files/ontologies/stuff.owl#StuffRole> <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?x0. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x15. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x16. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x17. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x18. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x15. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x16. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x17. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (CARDINALITY,1) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasStuffDistribution>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?x1. ?x1 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x1 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasStuffDistribution>. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (INTERNAL,http://www.w3.org/2002/07/owl#allValuesFrom)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?x1. ?x1 owl:onProperty ?x2. ?x1 <http://www.w3.org/2002/07/owl#allValuesFrom> ?x3. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Colloid>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.meteck.org/files/ontologies/stuff.owl#Colloid>. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Liquid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x13. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x14 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Liquid>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x16. ?x16 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x14. ?x14 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x15. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x16. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x16. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x17. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x16. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x17. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (LHS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium> <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?x0. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (LHS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { <http://www.meteck.org/files/ontologies/stuff.owl#Stuff> <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?x0. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x15. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x16. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x17. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x18. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x15. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x16. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x17. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (LHS,<http://www.meteck.org/files/ontologies/stuff.owl#MixedStuff>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { <http://www.meteck.org/files/ontologies/stuff.owl#MixedStuff> <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?x0. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x14. ?x14 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x15. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x16. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x13. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x14 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x16. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Liquid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Liquid>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x16. ?x16 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x17. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x13. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x14 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x16. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x17. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x15. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x16. ?x16 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x17. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x18. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x15. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x16. ?x16 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x17. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (LHS,<http://www.meteck.org/files/ontologies/stuff.owl#Bulk>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { <http://www.meteck.org/files/ontologies/stuff.owl#Bulk> <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?x0. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (LHS,<http://www.meteck.org/files/ontologies/stuff.owl#Suspension>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { <http://www.meteck.org/files/ontologies/stuff.owl#Suspension> <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?x0. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x15. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x16. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x17. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x18. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (LHS,<http://www.meteck.org/files/ontologies/stuff.owl#HeterogeneousMixture>) (INTERNAL,http://www.w3.org/2002/07/owl#minQualifiedCardinality) (CARDINALITY,2) (INTERNAL,http://www.w3.org/2002/07/owl#unionOf)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { <http://www.meteck.org/files/ontologies/stuff.owl#HeterogeneousMixture> <http://www.w3.org/2000/01/rdf-schema#subClassOf> ?x0. ?x0 <http://www.w3.org/2002/07/owl#minQualifiedCardinality> "2"^^xsd:nonNegativeInteger. ?x0 owl:onClass|owl:onDataRange ?x1. ?x1 <http://www.w3.org/2002/07/owl#unionOf> ?x2. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Liquid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Liquid>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x16. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#StuffRole>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.meteck.org/files/ontologies/stuff.owl#StuffRole>. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Liquid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Liquid>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x16. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x17. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x16. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x17. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x13. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x14 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x16. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x17. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x15. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x16. ?x16 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x17. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x15. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x16. ?x16 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x17. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x18. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#HomogeneousMixture>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.meteck.org/files/ontologies/stuff.owl#HomogeneousMixture>. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#HeterogeneousMixture>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#HeterogeneousMixture>. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Gas>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x15. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x16. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Gas>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x17. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x18. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x14. ?x14 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x15. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x16. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#MixedStuff>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.meteck.org/files/ontologies/stuff.owl#MixedStuff>. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Liquid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Liquid>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2000/01/rdf-schema#subClassOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#PureStuff>)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 <http://www.w3.org/2000/01/rdf-schema#subClassOf> <http://www.meteck.org/files/ontologies/stuff.owl#PureStuff>. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Liquid>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Liquid>. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x13. ?x13 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x14. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x16. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x17. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }
(INTERNAL,http://www.w3.org/2002/07/owl#equivalentClass) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasState>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1) (INTERNAL,http://www.w3.org/2002/07/owl#qualifiedCardinality) (INTERNAL,http://www.w3.org/2002/07/owl#intersectionOf) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (PROPERTY_INTERNAL,http://www.w3.org/2002/07/owl#inverseOf) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>) (INTERNAL,http://www.w3.org/2002/07/owl#someValuesFrom) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Solid>) (CLASS,<http://www.meteck.org/files/ontologies/stuff.owl#Stuff>) (OBJECT_PROPERTY,<http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>) (CARDINALITY,1)
prefix owl: <http://www.w3.org/2002/07/owl#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> prefix xsd: <http://www.w3.org/2001/XMLSchema#> ask where { ?x0 owl:equivalentClass|^owl:equivalentClass ?x1. ?x1 <http://www.w3.org/2002/07/owl#intersectionOf> ?x2. ?x2 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#DispersionColloid>. ?x2 rdf:rest*/rdf:first ?x3. ?x3 owl:onClass|owl:onDataRange ?x5. ?x5 <http://www.w3.org/2002/07/owl#intersectionOf> ?x7. ?x7 rdf:rest*/rdf:first ?x9. ?x9 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasState>. ?x9 <http://www.w3.org/2002/07/owl#someValuesFrom> ?x13. ?x7 rdf:rest*/rdf:first ?x10. ?x10 owl:onProperty ?x14. ?x14 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x10 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#DispersedPhase>. ?x7 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x3 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x3 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. ?x2 rdf:rest*/rdf:first ?x4. ?x4 owl:onClass|owl:onDataRange ?x6. ?x6 <http://www.w3.org/2002/07/owl#intersectionOf> ?x8. ?x8 rdf:rest*/rdf:first ?x11. ?x11 owl:onProperty ?x15. ?x15 <http://www.w3.org/2002/07/owl#inverseOf> <http://www.meteck.org/files/ontologies/stuff.owl#srInheresIn>. ?x11 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#ContinuousMedium>. ?x8 rdf:rest*/rdf:first ?x12. ?x12 owl:onProperty ?x16. ?x12 <http://www.w3.org/2002/07/owl#someValuesFrom> <http://www.meteck.org/files/ontologies/stuff.owl#Solid>. ?x8 rdf:rest*/rdf:first <http://www.meteck.org/files/ontologies/stuff.owl#Stuff>. ?x4 owl:onProperty <http://www.meteck.org/files/ontologies/stuff.owl#hasSubStuff>. ?x4 <http://www.w3.org/2002/07/owl#qualifiedCardinality> "1"^^xsd:nonNegativeInteger. }