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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MindanaoPhilippines
MindanaoPhilippines(mindanao philippines)
Mindanao

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


(documentation MindanaoPhilippines EnglishLanguage "The City of Mindanao in Philippines.") CountriesAndRegions.kif 2061-2061
(externalImage MindanaoPhilippines "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 8/ 8f/ Ph_luzviminda.png/ 250px-Ph_luzviminda.png") pictureList.kif 1409-1409
(geographicSubregion MindanaoPhilippines Philippines) CountriesAndRegions.kif 3236-3236 Mindanao philippines is a geographic subregion of philippines
(instance MindanaoPhilippines City) CountriesAndRegions.kif 2060-2060 Mindanao philippines is an instance of city

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


(names "Mindanao" MindanaoPhilippines) CountriesAndRegions.kif 3237-3237 Mindanao philippines has name "Mindanao"
(termFormat ChineseLanguage MindanaoPhilippines "Mindanao菲律宾") domainEnglishFormat.kif 37817-37817
(termFormat ChineseTraditionalLanguage MindanaoPhilippines "Mindanao菲律賓") domainEnglishFormat.kif 37816-37816
(termFormat EnglishLanguage MindanaoPhilippines "mindanao philippines") domainEnglishFormat.kif 37815-37815


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