| Cloud
| |
| appearance as argument number 1 |
|
|
| (documentation Cloud ChineseLanguage "这是任何用肉眼可见的 GasMixture，例如：由火焰或天空中的 水蒸气所产生的 Smoke。") | chinese_format.kif 3467-3468 | |
| (documentation Cloud EnglishLanguage "Any GasMixture that is visible, e.g. Smoke produced by a fire or clouds of water vapor in the sky.") | Merge.kif 14644-14645 | |
| (externalImage Cloud "http://articulatesoftware.com/SUMOpictures/weather/ clouds/ cloud_1.png") | pictureList.kif 352-352 | |
| (externalImage Cloud "http://upload.wikimedia.org/wikipedia/commons/6/66/ Img20050526_0007_at_tannheim_cumulus.jpg") | pictureList.kif 70-70 | |
| (subclass Cloud GasMixture) | Merge.kif 14643-14643 |
| appearance as argument number 2 |
|
|
| (subclass Smoke Cloud) | Merge.kif 14651-14651 | |
| (subclass WaterCloud Cloud) | Merge.kif 14662-14662 | |
| (termFormat ChineseLanguage Cloud "云") | domainEnglishFormat.kif 15288-15288 | |
| (termFormat ChineseTraditionalLanguage Cloud "雲") | domainEnglishFormat.kif 15287-15287 | |
| (termFormat EnglishLanguage Cloud "cloud") | domainEnglishFormat.kif 15286-15286 |
| antecedent |
|
|
| (=> (instance ?CLOUD Cloud) (capability Seeing patient ?CLOUD)) |
Merge.kif 14647-14649 |
| consequent |
|
|
| (=> (and (instance ?T Tornado) (instance ?R Rotating) (instance ?A Air) (instance ?TRAN Translocation) (subProcess ?R ?T) (subProcess ?TRAN ?R) (patient ?TRAN ?A) (direction ?TRAN Horizontal)) (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE) (and (instance ?G GeographicArea) (eventLocated ?T ?G) (part ?FUNNEL ?A) (attribute ?FUNNEL ConeSegment) (top ?TOP ?FUNNEL) (bottom ?BOTTOM ?FUNNEL) (instance ?C Cloud) (bottom ?BASE ?C) (meetsSpatially ?TOP ?BASE) (meetsSpatially ?BOTTOM ?G)))) |
Weather.kif 1651-1672 | |
| (=> (holdsDuring ?T (attribute ?L Cloudy)) (exists (?C) (and (instance ?C Cloud) (holdsDuring ?T (orientation ?C ?L Above))))) |
Mid-level-ontology.kif 30217-30224 | |
| (=> (instance ?L Lightning) (exists (?C) (and (instance ?C Cloud) (eventLocated ?L ?C)))) |
Mid-level-ontology.kif 3015-3020 |
|
|
|