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语言 是 口语人类语言 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5507-5507 阿鲁阿语言 是 aruan语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 5514-5514 巴纳瓦语言 是 aruan语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 5526-5526 库利纳语 是 aruan语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 5540-5540 丹尼语 是 aruan语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 5547-5547 Jamamadi语言 是 aruan语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 5560-5560 Jaruara语言 是 aruan语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 5568-5568 Paumari语言 是 aruan语言 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 5578-5578 苏鲁哈语 是 aruan语言 的 instance
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