Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Dry

 Sigma KEE - Dry
Dry(dry)
more pictures...		adust, aneroid, arid, aridity, aridness, baked, bone-dry, bone_dry, conjunctivitis_arida, dehydration, desiccated, desiccation, dried, dried-out, dried-up, dry, dry-shod, dry_mouth, dryness, parched, rainless, scorched, sear, semiarid, sere, sereness, shriveled, shrivelled, sunbaked, thirstiness, thirsty, waterless, waterlessness, withered, xeric, xeroma, xerophthalmia, xerophthalmus, xerostomia, xerotes

appearance as argument number 1
-------------------------


(instance Dry SaturationAttribute) Merge.kif 18330-18330 Dry is an instance of saturation attribute
(contraryAttribute Dry Damp) Merge.kif 18331-18331 Dry is the opposite of damp
(documentation Dry EnglishLanguage "An Attribute which indicates that the associated Object contains no Liquid.") Merge.kif 18332-18333 Dry is the opposite of damp
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/2/27/Oasis_in_Lybia.JPG") pictureList.kif 9990-9990 Dry is the opposite of damp
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/6/69/Humanitarian_aid_OCPA-2005-10-28-090517a.jpg") pictureList.kif 10881-10881 Dry is the opposite of damp
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/a/a2/MH-60S_Helicopter_dumps_water_onto_Fire.jpg") pictureList.kif 10882-10882 Dry is the opposite of damp
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/c/cf/Bay_of_Fundy_Low_Tide.jpg") pictureList.kif 10883-10883 Dry is the opposite of damp
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/e/e7/Trockeneis.jpg") pictureList.kif 10884-10884 Dry is the opposite of damp
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/f/fc/Mojave_CoyoteDryLake.jpg") pictureList.kif 10885-10885 Dry is the opposite of damp
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/6/65/Death_valley_sand.jpg") pictureList.kif 10886-10886 Dry is the opposite of damp
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/4/4b/Dune45.jpg") pictureList.kif 10887-10887 Dry is the opposite of damp
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/c/c9/Fachi_Bilma_D%C3%BCnen.jpg") pictureList.kif 10888-10888 Dry is the opposite of damp
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/e/e1/Drought.jpg") pictureList.kif 10889-10889 Dry is the opposite of damp
(externalImage Dry "http://upload.wikimedia.org/wikipedia/commons/7/7b/Aralship2.jpg") pictureList.kif 10890-10890 Dry is the opposite of damp

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Dry "dry") domainEnglishFormat.kif 20562-20562
(termFormat ChineseTraditionalLanguage Dry "乾") domainEnglishFormat.kif 20563-20563
(termFormat ChineseLanguage Dry "干") domainEnglishFormat.kif 20564-20564

antecedent
-------------------------


(=>
    (attribute ?OBJ Dry)
    (not
        (exists (?SUBOBJ)
            (and
                (part ?SUBOBJ ?OBJ)
                (attribute ?SUBOBJ Liquid)))))		 Merge.kif 18335-18341 If dry is an attribute of X, then there doesn't exist Y such that Y is a part of X and liquid is an attribute of Y
(=>
    (and
        (instance ?T TwentyFtContainer)
        (attribute ?T Dry))
    (capacity ?T
        (MeasureFn 21600 Kilogram)))		 Transportation.kif 2868-2873 If X is an instance of twenty foot container and dry is an attribute of X, then 21600 kilogram(s) is a capacity of X
(=>
    (and
        (instance ?T FortyFtContainer)
        (attribute ?T Dry))
    (capacity ?T
        (MeasureFn 26480 Kilogram)))		 Transportation.kif 3006-3011 If X is an instance of forty foot container and dry is an attribute of X, then 26480 kilogram(s) is a capacity of X

consequent
-------------------------


(=>
    (and
        (instance ?DRY Drying)
        (patient ?DRY ?OBJ))
    (holdsDuring
        (EndFn
            (WhenFn ?DRY))
        (attribute ?OBJ Dry)))		 Merge.kif 13067-13072 If X is an instance of drying and Y is a patient of X, then dry is an attribute of Y holds during the end of the time of existence of X
(=>
    (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 7311-7318 If X is an instance of irrigating, Y is a patient of X, and Y is an instance of land area, then dry is an attribute of Y holds during immediately before the time of existence of X and damp is an attribute of Y holds during immediately after the time of existence of X
(=>
    (instance ?DESERT Desert)
    (attribute ?DESERT Dry))		 Geography.kif 8253-8255 If X is an instance of desert, then dry is an attribute of X
(=>
    (instance ?W Sirocco)
    (property ?W Dry))		 Weather.kif 1979-1981 If X is an instance of sirocco, then X the attribute dry
(=>
    (instance ?W HarmattanWind)
    (property ?W Dry))		 Weather.kif 2005-2007 If X is an instance of harmattan wind, then X the attribute dry
(=>
    (instance ?W Khamsin)
    (property ?W Dry))		 Weather.kif 2068-2070 If X is an instance of khamsin, then X the attribute dry
(=>
    (instance ?W FohnWind)
    (property ?W Dry))		 Weather.kif 2195-2197 If X is an instance of Fohn wind, then X the attribute dry
(=>
    (instance ?W SantaAnaWinds)
    (attribute ?W Dry))		 Weather.kif 2614-2616 If X is an instance of Santa Ana winds, then dry is an attribute of X


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners