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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Damp

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 18004-18005
(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 18003-18003 潮湿饱和属性instance

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


(contraryAttribute Dry Damp) Merge.kif 17991-17991 潮湿 的相反
(subAttribute Wet Damp) Merge.kif 18008-18008 湿潮湿subAttribute
(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 12751-12764


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