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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Dry
more pictures...

appearance as argument number 1

(contraryAttribute Dry Damp) Merge.kif 17836-17836
(documentation Dry ChineseLanguage "这是用来表示相关 Object 不含 LiquidAttribute。") chinese_format.kif 3999-3999
(documentation Dry EnglishLanguage "An Attribute which indicates that the associated Object contains no Liquid.") Merge.kif 17837-17838
(externalImage Dry "") pictureList.kif 9999-9999
(externalImage Dry "") pictureList.kif 10899-10899
(externalImage Dry "") pictureList.kif 10898-10898
(externalImage Dry "") pictureList.kif 10893-10893
(externalImage Dry "") pictureList.kif 10902-10902
(externalImage Dry "") pictureList.kif 10894-10894
(externalImage Dry "") pictureList.kif 10900-10900
(externalImage Dry "") pictureList.kif 10895-10895
(externalImage Dry "") pictureList.kif 10901-10901
(externalImage Dry "") pictureList.kif 10896-10896
(externalImage Dry "") pictureList.kif 10897-10897
(instance Dry SaturationAttribute) Merge.kif 17835-17835

appearance as argument number 2

(termFormat ChineseLanguage Dry "干") domainEnglishFormat.kif 20552-20552
(termFormat ChineseTraditionalLanguage Dry "乾") domainEnglishFormat.kif 20551-20551
(termFormat EnglishLanguage Dry "dry") domainEnglishFormat.kif 20550-20550


    (attribute ?OBJ Dry)
        (exists (?SUBOBJ)
                (part ?SUBOBJ ?OBJ)
                (attribute ?SUBOBJ Liquid)))))
Merge.kif 17840-17846


        (instance ?DRY Drying)
        (patient ?DRY ?OBJ))
            (WhenFn ?DRY))
        (attribute ?OBJ Dry)))
Merge.kif 12639-12644
        (instance ?IRRIGATION Irrigating)
        (patient ?IRRIGATION ?AREA)
        (instance ?AREA LandArea))
                (WhenFn ?IRRIGATION))
            (attribute ?AREA Dry))
                (WhenFn ?IRRIGATION))
            (attribute ?AREA Damp))))
Geography.kif 5619-5626
    (instance ?DESERT Desert)
    (attribute ?DESERT Dry))
Geography.kif 6323-6325

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