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

Formal Language: 



Term 1: Term 2:

(subclass TransNewGuineaLanguage SpokenHumanLanguage) Languages.kif 13456-13456 TransNewGuineaLanguage ist eine teilkategorie von SpokenHumanLanguage
(subclass MainSectionTransNewGuineaLanguage TransNewGuineaLanguage) Languages.kif 13463-13463 MainSectionTransNewGuineaLanguage ist eine teilkategorie von TransNewGuineaLanguage


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