| WaterCloud
| |
| appearance as argument number 1 |
|
|
| (documentation WaterCloud ChineseLanguage "这是任何主要由水蒸气组成的 Cloud。") | chinese_format.kif 3470-3470 | |
| (documentation WaterCloud EnglishLanguage "Any Cloud that is composed primarily of water vapor.") | Merge.kif 14816-14817 | |
| (externalImage WaterCloud "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Cumulus_clouds_in_fair_weather.jpeg") | pictureList.kif 975-975 | |
| (subclass WaterCloud Cloud) | Merge.kif 14815-14815 |
| appearance as argument number 2 |
|
|
| (subclass Fog WaterCloud) | Mid-level-ontology.kif 9184-9184 | |
| (termFormat ChineseLanguage WaterCloud "水云") | domainEnglishFormat.kif 62392-62392 | |
| (termFormat ChineseTraditionalLanguage WaterCloud "水雲") | domainEnglishFormat.kif 62391-62391 | |
| (termFormat EnglishLanguage WaterCloud "water cloud") | domainEnglishFormat.kif 62390-62390 |
| antecedent |
|
|
| (=> (instance ?CLOUD WaterCloud) (exists (?WATER) (and (instance ?WATER Water) (part ?WATER ?CLOUD)))) |
Merge.kif 14819-14824 | |
| (=> (instance ?CLOUD WaterCloud) (forall (?PART) (=> (and (part ?PART ?CLOUD) (not (instance ?PART Water))) (exists (?WATER ?MEASURE1 ?MEASURE2 ?U) (and (instance ?WATER Water) (part ?WATER ?CLOUD) (measure ?WATER (MeasureFn ?MEASURE1 ?U)) (measure ?PART (MeasureFn ?MEASURE2 ?U)) (greaterThan ?MEASURE1 ?MEASURE2)))))) |
Merge.kif 14826-14839 |
|
|
|