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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PeshawarPakistan

 Sigma KEE - PeshawarPakistan
PeshawarPakistan(白沙瓦巴基斯坦)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2198-2198
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5428-5428
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5157-5157
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5424-5424
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3391-3391 白沙瓦巴基斯坦 是 巴基斯坦 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2197-2197 白沙瓦巴基斯坦 是 城市 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3392-3392 白沙瓦巴基斯坦 的名 是 "Peshawar"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45372-45372
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45371-45371
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45370-45370


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