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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PersianLanguage

 Sigma KEE - PersianLanguage
PersianLanguage(波斯语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9177-9178
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6760-6760
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7521-7521
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7522-7522
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7523-7523
No TPTP formula. May not be expressible in strict first order. Languages.kif 9176-9176 波斯语 是 西南伊朗语 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9181-9181 Aimaq语言 是 波斯语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9200-9200 Bukharic语言 是 波斯语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9223-9223 达瓦齐语 是 波斯语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9215-9215 Dehwari语言 是 波斯语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9232-9232 Dzhidi语言 是 波斯语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9243-9243 东部波斯语 是 波斯语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9270-9270 Hazaragi语言 是 波斯语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9319-9319 Pahlavani语言 是 波斯语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9304-9304 塔吉克语 是 波斯语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 9326-9326 西方波斯语 是 波斯语 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45288-45288
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45287-45287
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45286-45286


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