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 14770-14771 | |
(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 14769-14769 | WaterCloud est une sous-classe de Cloud |
appearance as argument number 2 |
(subclass Fog WaterCloud) | Mid-level-ontology.kif 8966-8966 | Fog est une sous-classe de WaterCloud |
(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 14773-14778 | |
(=> (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 14780-14793 |
|