|
|
  Dry
|
|
|
| appearance as argument number 1 |
|
|
| (contraryAttribute Dry Damp) | Merge.kif 18070-18070 | |
| (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 18071-18072 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/2/27/Oasis_in_Lybia.JPG") | pictureList.kif 9991-9991 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/4/4b/Dune45.jpg") | pictureList.kif 10889-10889 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/6/65/Death_valley_sand.jpg") | pictureList.kif 10888-10888 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/6/69/Humanitarian_aid_OCPA-2005-10-28-090517a.jpg") | pictureList.kif 10883-10883 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/7/7b/Aralship2.jpg") | pictureList.kif 10892-10892 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/a/a2/MH-60S_Helicopter_dumps_water_onto_Fire.jpg") | pictureList.kif 10884-10884 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/c/c9/Fachi-Bilma-D%C3%BCnen.jpg") | pictureList.kif 10890-10890 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/c/cf/Bay_of_Fundy_Low_Tide.jpg") | pictureList.kif 10885-10885 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/e/e1/Drought.jpg") | pictureList.kif 10891-10891 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/e/e7/Trockeneis.jpg") | pictureList.kif 10886-10886 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/f/fc/Mojave_CoyoteDryLake.jpg") | pictureList.kif 10887-10887 | |
| (instance Dry SaturationAttribute) | Merge.kif 18069-18069 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Dry "干") | domainEnglishFormat.kif 20562-20562 | |
| (termFormat ChineseTraditionalLanguage Dry "乾") | domainEnglishFormat.kif 20561-20561 | |
| (termFormat EnglishLanguage Dry "dry") | domainEnglishFormat.kif 20560-20560 |
| antecedent |
|
|
| (=> (attribute ?OBJ Dry) (not (exists (?SUBOBJ) (and (part ?SUBOBJ ?OBJ) (attribute ?SUBOBJ Liquid))))) |
Merge.kif 18074-18080 |
| consequent |
|
|
| (=> (and (instance ?DRY Drying) (patient ?DRY ?OBJ)) (holdsDuring (EndFn (WhenFn ?DRY)) (attribute ?OBJ Dry))) |
Merge.kif 12823-12828 | |
| (=> (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 5711-5718 | |
| (=> (instance ?DESERT Desert) (attribute ?DESERT Dry)) |
Geography.kif 6623-6625 |
|
|
|
