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 geographicSubregion PeshawarPakistan and Pakistan
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2197-2197 PeshawarPakistan est une instance de ville

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3392-3392 PeshawarPakistan s'appele nom "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