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 17735-17736
(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 17734-17734

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


(contraryAttribute Dry Damp) Merge.kif 17722-17722
(subAttribute Wet Damp) Merge.kif 17739-17739
(termFormat ChineseLanguage Damp "潮湿") domainEnglishFormat.kif 18429-18429
(termFormat ChineseTraditionalLanguage Damp "潮濕") domainEnglishFormat.kif 18428-18428
(termFormat EnglishLanguage Damp "damp") domainEnglishFormat.kif 18427-18427

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 5608-5615
(=>
    (instance ?SWAMP Swamp)
    (attribute ?SWAMP Damp))
Geography.kif 6299-6301
(=>
    (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 12513-12526


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