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

Formal Language: 



Term 1: Term 2:

(subclass Atmosphere Region) Weather.kif 10-10 Atmosphere ist eine teilkategorie von Region
(subclass Atmosphere
    (ExtensionFn Fluid))		 Weather.kif 11-11 Atmosphere ist eine teilkategorie von die kategorie, die Fluid entspricht


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