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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Washing
Washing(washing)
bathing, launder, lavation, lave, scour, scrub, wash, washing, washup

VerbNet: wipe_manner-10.4.1|wash, floss-41.2.1|wash, wipe_manner-10.4.1|scrub, wipe_manner-10.4.1|scrub, wipe_manner-10.4.1|wash,


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


(documentation Washing EnglishLanguage "Removing small particles from something by means of a Detergent and Water.") Mid-level-ontology.kif 5823-5824
(externalImage Washing "http://upload.wikimedia.org/wikipedia/commons/1/ 1a/ Washing_Utensils_And_Vegetables.png") pictureList.kif 6969-6969
(externalImage Washing "http://upload.wikimedia.org/wikipedia/commons/5/ 59/ Washing_peppers.jpg") pictureList.kif 8252-8252
(externalImage Washing "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ SNJ_washed.jpg") pictureList.kif 8253-8253
(subclass Washing Cleaning) Mid-level-ontology.kif 5822-5822 Washing is a subclass of cleaning
(subclass Washing Removing) Mid-level-ontology.kif 5821-5821 Washing is a subclass of removing

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


(subclass Bathing Washing) Mid-level-ontology.kif 8544-8544 Bathing is a subclass of washing
(termFormat ChineseLanguage Washing "洗涤") domainEnglishFormat.kif 62146-62146
(termFormat ChineseTraditionalLanguage Washing "洗滌") domainEnglishFormat.kif 62145-62145
(termFormat EnglishLanguage Washing "washing") domainEnglishFormat.kif 62144-62144

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


(=>
    (instance ?P Washing)
    (exists (?D ?W)
        (and
            (instance ?D Detergent)
            (instrument ?P ?D)
            (instance ?W Water)
            (instrument ?P ?W))))
Mid-level-ontology.kif 5826-5833

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


(=>
    (and
        (instance ?J Janitor)
        (attribute ?P ?J))
    (occupation ?P
        (OccupationFn Washing)))
Mid-level-ontology.kif 18356-18360
(=>
    (instance ?B WashBasin)
    (hasPurpose ?B
        (exists (?W ?H)
            (and
                (instance ?W Washing)
                (instrument ?W ?B)
                (patient ?W ?H)
                (instance ?H Hand)))))
Mid-level-ontology.kif 8570-8578
(=>
    (instance ?D WashingDevice)
    (hasPurpose ?D
        (exists (?W)
            (and
                (instance ?W Washing)
                (instrument ?W ?D)))))
Mid-level-ontology.kif 2916-2922
(=>
    (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 1733-1750
(=>
    (instance ?X Bidet)
    (hasPurpose ?X
        (exists (?PROC ?WASH ?PART)
            (and
                (or
                    (instance ?PROC Defecation)
                    (instance ?PROC Urination))
                (instrument ?PROC ?PART)
                (instance ?WASH Washing)
                (patient ?WASH ?PART)
                (instrument ?WASH ?X)
                (before
                    (BeginFn
                        (WhenFn ?PROC))
                    (BeginFn
                        (WhenFn ?WASH)))))))
Mid-level-ontology.kif 2643-2657


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