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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SaadaPakistan

Sigma KEE - SaadaPakistan
SaadaPakistan(saada pakistan)

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


(geographicSubregion SaadaPakistan Pakistan) CountriesAndRegions.kif 3455-3455 Saada pakistan is a geographic subregion of pakistan
(instance SaadaPakistan GeographicArea) CountriesAndRegions.kif 3454-3454 Saada pakistan is an instance of geographic area

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


(termFormat ChineseLanguage SaadaPakistan "萨达巴基斯坦") domainEnglishFormat.kif 50727-50727
(termFormat ChineseTraditionalLanguage SaadaPakistan "薩達巴基斯坦") domainEnglishFormat.kif 50726-50726
(termFormat EnglishLanguage SaadaPakistan "saada pakistan") domainEnglishFormat.kif 50725-50725


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