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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PatikulPhilippines
PatikulPhilippines

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 geographicSubregion PatikulPhilippines and Philippines
(instance PatikulPhilippines City) CountriesAndRegions.kif 2191-2191 PatikulPhilippines都市instance では %n

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


(names "Patikul" PatikulPhilippines) CountriesAndRegions.kif 3386-3386 PatikulPhilippines は "Patikul" の name を 持って %n{ない}
(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