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

Formal Language: 



Term 1: Term 2:

(subclass Freezing StateChange) Merge.kif 14011-14011 Freezing ist eine teilkategorie von StateChange
(subclass Icing Freezing) Weather.kif 2508-2508 Icing ist eine teilkategorie von Freezing


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