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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Damp
Damp

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 16662-16663
(externalImage Damp "http://upload.wikimedia.org/wikipedia/commons/9/96/ Water_drops_on_spider_web.jpg") pictureList.kif 5946-5946
(instance Damp SaturationAttribute) Merge.kif 16661-16661 instance Damp and SaturationAttribute

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


(contraryAttribute Dry Damp) Merge.kif 16649-16649 contraryAttribute Dry and Damp
(subAttribute Wet Damp) Merge.kif 16666-16666 subAttribute Wet and Damp
(termFormat ChineseLanguage Damp "潮湿") domainEnglishFormat.kif 18361-18361
(termFormat ChineseTraditionalLanguage Damp "潮濕") domainEnglishFormat.kif 18360-18360
(termFormat EnglishLanguage Damp "damp") domainEnglishFormat.kif 18359-18359

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 5387-5394
(=>
    (instance ?SWAMP Swamp)
    (attribute ?SWAMP Damp))
Geography.kif 5952-5954
(=>
    (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 11793-11806


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners