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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PamaNyunganLanguage

Sigma KEE - PamaNyunganLanguage
PamaNyunganLanguage(pama nyungan 語)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5675-5676
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11593-11593
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10181-10181
No TPTP formula. May not be expressible in strict first order. Languages.kif 5674-5674 子類 pama nyungan 語 and 澳大利亞語言

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5680-5680 子類 帕曼語 and pama nyungan 語
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44178-44178
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44177-44177
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44176-44176


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