Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| StrongWind(strong wind) |
| appearance as argument number 1 |
|
| (subclass StrongWind Wind) | Weather.kif 1922-1922 | Strong wind is a subclass of wind |
| (documentation StrongWind EnglishLanguage "StrongWind consists of damaging winds, often originating from thunderstorms, that are classified as exceeding 58 mph. [FEMA, USA]") | Weather.kif 1923-1924 | Strong wind is a subclass of wind |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?W StrongWind) (eventLocated ?W ?A) (instance ?A GeographicArea) (surfaceWindSpeed ?A (MeasureFn ?X MilesPerHour))) (greaterThan ?X 58)) |
Weather.kif 1926-1933 | If X is an instance of strong wind, X is located at Y, Y is an instance of geographic area, and Z miles per hour(s) is a surface wind speed of Y, then Z is greater than 58 |
| (=> (instance ?W StrongWind) (modalAttribute (exists (?S) (and (instance ?S Storm) (causes ?S ?W))) Likely)) |
Weather.kif 1935-1941 | If X is an instance of strong wind, then the statement there exists Y such that Y is an instance of storm and Y causes X has the modal force of likely |
| (=> (instance ?W StrongWind) (holdsDuring (WhenFn ?W) (exists (?A) (and (instance ?A GeographicArea) (eventLocated ?W ?A) (hazardous ?W ?A))))) |
Weather.kif 1943-1951 | If X is an instance of strong wind, then there exists Y such that Y is an instance of geographic area, X is located at Y, and X is hazardous to Y holds during the time of existence of X |
|