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

Formal Language: 



Term 1: Term 2:

(subclass WrittenHumanLanguage HumanLanguage) Merge.kif 1508-1508 WrittenHumanLanguage ist eine teilkategorie von HumanLanguage
(subclass ChineseLanguage WrittenHumanLanguage) Languages.kif 14593-14593 ChineseLanguage ist eine teilkategorie von WrittenHumanLanguage


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