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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BahawalpurPakistan
BahawalpurPakistan(bahawalpur pakistan)

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


(documentation BahawalpurPakistan EnglishLanguage "The City of Bahawalpur in Pakistan.") CountriesAndRegions.kif 1489-1489
(externalImage BahawalpurPakistan "http://upload.wikimedia.org/wikipedia/ en/ 1/ 1f/ Uch_bwp.jpg") pictureList.kif 5220-5220
(externalImage BahawalpurPakistan "http://upload.wikimedia.org/wikipedia/ en/ 5/ 57/ Library_bwp.jpg") pictureList.kif 5216-5216
(externalImage BahawalpurPakistan "http://upload.wikimedia.org/wikipedia/ en/ 7/ 79/ Palace_bwp.jpg") pictureList.kif 5219-5219
(geographicSubregion BahawalpurPakistan Pakistan) CountriesAndRegions.kif 2588-2588 Bahawalpur pakistan is a geographic subregion of pakistan
(instance BahawalpurPakistan City) CountriesAndRegions.kif 1488-1488 Bahawalpur pakistan is an instance of city

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


(names "Bahawalpur" BahawalpurPakistan) CountriesAndRegions.kif 2589-2589 Bahawalpur pakistan has name "Bahawalpur"
(termFormat ChineseLanguage BahawalpurPakistan "巴哈瓦尔布尔巴基斯坦") domainEnglishFormat.kif 9582-9582
(termFormat ChineseTraditionalLanguage BahawalpurPakistan "巴哈瓦爾布爾巴基斯坦") domainEnglishFormat.kif 9581-9581
(termFormat EnglishLanguage BahawalpurPakistan "bahawalpur pakistan") domainEnglishFormat.kif 9580-9580


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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