more pictures...
| Dry
more pictures... | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Dry Damp) | Merge.kif 18162-18162 | |
| (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 18163-18164 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/2/27/Oasis_in_Lybia.JPG") | pictureList.kif 9990-9990 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/4/4b/Dune45.jpg") | pictureList.kif 10887-10887 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/6/65/Death_valley_sand.jpg") | pictureList.kif 10886-10886 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/6/69/Humanitarian_aid_OCPA-2005-10-28-090517a.jpg") | pictureList.kif 10881-10881 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/7/7b/Aralship2.jpg") | pictureList.kif 10890-10890 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/a/a2/MH-60S_Helicopter_dumps_water_onto_Fire.jpg") | pictureList.kif 10882-10882 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/c/c9/Fachi_Bilma_D%C3%BCnen.jpg") | pictureList.kif 10888-10888 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/c/cf/Bay_of_Fundy_Low_Tide.jpg") | pictureList.kif 10883-10883 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/e/e1/Drought.jpg") | pictureList.kif 10889-10889 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/e/e7/Trockeneis.jpg") | pictureList.kif 10884-10884 | |
| (externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/f/fc/Mojave_CoyoteDryLake.jpg") | pictureList.kif 10885-10885 | |
| (instance Dry SaturationAttribute) | Merge.kif 18161-18161 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Dry "干") | domainEnglishFormat.kif 20571-20571 | |
| (termFormat ChineseTraditionalLanguage Dry "乾") | domainEnglishFormat.kif 20570-20570 | |
| (termFormat EnglishLanguage Dry "dry") | domainEnglishFormat.kif 20569-20569 |
| antecedent |
|
|
| (=> (and (instance ?T FortyFtContainer) (attribute ?T Dry)) (capacity ?T (MeasureFn 26480 Kilogram))) |
Transportation.kif 2960-2965 | |
| (=> (and (instance ?T TwentyFtContainer) (attribute ?T Dry)) (capacity ?T (MeasureFn 21600 Kilogram))) |
Transportation.kif 2822-2827 | |
| (=> (attribute ?OBJ Dry) (not (exists (?SUBOBJ) (and (part ?SUBOBJ ?OBJ) (attribute ?SUBOBJ Liquid))))) |
Merge.kif 18166-18172 |
| consequent |
|
|
| (=> (and (instance ?DRY Drying) (patient ?DRY ?OBJ)) (holdsDuring (EndFn (WhenFn ?DRY)) (attribute ?OBJ Dry))) |
Merge.kif 12916-12921 | |
| (=> (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 5844-5851 | |
| (=> (instance ?DESERT Desert) (attribute ?DESERT Dry)) |
Geography.kif 6756-6758 | |
| (=> (instance ?W HarmattanWind) (property ?W Dry)) |
Weather.kif 1555-1557 |
|
|
|