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

Formal Language: 



Term 1: Term 2:

(subclass Man Human) Merge.kif 14649-14649 Man ist eine teilkategorie von Human
(subclass Boy Man) Mid-level-ontology.kif 351-351 Boy ist eine teilkategorie von Man


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