Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Pampero(pampero) |
| appearance as argument number 1 |
|
| (subclass Pampero Windstorm) | Weather.kif 2227-2227 | Pampero is a subclass of windstorm |
| (documentation Pampero EnglishLanguage "The Pampero is a burst of cold polar air from the west, southwest, or south on the pampas in the south of Brazil, Argentina, Uruguay, Paraguay and Bolivia. This wind (often violently) picks up during the passage of a cold front of an active low passing by. It takes the form of a squall line and there is a marked drop in temperature after its passage. The Pampero is most common in winter in the Southern Hemisphere (principally between May and August).[Wikipedia]") | Weather.kif 2228-2233 | Pampero is a subclass of windstorm |
| appearance as argument number 2 |
|
|
| (names "Minuano" Pampero) | Weather.kif 2234-2234 | Pampero has name "Minuano" |
| (termFormat EnglishLanguage Pampero "pampero") | domainEnglishFormat.kif 44183-44183 | Pampero has name "Minuano" |
| (termFormat ChineseTraditionalLanguage Pampero "pampero") | domainEnglishFormat.kif 44184-44184 | Pampero has name "Minuano" |
| (termFormat ChineseLanguage Pampero "pampero") | domainEnglishFormat.kif 44185-44185 | Pampero has name "Minuano" |
| antecedent |
|
|
| (=> (and (instance ?W Pampero) (eventLocated ?W ?A) (instance ?A Pampa)) (or (geographicSubregion ?A Argentina) (geographicSubregion ?A Brazil) (geographicSubregion ?A Bolivia) (geographicSubregion ?A Paraguay) (geographicSubregion ?A Uruguay))) |
Weather.kif 2236-2246 | If X is an instance of pampero, X is located at Y, and Y is an instance of pampa, then At least one of the following holds: (1) Y is a geographic subregion of argentina (2) Y is a geographic subregion of brazil (3) Y is a geographic subregion of bolivia (4) Y is a geographic subregion of paraguay (5) Y is a geographic subregion of uruguay |
| (=> (instance ?W Pampero) (holdsDuring (WhenFn ?W) (exists (?S) (and (instance ?S Squall) (subProcess ?S ?W))))) |
Weather.kif 2248-2255 | If X is an instance of pampero, then there exists Y such that Y is an instance of squall and Y is a subprocess of X holds during the time of existence of X |
|