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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PastoLanguage

 Sigma KEE - PastoLanguage
PastoLanguage(普什圖語)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5839-5840
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8643-8643
No TPTP formula. May not be expressible in strict first order. Languages.kif 5838-5838 子類 普什圖語 and 巴巴科語言

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5849-5849 例 阿瓦cuaiquer語言 and 普什圖語
No TPTP formula. May not be expressible in strict first order. Languages.kif 5843-5843 例 barbacoas語言 and 普什圖語
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44742-44742
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44741-44741
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44740-44740


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