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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ZarauzSpain
ZarauzSpain(zarauz spain)

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


(documentation ZarauzSpain EnglishLanguage "The City of Zarauz in Spain.") CountriesAndRegions.kif 2479-2479
(geographicSubregion ZarauzSpain Spain) CountriesAndRegions.kif 3700-3700 Zarauz spain is a geographic subregion of spain
(instance ZarauzSpain City) CountriesAndRegions.kif 2478-2478 Zarauz spain is an instance of city

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


(names "Zarauz" ZarauzSpain) CountriesAndRegions.kif 3701-3701 Zarauz spain has name "Zarauz"
(termFormat ChineseLanguage ZarauzSpain "zarautz西班牙") domainEnglishFormat.kif 64105-64105
(termFormat ChineseTraditionalLanguage ZarauzSpain "zarautz西班牙") domainEnglishFormat.kif 64104-64104
(termFormat EnglishLanguage ZarauzSpain "zarauz spain") domainEnglishFormat.kif 64103-64103


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