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

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Languages.kif 13484-13484 子類 中南新幾內亞語 and 中南部新幾內亞庫圖班語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 13491-13491 子類 awyu dumut 語言 and 中南新幾內亞語


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