| 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 13704-13705 | |
| (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 13703-13703 |
| appearance as argument number 2 |
|
|
| (subclass Smoke Cloud) | Merge.kif 13711-13711 | |
| (subclass WaterCloud Cloud) | Merge.kif 13722-13722 | |
| (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 13707-13709 |
| consequent |
|
|
| (=> (holdsDuring ?T (attribute ?L Cloudy)) (exists (?C) (and (instance ?C Cloud) (holdsDuring ?T (orientation ?C ?L Above))))) |
Mid-level-ontology.kif 28488-28495 | |
| (=> (instance ?L Lightning) (exists (?C) (and (instance ?C Cloud) (eventLocated ?L ?C)))) |
Mid-level-ontology.kif 3586-3591 |
|
|
|