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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OzamisPhilippines
OzamisPhilippines

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


(documentation OzamisPhilippines EnglishLanguage "The City of Ozamis in Philippines.") CountriesAndRegions.kif 2176-2176
(geographicSubregion OzamisPhilippines Philippines) CountriesAndRegions.kif 3367-3367 geographicSubregion OzamisPhilippines and Philippines
(instance OzamisPhilippines City) CountriesAndRegions.kif 2175-2175 OzamisPhilippines都市instance では %n

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


(names "Ozamis" OzamisPhilippines) CountriesAndRegions.kif 3368-3368 OzamisPhilippines は "Ozamis" の name を 持って %n{ない}
(termFormat ChineseLanguage OzamisPhilippines "ozamis菲律宾") domainEnglishFormat.kif 43836-43836
(termFormat ChineseTraditionalLanguage OzamisPhilippines "ozamis菲律賓") domainEnglishFormat.kif 43835-43835
(termFormat EnglishLanguage OzamisPhilippines "ozamis philippines") domainEnglishFormat.kif 43834-43834


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