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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CharsaadaPakistan
CharsaadaPakistan(charsaada pakistan)

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


(documentation CharsaadaPakistan EnglishLanguage "The City of Charsaada in Pakistan.") CountriesAndRegions.kif 1607-1607
(geographicSubregion CharsaadaPakistan Pakistan) CountriesAndRegions.kif 2715-2715 Charsaada pakistan is a geographic subregion of pakistan
(instance CharsaadaPakistan City) CountriesAndRegions.kif 1606-1606 Charsaada pakistan is an instance of city

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


(names "Charsaada" CharsaadaPakistan) CountriesAndRegions.kif 2716-2716 Charsaada pakistan has name "Charsaada"
(termFormat ChineseLanguage CharsaadaPakistan "charsadda巴基斯坦") domainEnglishFormat.kif 14196-14196
(termFormat ChineseTraditionalLanguage CharsaadaPakistan "charsadda巴基斯坦") domainEnglishFormat.kif 14195-14195
(termFormat EnglishLanguage CharsaadaPakistan "charsaada pakistan") domainEnglishFormat.kif 14194-14194


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