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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PauFrance
PauFrance(pau france)

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


(documentation PauFrance EnglishLanguage "The City of Pau in France.") CountriesAndRegions.kif 2194-2194
(externalImage PauFrance "http://upload.wikimedia.org/wikipedia/commons/ 1/ 19/ Ch%C3%A2teau_de_Pau.JPG") pictureList.kif 4235-4235
(externalImage PauFrance "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ ButteParcChateauPau.JPG") pictureList.kif 4234-4234
(geographicSubregion PauFrance France) CountriesAndRegions.kif 3387-3387 Pau france is a geographic subregion of france
(instance PauFrance City) CountriesAndRegions.kif 2193-2193 Pau france is an instance of city

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


(names "Pau" PauFrance) CountriesAndRegions.kif 3388-3388 Pau france has name "Pau"
(termFormat ChineseLanguage PauFrance "波城法国") domainEnglishFormat.kif 44826-44826
(termFormat ChineseTraditionalLanguage PauFrance "波城法國") domainEnglishFormat.kif 44825-44825
(termFormat EnglishLanguage PauFrance "pau france") domainEnglishFormat.kif 44824-44824


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