Dry![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(contraryAttribute Dry Damp) | Merge.kif 17722-17722 | |
(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 17723-17724 | |
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/2/27/Oasis_in_Lybia.JPG") | pictureList.kif 9999-9999 | |
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/4/4b/Dune45.jpg") | pictureList.kif 10899-10899 | |
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/6/65/Death_valley_sand.jpg") | pictureList.kif 10898-10898 | |
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/6/69/Humanitarian_aid_OCPA-2005-10-28-090517a.jpg") | pictureList.kif 10893-10893 | |
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/7/7b/Aralship2.jpg") | pictureList.kif 10902-10902 | |
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/a/a2/MH-60S_Helicopter_dumps_water_onto_Fire.jpg") | pictureList.kif 10894-10894 | |
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/c/c9/Fachi-Bilma-D%C3%BCnen.jpg") | pictureList.kif 10900-10900 | |
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/c/cf/Bay_of_Fundy_Low_Tide.jpg") | pictureList.kif 10895-10895 | |
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/e/e1/Drought.jpg") | pictureList.kif 10901-10901 | |
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/e/e7/Trockeneis.jpg") | pictureList.kif 10896-10896 | |
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/f/fc/Mojave_CoyoteDryLake.jpg") | pictureList.kif 10897-10897 | |
(instance Dry SaturationAttribute) | Merge.kif 17721-17721 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Dry "干") | domainEnglishFormat.kif 20553-20553 | |
(termFormat ChineseTraditionalLanguage Dry "乾") | domainEnglishFormat.kif 20552-20552 | |
(termFormat EnglishLanguage Dry "dry") | domainEnglishFormat.kif 20551-20551 |
antecedent |
![]() |
(=> (attribute ?OBJ Dry) (not (exists (?SUBOBJ) (and (part ?SUBOBJ ?OBJ) (attribute ?SUBOBJ Liquid))))) |
Merge.kif 17726-17732 |
consequent |
![]() |
(=> (and (instance ?DRY Drying) (patient ?DRY ?OBJ)) (holdsDuring (EndFn (WhenFn ?DRY)) (attribute ?OBJ Dry))) |
Merge.kif 12539-12544 | |
(=> (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 5608-5615 | |
(=> (instance ?DESERT Desert) (attribute ?DESERT Dry)) |
Geography.kif 6311-6313 |
![]() |
![]() |