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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RawalpindiPakistan
RawalpindiPakistan

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


(documentation RawalpindiPakistan EnglishLanguage "The City of Rawalpindi in Pakistan.") CountriesAndRegions.kif 2236-2236
(externalImage RawalpindiPakistan "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 55/ Pk-map.png") pictureList.kif 5163-5163
(externalImage RawalpindiPakistan "http://upload.wikimedia.org/wikipedia/ en/ 3/ 32/ Murree_road_rawalp_galleryfull.jpeg") pictureList.kif 5463-5463
(externalImage RawalpindiPakistan "http://upload.wikimedia.org/wikipedia/ en/ 8/ 8c/ Rawal_Dam_Lake_View.jpg") pictureList.kif 5461-5461
(externalImage RawalpindiPakistan "http://upload.wikimedia.org/wikipedia/ en/ 9/ 97/ Rawal_Dam.jpg") pictureList.kif 5462-5462
(geographicSubregion RawalpindiPakistan Pakistan) CountriesAndRegions.kif 3427-3427
(instance RawalpindiPakistan City) CountriesAndRegions.kif 2235-2235

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


(names "Rawalpindi" RawalpindiPakistan) CountriesAndRegions.kif 3428-3428
(termFormat ChineseLanguage RawalpindiPakistan "Rawalpindi巴基斯坦") domainEnglishFormat.kif 48812-48812
(termFormat ChineseTraditionalLanguage RawalpindiPakistan "Rawalpindi巴基斯坦") domainEnglishFormat.kif 48811-48811
(termFormat EnglishLanguage RawalpindiPakistan "rawalpindi pakistan") domainEnglishFormat.kif 48810-48810


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