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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SegoviaColombia
SegoviaColombia

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


(documentation SegoviaColombia EnglishLanguage "The City of Segovia in Colombia.") CountriesAndRegions.kif 2306-2306
(externalImage SegoviaColombia "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 58/ Segovia%2C_Spain_location.png/ 200px-Segovia%2C_Spain_location.png") pictureList.kif 1350-1350
(geographicSubregion SegoviaColombia Colombia) CountriesAndRegions.kif 3507-3507
(instance SegoviaColombia City) CountriesAndRegions.kif 2305-2305

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


(names "Segovia" SegoviaColombia) CountriesAndRegions.kif 3508-3508
(termFormat ChineseLanguage SegoviaColombia "塞戈维亚哥伦比亚") domainEnglishFormat.kif 51977-51977
(termFormat ChineseTraditionalLanguage SegoviaColombia "塞戈維​​亞哥倫比亞") domainEnglishFormat.kif 51976-51976
(termFormat EnglishLanguage SegoviaColombia "segovia colombia") domainEnglishFormat.kif 51975-51975


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