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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ZuniLanguage

 Sigma KEE - ZuniLanguage
ZuniLanguage(zuni语言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 3301-3308
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8815-8815
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9867-9867
No TPTP formula. May not be expressible in strict first order. Languages.kif 3300-3300 Zuni语言 是 口语人类语言 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64279-64279
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64278-64278
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64277-64277


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