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 5219-5219
(externalImage BahawalpurPakistan "http://upload.wikimedia.org/wikipedia/ en/ 5/ 57/ Library_bwp.jpg") pictureList.kif 5215-5215
(externalImage BahawalpurPakistan "http://upload.wikimedia.org/wikipedia/ en/ 7/ 79/ Palace_bwp.jpg") pictureList.kif 5218-5218
(geographicSubregion BahawalpurPakistan Pakistan) CountriesAndRegions.kif 2592-2592 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 2593-2593 Bahawalpur pakistan has &ames$"name" "Bahawalpur"
(termFormat ChineseLanguage BahawalpurPakistan "巴哈瓦尔布尔巴基斯坦") domainEnglishFormat.kif 9583-9583 Bahawalpur pakistan has &ames$"name" "Bahawalpur"
(termFormat ChineseTraditionalLanguage BahawalpurPakistan "巴哈瓦爾布爾巴基斯坦") domainEnglishFormat.kif 9582-9582 Bahawalpur pakistan has &ames$"name" "Bahawalpur"
(termFormat EnglishLanguage BahawalpurPakistan "bahawalpur pakistan") domainEnglishFormat.kif 9581-9581 Bahawalpur pakistan has &ames$"name" "Bahawalpur"


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