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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PauFrance
PauFrance

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
(instance PauFrance City) CountriesAndRegions.kif 2193-2193

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


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


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