Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Damp
Damp(damp)
bedewed, besprent, clamminess, damp, dampish, damply, dampness, dankness, dewy, humid, humidity, humidness, hydric, mesic, mesophytic, misty, moist, moistly, moistness, moisture, mugginess, muggy, rawness, reeking, sogginess, steamy, sticky, tacky, undried, washed, watery, wet, wetness

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


(documentation Damp ChineseLanguage "这是用来表示相关 Object 含有一些 LiquidAttribute。") chinese_format.kif 4000-4001
(documentation Damp EnglishLanguage "An Attribute which indicates that the associated Object contains some Liquid.") Merge.kif 18083-18084
(externalImage Damp "http://upload.wikimedia.org/wikipedia/commons/9/96/ Water_drops_on_spider_web.jpg") pictureList.kif 5945-5945
(instance Damp SaturationAttribute) Merge.kif 18082-18082 Damp is an instance of saturation attribute

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


(contraryAttribute Dry Damp) Merge.kif 18070-18070 Dry is the opposite of damp
(subAttribute Wet Damp) Merge.kif 18087-18087 Wet is a subattribute of damp
(termFormat ChineseLanguage Damp "潮湿") domainEnglishFormat.kif 18454-18454 Wet is a subattribute of damp
(termFormat ChineseTraditionalLanguage Damp "潮濕") domainEnglishFormat.kif 18453-18453 Wet is a subattribute of damp
(termFormat EnglishLanguage Damp "damp") domainEnglishFormat.kif 18452-18452 Wet is a subattribute of damp

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


(=>
    (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 ?SWAMP Swamp)
    (attribute ?SWAMP Damp))
Geography.kif 6611-6613
(=>
    (instance ?WET Wetting)
    (exists (?OBJ)
        (and
            (patient ?WET ?OBJ)
            (holdsDuring
                (BeginFn
                    (WhenFn ?WET))
                (not
                    (attribute ?OBJ Damp)))
            (holdsDuring
                (EndFn
                    (WhenFn ?WET))
                (attribute ?OBJ Damp)))))
Merge.kif 12797-12810


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners