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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PatikulPhilippines
PatikulPhilippines(patikul philippines)

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


(documentation PatikulPhilippines EnglishLanguage "The City of Patikul in Philippines.") CountriesAndRegions.kif 2192-2192
(geographicSubregion PatikulPhilippines Philippines) CountriesAndRegions.kif 3385-3385 Patikul philippines is a geographic subregion of philippines
(instance PatikulPhilippines City) CountriesAndRegions.kif 2191-2191 Patikul philippines is an instance of city

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


(names "Patikul" PatikulPhilippines) CountriesAndRegions.kif 3386-3386 Patikul philippines has name "Patikul"
(termFormat ChineseLanguage PatikulPhilippines "patikul菲律宾") domainEnglishFormat.kif 44808-44808
(termFormat ChineseTraditionalLanguage PatikulPhilippines "patikul菲律賓") domainEnglishFormat.kif 44807-44807
(termFormat EnglishLanguage PatikulPhilippines "patikul philippines") domainEnglishFormat.kif 44806-44806


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