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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LahorePakistan

 Sigma KEE - LahorePakistan
LahorePakistan(拉合爾巴基斯坦)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1947-1947
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5293-5293
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5298-5298
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5296-5296
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5301-5301
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5294-5294
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5295-5295
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3105-3105 拉合爾巴基斯坦 是 巴基斯坦 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1946-1946 例 拉合爾巴基斯坦 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3106-3106 名 "Lahore" and 拉合爾巴基斯坦
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33115-33115
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33114-33114
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33113-33113


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