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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Washing
Washing

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


(documentation Washing EnglishLanguage "Removing small particles from something by means of a Detergent and Water.") Mid-level-ontology.kif 5245-5246
(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 8251-8251
(externalImage Washing "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ SNJ_washed.jpg") pictureList.kif 8252-8252
(subclass Washing Cleaning) Mid-level-ontology.kif 5244-5244
(subclass Washing Removing) Mid-level-ontology.kif 5243-5243

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


(subclass Bathing Washing) Mid-level-ontology.kif 8438-8438
(termFormat ChineseLanguage Washing "洗涤") domainEnglishFormat.kif 62226-62226
(termFormat ChineseTraditionalLanguage Washing "洗滌") domainEnglishFormat.kif 62225-62225
(termFormat EnglishLanguage Washing "washing") domainEnglishFormat.kif 62224-62224

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


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

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


(=>
    (and
        (instance ?J Janitor)
        (attribute ?P ?J))
    (occupation ?P
        (OccupationFn Washing)))
Mid-level-ontology.kif 19817-19821
(=>
    (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 8466-8474
(=>
    (instance ?D WashingDevice)
    (hasPurpose ?D
        (exists (?W)
            (and
                (instance ?W Washing)
                (instrument ?W ?D)))))
Mid-level-ontology.kif 2392-2398
(=>
    (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 1760-1777
(=>
    (instance ?X Bidet)
    (hasPurpose ?X
        (exists (?PROC ?WASH ?PART)
            (and
                (or
                    (instance ?PROC Defecation)
                    (instance ?PROC Urination))
                (instrument ?PROC ?PART)
                (instance ?WASH Washing)
                (objectTransferred ?WASH ?PART)
                (instrument ?WASH ?X)
                (before
                    (BeginFn
                        (WhenFn ?PROC))
                    (BeginFn
                        (WhenFn ?WASH)))))))
Mid-level-ontology.kif 2120-2134


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