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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SantiagoChile
SantiagoChile(santiago chile)
Gran_Santiago, Santiago, Santiago_de_Chile, capital_of_Chile

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


(documentation SantiagoChile EnglishLanguage "The City of Santiago in Chile.") CountriesAndRegions.kif 2298-2298
(externalImage SantiagoChile "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 2e/ Comuna_Santiago.png/ 180px_Comuna_Santiago.png") pictureList.kif 1329-1329
(geographicSubregion SantiagoChile Chile) CountriesAndRegions.kif 3495-3495 Santiago chile is a geographic subregion of chile
(instance SantiagoChile City) CountriesAndRegions.kif 2297-2297 Santiago chile is an instance of city

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


(names "Santiago" SantiagoChile) CountriesAndRegions.kif 3496-3496 Santiago chile has &ames$"name" "Santiago"
(termFormat ChineseLanguage SantiagoChile "圣地亚哥智利") domainEnglishFormat.kif 51211-51211 Santiago chile has &ames$"name" "Santiago"
(termFormat ChineseTraditionalLanguage SantiagoChile "聖地亞哥智利") domainEnglishFormat.kif 51210-51210 Santiago chile has &ames$"name" "Santiago"
(termFormat EnglishLanguage SantiagoChile "santiago chile") domainEnglishFormat.kif 51209-51209 Santiago chile has &ames$"name" "Santiago"

antecedent
-------------------------


(=>
    (and
        (instance ?W PuelcheWind)
        (eventLocated ?W ?A)
        (geographicSubregion ?A Chile)
        (orientation ?A SantiagoChile South))
    (holdsDuring
        (WhenFn ?W)
        (surfaceWindDirection ?A East)))
Weather.kif 1772-1780


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