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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IpilPhilippines
IpilPhilippines(ipil philippines)

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


(documentation IpilPhilippines EnglishLanguage "The City of Ipil in Philippines.") CountriesAndRegions.kif 1809-1809
(geographicSubregion IpilPhilippines Philippines) CountriesAndRegions.kif 2946-2946 Ipil philippines is a geographic subregion of philippines
(instance IpilPhilippines City) CountriesAndRegions.kif 1808-1808 Ipil philippines is an instance of city

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


(names "Ipil" IpilPhilippines) CountriesAndRegions.kif 2947-2947 Ipil philippines has name "Ipil"
(termFormat ChineseLanguage IpilPhilippines "ipil菲律宾") domainEnglishFormat.kif 30943-30943
(termFormat ChineseTraditionalLanguage IpilPhilippines "ipil菲律賓") domainEnglishFormat.kif 30942-30942
(termFormat EnglishLanguage IpilPhilippines "ipil philippines") domainEnglishFormat.kif 30941-30941


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