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


KB Term:  Term intersection
English Word: 

Sigma KEE - Drying
Drying(drying)

appearance as argument number 1
-------------------------


(subclass Drying Removing) Merge.kif 12949-12949 Drying is a subclass of removing
(documentation Drying EnglishLanguage "The Class of Processes where a Liquid is removed from an Object.") Merge.kif 12950-12951 Drying is a subclass of removing

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


(subclass CuringFood Drying) Food.kif 77-77 Curing food is a subclass of drying
(termFormat EnglishLanguage Drying "drying") english_format.kif 1583-1583 Curing food is a subclass of drying

antecedent
-------------------------


(=>
    (and
        (instance ?DRY Drying)
        (patient ?DRY ?OBJ))
    (holdsDuring
        (EndFn
            (WhenFn ?DRY))
        (attribute ?OBJ Dry)))		 Merge.kif 12953-12958 If X is an instance of drying and Y is a patient of X, then dry is an attribute of Y holds during the end of the time of existence of X

consequent
-------------------------


(=>
    (instance ?X Towel)
    (capability Drying instrument ?X))		 Mid-level-ontology.kif 6318-6320 If X is an instance of towel, then X is capable of doing drying as a instrument
(=>
    (instance ?T Towel)
    (hasPurpose ?T
        (exists (?D)
            (and
                (instance ?D Drying)
                (instrument ?D ?T)))))		 Mid-level-ontology.kif 6322-6328 If X is an instance of towel, then X has the purpose there exists Y such that Y is an instance of drying and X is an instrument for Y
(=>
    (instance ?D DryingDevice)
    (hasPurpose ?D
        (exists (?DRYING)
            (and
                (instance ?DRYING Drying)
                (instrument ?DRYING ?D)))))		 Mid-level-ontology.kif 27767-27773 If X is an instance of drying device, then X has the purpose there exists Y such that Y is an instance of drying and X is an instrument for Y
(=>
    (instance ?HD HairDryer)
    (hasPurpose ?HD
        (exists (?HAIR ?DRYING)
            (and
                (instance ?HAIR Hair)
                (instance ?DRYING Drying)
                (patient ?DRYING ?HAIR)
                (instrument ?DRYING ?HD)))))		 Mid-level-ontology.kif 27785-27793 If X is an instance of hair dryer, then X has the purpose there exist Y, Z such that Y is an instance of hair, Z is an instance of drying, Y is a patient of Z, and X is an instrument for Z
(=>
    (and
        (instance ?C CuringFood)
        (instance ?F Food)
        (patient ?C ?F))
    (exists (?D)
        (and
            (instance ?D Drying)
            (subProcess ?D ?C)
            (patient ?D ?F))))		 Food.kif 96-105 If X is an instance of curing food, Y is an instance of food, and Y is a patient of X, then there exists Z such that Z is an instance of drying, Z is a subprocess of X, and Y is a patient of Z
(=>
    (instance ?R Raisin)
    (exists (?D ?G)
        (and
            (instance ?D Drying)
            (instance ?G Grape)
            (patient ?D ?G)
            (result ?D ?R))))		 Food.kif 3334-3341 If X is an instance of raisin, then there exist Y, Z such that Y is an instance of drying, Z is an instance of grape, Z is a patient of Y, and X is a result of Y
(=>
    (instance ?SVC LaundryService)
    (exists (?CLOTHES ?WASH ?DRY ?IRON)
        (and
            (instance ?CLOTHES Clothing)
            (patient ?SVC ?CLOTHES)
            (subProcess ?WASH ?SVC)
            (instance ?WASH Washing)
            (patient ?WASH ?CLOTHES)
            (result ?WASH
                (attribute ?CLOTHES Clean))
            (subProcess ?DRY ?SVC)
            (instance ?DRY Drying)
            (patient ?DRY ?CLOTHES)
            (instance ?IRON Ironing)
            (subProcess ?IRON ?SVC)
            (patient ?IRON ?CLOTHES)
            (before
                (BeginFn
                    (WhenFn ?WASH))
                (BeginFn
                    (WhenFn ?DRY)))
            (before
                (BeginFn
                    (WhenFn ?DRY))
                (BeginFn
                    (WhenFn ?IRON))))))		 Hotel.kif 1796-1813 If X is an instance of laundry service, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of clothing (3) Y is a patient of X (4) Z is a subprocess of X (5) Z is an instance of washing (6) Y is a patient of Z (7) clean is an attribute of Y is a result of Z (8) W is a subprocess of X (9) W is an instance of drying (10) Y is a patient of W (11) V is an instance of ironing (12) V is a subprocess of X (13) Y is a patient of V (14) the beginning of the time of existence of Z happens before the beginning of the time of existence of W (15) the beginning of the time of existence of W happens before the beginning of the time of existence of V
(=>
    (instance ?DEVICE HairDryer)
    (and
        (capability Drying instrument ?DEVICE)
        (hasPurpose ?DEVICE
            (exists (?PROC)
                (and
                    (instance ?PROC Drying)
                    (instrument ?PROC ?DEVICE))))))		 HouseholdAppliances.kif 216-224 If X is an instance of hair dryer, then X is capable of doing drying as a instrument and X has the purpose there exists Y such that Y is an instance of drying and X is an instrument for Y


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