|
|
   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 8993-8993 | |
| (termFormat ChineseLanguage WaterCloud "水云") | domainEnglishFormat.kif 62369-62369 | |
| (termFormat ChineseTraditionalLanguage WaterCloud "水雲") | domainEnglishFormat.kif 62368-62368 | |
| (termFormat EnglishLanguage WaterCloud "water cloud") | domainEnglishFormat.kif 62367-62367 |
| 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 |
|
|
|
