Washing - Sigma Knowledge base Browser

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	子類洗滌 and 清潔的
(subclass Washing Removing)	Mid-level-ontology.kif 5568-5568	子類洗滌 and Removing

appearance as argument number 2

(subclass Bathing Washing)	Mid-level-ontology.kif 8886-8886	子類洗澡 and 洗滌
(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

例 Process and 洗滌
Object Object 例 Object and 洗滌劑儀器 Process and Object 例 Object and 淡水儀器 Process and Object

consequent

(=> (and (instance ?J Janitor) (attribute ?P ?J)) (occupation ?P (OccupationFn Washing)))	Mid-level-ontology.kif 20672-20676	例 Attribute and 門警 attribute Human and Attribute 洗滌的 occupation 是 Human 的 occupation
(=> (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	例 Physical and 洗手盆有目的 Physical and entity entity 例 entity and 洗滌儀器 entity and Physical 患者 entity and entity 例 entity and 手
(=> (instance ?D WashingDevice) (hasPurpose ?D (exists (?W) (and (instance ?W Washing) (instrument ?W ?D)))))	Mid-level-ontology.kif 2447-2453	例 Physical and 洗滌設備有目的 Physical and entity 例 entity and 洗滌儀器 entity and Physical
(=> (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	例 Process and LaundryService Entity Process, Process and Process 例 Entity and Clothing 患者 Process and Entity 子過程 Process and Process 例 Process and 洗滌患者 Process and Entity 結果 Process and attribute Entity and Clean 子過程 Process and Process 例 Process and Drying 患者 Process and Entity 例 Process and Ironing 子過程 Process and Process 患者 Process and Entity 之前開始何時 Process and 開始何時 Process 之前開始何時 Process and 開始何時 Process
(=> (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	例 Physical and Bidet 有目的 Physical and entity entity and entity 例 entity and Defecation 例 entity and Urination 儀器 entity and entity 例 entity and 洗滌 objectTransferred entity and entity 儀器 entity and Physical 之前開始何時 entity and 開始何時 entity

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

KB Term:			Term intersection

English Word: