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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NatchezLanguage

 Sigma KEE - NatchezLanguage
NatchezLanguage(natchez语言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6592-6595
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10142-10142
No TPTP formula. May not be expressible in strict first order. Languages.kif 6591-6591 Natchez语言 是 海湾语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39801-39801
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39800-39800
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39799-39799


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