Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
CyclonicStorm(cyclonic storm)
|  | cyclone |
| appearance as argument number 1 |
|
|
| (subclass CyclonicStorm LowPressureWeatherSystem) | Weather.kif 981-981 | Cyclonic storm is a subclass of low pressure weather system |
| (subclass CyclonicStorm Storm) | Weather.kif 982-982 | Cyclonic storm is a subclass of storm |
| (documentation CyclonicStorm EnglishLanguage "CyclonicStorm is the class of LowPressureWeatherSystems that involve a low pressure area surrounded by winds rotating rapidly inwards.") | Weather.kif 983-985 | Cyclonic storm is a subclass of storm |
| (documentation CyclonicStorm ChineseLanguage "CyclonicStorm 气旋风暴属于一类 低气压气象系统 LowPressureWeatherSystem， 它涉及风向由快速向内旋转的 一处低气压区。") | Weather.kif 986-988 | Cyclonic storm is a subclass of storm |
| (externalImage CyclonicStorm "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1e/ Polar_low.jpg/ 180px_Polar_low.jpg") | pictureList.kif 1082-1082 | Cyclonic storm is a subclass of storm |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain radiusOfMaximumWind 1 CyclonicStorm) | Weather.kif 1025-1025 | The number 1 argument of radius of maximum wind is an instance of cyclonic storm |
| antecedent |
|
|
| (=> (instance ?CS CyclonicStorm) (exists (?R) (and (instance ?R Rotating) (subProcess ?R ?CS)))) |
Weather.kif 990-995 | If X is an instance of cyclonic storm, then there exists Y such that Y is an instance of rotating and Y is a subprocess of X |
| (=> (and (instance ?CS CyclonicStorm) (instance ?AS AirStream) (eventLocated ?CS ?AS)) (shape ?AS Cylinder)) |
Weather.kif 997-1002 | If X is an instance of cyclonic storm, Y is an instance of air stream, and X is located at Y, then Y is cylinder |
|