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

Formal Language: 



Term 1: Term 2:

(subclass CavinenaTacanaLanguage TacananLanguage) Languages.kif 13228-13228 CavinenaTacanaLanguage ist eine teilkategorie von TacananLanguage
(subclass CavinenaGroupLanguage CavinenaTacanaLanguage) Languages.kif 13234-13234 CavinenaGroupLanguage ist eine teilkategorie von CavinenaTacanaLanguage
(subclass TacanaProperLanguage CavinenaTacanaLanguage) Languages.kif 13252-13252 TacanaProperLanguage ist eine teilkategorie von CavinenaTacanaLanguage


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