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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ZarauzSpain
ZarauzSpain

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 geographicSubregion ZarauzSpain and Spain
(instance ZarauzSpain City) CountriesAndRegions.kif 2478-2478 ZarauzSpain est une instance de ville

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


(names "Zarauz" ZarauzSpain) CountriesAndRegions.kif 3701-3701 ZarauzSpain s'appele nom "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