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

Formal Language: 



Term 1: Term 2:

(subclass Solution LiquidMixture) Merge.kif 14723-14723 Solution ist eine teilkategorie von LiquidMixture
(subclass Gasoline Solution) Mid-level-ontology.kif 1710-1710 Gasoline ist eine teilkategorie von Solution
(subclass DieselFuel Solution) Mid-level-ontology.kif 1715-1715 DieselFuel ist eine teilkategorie von Solution
(subclass SalineSolution Solution) Mid-level-ontology.kif 8770-8770 SalineSolution ist eine teilkategorie von Solution
(subclass Antifreeze Solution) Cars.kif 1214-1214 Antifreeze ist eine teilkategorie von Solution


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