more pictures...
| Dry
more pictures... | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Dry Damp) | Merge.kif 16676-16676 | |
| (documentation Dry ChineseLanguage "这是用来表示相关 Object 不含 Liquid 的 Attribute。") | chinese_format.kif 3999-3999 | |
| (documentation Dry EnglishLanguage "An Attribute which indicates that the associated Object contains no Liquid.") | Merge.kif 16677-16678 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/2/27/Oasis_in_Lybia.JPG") | pictureList.kif 10009-10009 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/4/4b/Dune45.jpg") | pictureList.kif 10910-10910 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/6/65/Death_valley_sand.jpg") | pictureList.kif 10909-10909 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/6/69/Humanitarian_aid_OCPA-2005-10-28-090517a.jpg") | pictureList.kif 10904-10904 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/7/7b/Aralship2.jpg") | pictureList.kif 10913-10913 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/a/a2/MH-60S_Helicopter_dumps_water_onto_Fire.jpg") | pictureList.kif 10905-10905 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/c/c9/Fachi-Bilma-D%C3%BCnen.jpg") | pictureList.kif 10911-10911 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/c/cf/Bay_of_Fundy_Low_Tide.jpg") | pictureList.kif 10906-10906 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/e/e1/Drought.jpg") | pictureList.kif 10912-10912 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/e/e7/Trockeneis.jpg") | pictureList.kif 10907-10907 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/f/fc/Mojave_CoyoteDryLake.jpg") | pictureList.kif 10908-10908 | |
| (instance Dry SaturationAttribute) | Merge.kif 16675-16675 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Dry "干") | domainEnglishFormat.kif 20485-20485 | |
| (termFormat ChineseTraditionalLanguage Dry "乾") | domainEnglishFormat.kif 20484-20484 | |
| (termFormat EnglishLanguage Dry "dry") | domainEnglishFormat.kif 20483-20483 |
| antecedent |
|
|
| (=> (attribute ?OBJ Dry) (not (exists (?SUBOBJ) (and (part ?SUBOBJ ?OBJ) (attribute ?SUBOBJ Liquid))))) |
Merge.kif 16680-16686 |
| consequent |
|
|
| (=> (and (instance ?DRY Drying) (patient ?DRY ?OBJ)) (holdsDuring (EndFn (WhenFn ?DRY)) (attribute ?OBJ Dry))) |
Merge.kif 11849-11854 | |
| (=> (and (instance ?IRRIGATION Irrigating) (patient ?IRRIGATION ?AREA) (instance ?AREA LandArea)) (and (holdsDuring (ImmediatePastFn (WhenFn ?IRRIGATION)) (attribute ?AREA Dry)) (holdsDuring (ImmediateFutureFn (WhenFn ?IRRIGATION)) (attribute ?AREA Damp)))) |
Geography.kif 5387-5394 | |
| (=> (instance ?DESERT Desert) (attribute ?DESERT Dry)) |
Geography.kif 5965-5967 |
|
|
|