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 5575-5576
(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 5574-5574 洗涤 是 清洁的 的 subclass
(subclass Washing Removing) Mid-level-ontology.kif 5573-5573 洗涤 是 移除 的 subclass

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


(subclass Bathing Washing) Mid-level-ontology.kif 8858-8858 洗澡 是 洗涤 的 subclass
(termFormat ChineseLanguage Washing "洗涤") domainEnglishFormat.kif 62259-62259
(termFormat ChineseTraditionalLanguage Washing "洗滌") domainEnglishFormat.kif 62258-62258
(termFormat EnglishLanguage Washing "washing") domainEnglishFormat.kif 62257-62257

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


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

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


(=>
    (and
        (instance ?J Janitor)
        (attribute ?P ?J))
    (occupation ?P
        (OccupationFn Washing)))		 Mid-level-ontology.kif 20644-20648
(=>
    (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 8886-8894
(=>
    (instance ?D WashingDevice)
    (hasPurpose ?D
        (exists (?W)
            (and
                (instance ?W Washing)
                (instrument ?W ?D)))))		 Mid-level-ontology.kif 2454-2460
(=>
    (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 2182-2196


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