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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Washing

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 5570-5571
(externalImage Washing "http://upload.wikimedia.org/wikipedia/commons/1/ 1a/ Washing_Utensils_And_Vegetables.png") pictureList.kif 6968-6968
(externalImage Washing "http://upload.wikimedia.org/wikipedia/commons/5/ 59/ Washing_peppers.jpg") pictureList.kif 8250-8250
(externalImage Washing "http://upload.wikimedia.org/wikipedia/commons/d/ d4/ SNJ_washed.jpg") pictureList.kif 8251-8251
(subclass Washing Cleaning) Mid-level-ontology.kif 5569-5569 WashingCleaningsubclass では %n
(subclass Washing Removing) Mid-level-ontology.kif 5568-5568 Washing除却subclass では %n

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


(subclass Bathing Washing) Mid-level-ontology.kif 8886-8886 BathingWashingsubclass では %n
(termFormat ChineseLanguage Washing "洗涤") domainEnglishFormat.kif 62261-62261
(termFormat ChineseTraditionalLanguage Washing "洗滌") domainEnglishFormat.kif 62260-62260
(termFormat EnglishLanguage Washing "washing") domainEnglishFormat.kif 62259-62259

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


(=>
    (instance ?P Washing)
    (exists (?D ?W)
        (and
            (instance ?D Detergent)
            (instrument ?P ?D)
            (instance ?W FreshWater)
            (instrument ?P ?W))))
Mid-level-ontology.kif 5573-5580

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


(=>
    (and
        (instance ?J Janitor)
        (attribute ?P ?J))
    (occupation ?P
        (OccupationFn Washing)))
Mid-level-ontology.kif 20672-20676
(=>
    (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 8914-8922
(=>
    (instance ?D WashingDevice)
    (hasPurpose ?D
        (exists (?W)
            (and
                (instance ?W Washing)
                (instrument ?W ?D)))))
Mid-level-ontology.kif 2447-2453
(=>
    (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 1785-1802
(=>
    (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 2175-2189


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