Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AruanLanguage

 Sigma KEE - AruanLanguage
AruanLanguage(aruan語言)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 5502-5504
No TPTP formula. May not be expressible in strict first order. Languages.kif 5501-5501 子類 aruan語言 and 口語人類語言

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 5507-5507 例 阿魯阿語言 and aruan語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 5514-5514 例 巴納瓦語言 and aruan語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 5526-5526 例 庫利納語 and aruan語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 5540-5540 例 丹尼語 and aruan語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 5547-5547 例 jamamadi語言 and aruan語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 5560-5560 例 jaruara語言 and aruan語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 5568-5568 例 paumari語言 and aruan語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 5578-5578 例 蘇魯哈語 and aruan語言
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8586-8586
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8585-8585
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8584-8584


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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