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

Formal Language: 



Term 1: Term 2:

(subclass Crystal Substance) Geography.kif 7110-7110 Crystal ist eine teilkategorie von Substance
(subclass Snowflake Crystal) Weather.kif 3007-3007 Snowflake ist eine teilkategorie von Crystal


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