| Cloud(cloud)
| | cloud, dull, heavy, leaden, lowering, mother-of-pearl_cloud, nacreous_cloud, nebule, sullen, threatening, water_vapor, water_vapour |
| 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 13677-13678 | |
| (externalImage Cloud "http://upload.wikimedia.org/wikipedia/commons/6/66/ Img20050526_0007_at_tannheim_cumulus.jpg") | pictureList.kif 70-70 | |
| (externalImage Cloud "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ clouds/ cloud_1.png") | pictureList.kif 352-352 | |
| (subclass Cloud GasMixture) | Merge.kif 13676-13676 | Cloud is a subclass of gas mixture |
| appearance as argument number 2 |
|
|
| (subclass Smoke Cloud) | Merge.kif 13684-13684 | Smoke is a subclass of cloud |
| (subclass WaterCloud Cloud) | Merge.kif 13695-13695 | Water cloud is a subclass of cloud |
| (termFormat ChineseLanguage Cloud "云") | domainEnglishFormat.kif 15223-15223 | |
| (termFormat ChineseTraditionalLanguage Cloud "雲") | domainEnglishFormat.kif 15222-15222 | |
| (termFormat EnglishLanguage Cloud "cloud") | domainEnglishFormat.kif 15221-15221 |
| antecedent |
|
|
| (=> (instance ?CLOUD Cloud) (capability Seeing patient ?CLOUD)) |
Merge.kif 13680-13682 |
| consequent |
|
|
| (=> (holdsDuring ?T (attribute ?L Cloudy)) (exists (?C) (and (instance ?C Cloud) (holdsDuring ?T (orientation ?C ?L Above))))) |
Mid-level-ontology.kif 28464-28471 |
|
| (=> (instance ?L Lightning) (exists (?C) (and (instance ?C Cloud) (eventLocated ?L ?C)))) |
Mid-level-ontology.kif 3580-3585 |
|
|
|
|