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

Formal Language: 



Term 1: Term 2:

(subclass GoidelicLanguage InsularCelticLanguage) Languages.kif 7039-7039 GoidelicLanguage รจ una sottoclasse di InsularCelticLanguage


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