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 " en/ 1/ 1f/ Uch_bwp.jpg") pictureList.kif 5221-5221
(externalImage BahawalpurPakistan " en/ 5/ 57/ Library_bwp.jpg") pictureList.kif 5217-5217
(externalImage BahawalpurPakistan " en/ 7/ 79/ Palace_bwp.jpg") pictureList.kif 5220-5220
(geographicSubregion BahawalpurPakistan Pakistan) CountriesAndRegions.kif 2589-2589 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 2590-2590 Bahawalpur pakistan has name "Bahawalpur"
(termFormat ChineseLanguage BahawalpurPakistan "巴哈瓦尔布尔巴基斯坦") domainEnglishFormat.kif 9599-9599
(termFormat ChineseTraditionalLanguage BahawalpurPakistan "巴哈瓦爾布爾巴基斯坦") domainEnglishFormat.kif 9598-9598
(termFormat EnglishLanguage BahawalpurPakistan "bahawalpur pakistan") domainEnglishFormat.kif 9597-9597

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