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 | WaterCloud e' uma sub-classe de Cloud |
appearance as argument number 2 |
(subclass Fog WaterCloud) | Mid-level-ontology.kif 8965-8965 | Fog e' uma sub-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 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 |
|