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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Damp

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 18026-18027
(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 18025-18025 Damp is an instance of saturation attribute

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


(contraryAttribute Dry Damp) Merge.kif 18013-18013 Dry is the opposite of damp
(subAttribute Wet Damp) Merge.kif 18030-18030 Wet is a subattribute of damp
(termFormat ChineseLanguage Damp "潮湿") domainEnglishFormat.kif 18438-18438
(termFormat ChineseTraditionalLanguage Damp "潮濕") domainEnglishFormat.kif 18437-18437
(termFormat EnglishLanguage Damp "damp") domainEnglishFormat.kif 18436-18436

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 12773-12786


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 is open source software produced by Articulate Software and its partners