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 14792-14793 | |
(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 14791-14791 |
appearance as argument number 2 |
(subclass Fog WaterCloud) | Mid-level-ontology.kif 8965-8965 | |
(termFormat ChineseLanguage WaterCloud "水云") | domainEnglishFormat.kif 62367-62367 | |
(termFormat ChineseTraditionalLanguage WaterCloud "水雲") | domainEnglishFormat.kif 62366-62366 | |
(termFormat EnglishLanguage WaterCloud "water cloud") | domainEnglishFormat.kif 62365-62365 |
antecedent |
(=> (instance ?CLOUD WaterCloud) (exists (?WATER) (and (instance ?WATER Water) (part ?WATER ?CLOUD)))) |
Merge.kif 14795-14800 | |
(=> (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 14802-14815 |