| CyclonicStorm
| |
| appearance as argument number 1 |
|
|
| (documentation CyclonicStorm ChineseLanguage "CyclonicStorm 气旋风暴属于一类 低气压气象系统 LowPressureWeatherSystem， 它涉及风向由快速向内旋转的 一处低气压区。") | Weather.kif 545-547 | |
| (documentation CyclonicStorm EnglishLanguage "CyclonicStorm is the class of LowPressureWeatherSystems that involve a low pressure area surrounded by winds rotating rapidly inwards.") | Weather.kif 542-544 | |
| (externalImage CyclonicStorm "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1e/ Polar_low.jpg/ 180px_Polar_low.jpg") | pictureList.kif 1082-1082 | |
| (subclass CyclonicStorm LowPressureWeatherSystem) | Weather.kif 540-540 | CyclonicStorm est une sous-classe de LowPressureWeatherSystem |
| (subclass CyclonicStorm Storm) | Weather.kif 541-541 | CyclonicStorm est une sous-classe de Storm |
| appearance as argument number 2 |
|
|
| (naturalHazardTypeInArea SouthernOcean CyclonicStorm) | Geography.kif 4746-4746 | naturalHazardTypeInArea SouthernOcean and CyclonicStorm |
| (subclass Tornado CyclonicStorm) | Weather.kif 1631-1631 | Tornado est une sous-classe de CyclonicStorm |
| (subclass TropicalCyclonicSystem CyclonicStorm) | Weather.kif 589-589 | TropicalCyclonicSystem est une sous-classe de CyclonicStorm |
| (termFormat ChineseLanguage CyclonicStorm "气旋风暴") | domainEnglishFormat.kif 18291-18291 | TropicalCyclonicSystem est une sous-classe de CyclonicStorm |
| (termFormat ChineseTraditionalLanguage CyclonicStorm "氣旋風暴") | domainEnglishFormat.kif 18290-18290 | TropicalCyclonicSystem est une sous-classe de CyclonicStorm |
| (termFormat EnglishLanguage CyclonicStorm "cyclonic storm") | domainEnglishFormat.kif 18289-18289 | TropicalCyclonicSystem est une sous-classe de CyclonicStorm |
| appearance as argument number 3 |
|
|
| (domain radiusOfMaximumWind 1 CyclonicStorm) | Weather.kif 584-584 | Le nombre 1 argument de radiusOfMaximumWind est une instance de CyclonicStorm |
| antecedent |
|
|
| (=> (and (instance ?CS CyclonicStorm) (instance ?AS AirStream) (eventLocated ?CS ?AS)) (shape ?AS Cylinder)) |
Weather.kif 556-561 | |
| (=> (instance ?CS CyclonicStorm) (exists (?CM) (and (instance ?CM CentripetalMotion) (subProcess ?CM ?CS)))) |
Weather.kif 549-554 |
|
|
|
|