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 18108-18109
(externalImage Damp "http://upload.wikimedia.org/wikipedia/commons/9/96/ Water_drops_on_spider_web.jpg") pictureList.kif 5944-5944
(instance Damp SaturationAttribute) Merge.kif 18107-18107 Damp is an instance of saturation attribute

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


(contraryAttribute Dry Damp) Merge.kif 18095-18095 Dry is the opposite of damp
(subAttribute Wet Damp) Merge.kif 18112-18112 Wet is a subattribute of damp
(termFormat ChineseLanguage Damp "潮湿") domainEnglishFormat.kif 18453-18453 Wet is a subattribute of damp
(termFormat ChineseTraditionalLanguage Damp "潮濕") domainEnglishFormat.kif 18452-18452 Wet is a subattribute of damp
(termFormat EnglishLanguage Damp "damp") domainEnglishFormat.kif 18451-18451 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 5780-5787
(=>
    (instance ?SWAMP Swamp)
    (attribute ?SWAMP Damp))
Geography.kif 6679-6681
(=>
    (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 12826-12839


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