Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass GasMixture Mixture) Merge.kif 14736-14736 GasMixture ist eine teilkategorie von Mixture
(subclass Suspension GasMixture) Merge.kif 14731-14731 Suspension ist eine teilkategorie von GasMixture
(subclass Cloud GasMixture) Merge.kif 14750-14750 Cloud ist eine teilkategorie von GasMixture
(subclass Air GasMixture) Merge.kif 14795-14795 Air ist eine teilkategorie von GasMixture
(subclass Aerosal GasMixture) Geography.kif 7542-7542 Aerosal ist eine teilkategorie von GasMixture
(subclass FuelVapor GasMixture) Cars.kif 67-67 FuelVapor ist eine teilkategorie von GasMixture


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners