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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CharsaadaPakistan

Sigma KEE - CharsaadaPakistan
CharsaadaPakistan

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 geographicSubregion CharsaadaPakistan and Pakistan
(instance CharsaadaPakistan City) CountriesAndRegions.kif 1606-1606 CharsaadaPakistan都市instance では %n

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


(names "Charsaada" CharsaadaPakistan) CountriesAndRegions.kif 2716-2716 CharsaadaPakistan は "Charsaada" の name を 持って %n{ない}
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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