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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PamplonaSpain
PamplonaSpain(pamplona spain)

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


(documentation PamplonaSpain EnglishLanguage "The City of Pamplona in Spain.") CountriesAndRegions.kif 2182-2182
(externalImage PamplonaSpain "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Pamplona%2C_Spain_location.png") pictureList.kif 5412-5412
(externalImage PamplonaSpain "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Pamplona_Rathaus_2005.jpg") pictureList.kif 5411-5411
(externalImage PamplonaSpain "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ Iru%C3%B1a_bandera.gif") pictureList.kif 5154-5154
(geographicSubregion PamplonaSpain Spain) CountriesAndRegions.kif 3373-3373 Pamplona spain is a geographic subregion of spain
(instance PamplonaSpain City) CountriesAndRegions.kif 2181-2181 Pamplona spain is an instance of city

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


(names "Pamplona" PamplonaSpain) CountriesAndRegions.kif 3374-3374 Pamplona spain has name "Pamplona"
(termFormat ChineseLanguage PamplonaSpain "潘普洛纳西班牙") domainEnglishFormat.kif 44234-44234 Pamplona spain has name "Pamplona"
(termFormat ChineseTraditionalLanguage PamplonaSpain "潘普洛納西班牙") domainEnglishFormat.kif 44233-44233 Pamplona spain has name "Pamplona"
(termFormat EnglishLanguage PamplonaSpain "pamplona spain") domainEnglishFormat.kif 44232-44232 Pamplona spain has name "Pamplona"


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