Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
SantiagoChile(santiago chile)
|  | Gran_Santiago, Santiago, Santiago_de_Chile, capital_of_Chile |
| appearance as argument number 1 |
|
|
| (instance SantiagoChile City) | CountriesAndRegions.kif 2301-2301 | Santiago chile is an instance of city |
| (documentation SantiagoChile EnglishLanguage "The City of Santiago in Chile.") | CountriesAndRegions.kif 2302-2302 | Santiago chile is an instance of city |
| (geographicSubregion SantiagoChile Chile) | CountriesAndRegions.kif 3500-3500 | Santiago chile is a geographic subregion of chile |
| (externalImage SantiagoChile "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 2/ 2e/ Comuna_Santiago.png/ 180px_Comuna_Santiago.png") | pictureList.kif 1329-1329 | Santiago chile is a geographic subregion of chile |
| appearance as argument number 2 |
|
|
| (names "Santiago" SantiagoChile) | CountriesAndRegions.kif 3501-3501 | Santiago chile has name "Santiago" |
| (termFormat EnglishLanguage SantiagoChile "santiago chile") | domainEnglishFormat.kif 51202-51202 | Santiago chile has name "Santiago" |
| (termFormat ChineseTraditionalLanguage SantiagoChile "聖地亞哥智利") | domainEnglishFormat.kif 51203-51203 | Santiago chile has name "Santiago" |
| (termFormat ChineseLanguage SantiagoChile "圣地亚哥智利") | domainEnglishFormat.kif 51204-51204 | Santiago chile has 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 2217-2225 | If X is an instance of Puelche wind, X is located at Y, Y is a geographic subregion of chile, and Y is south of to santiago chile, then east of is a surface wind direction of Y holds during the time of existence of X |
|