consequent

(=>     (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 2781-2795	If X is an instance of bidet, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of defecation or Y is an instance of urination (3) W is an instrument for Y (4) Z is an instance of washing (5) the object transferred in Z is W (6) X is an instrument for Z (7) the beginning of the time of existence of Y happens before the beginning of the time of existence of Z
(=>     (instance ?D WashingDevice)     (hasPurpose ?D         (exists (?W)             (and                 (instance ?W Washing)                 (instrument ?W ?D)))))	Mid-level-ontology.kif 3053-3059	If X is an instance of washing device, then X has the purpose there exists Y such that Y is an instance of washing and X is an instrument for Y
(=>     (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 10254-10262	If X is an instance of wash basin, then X has the purpose there exist Y, Z such that Y is an instance of washing, X is an instrument for Y, Z is a patient of Y, and Z is an instance of hand
(=>     (and         (instance ?J Janitor)         (attribute ?P ?J))     (occupation ?P         (OccupationFn Washing)))	Mid-level-ontology.kif 22887-22891	If X is an instance of janitor and X is an attribute of Y, then the occupation of washing is an occupation of Y
(=>     (instance ?SVC LaundryService)     (exists (?CLOTHES ?WASH ?DRY ?IRON)         (and             (instance ?CLOTHES Clothing)             (patient ?SVC ?CLOTHES)             (subProcess ?WASH ?SVC)             (instance ?WASH Washing)             (patient ?WASH ?CLOTHES)             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?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 1796-1816	If X is an instance of laundry service, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of clothing (3) Y is a patient of X (4) Z is a subprocess of X (5) Z is an instance of washing (6) Y is a patient of Z (7) clean is an attribute of Y holds during immediately after the time of existence of Z (8) W is a subprocess of X (9) W is an instance of drying (10) Y is a patient of W (11) V is an instance of ironing (12) V is a subprocess of X (13) Y is a patient of V (14) the beginning of the time of existence of Z happens before the beginning of the time of existence of W (15) the beginning of the time of existence of W happens before the beginning of the time of existence of V
(=>     (instance ?DEVICE Dishwasher)     (hasPurpose ?DEVICE         (exists (?DISH ?CLEANING)             (and                 (instance ?DISH Tableware)                 (instance ?CLEANING Washing)                 (patient ?CLEANING ?DISH)                 (instrument ?CLEANING ?DEVICE)))))	HouseholdAppliances.kif 624-632	If X is an instance of dishwasher, then X has the purpose there exist Y, Z such that Y is an instance of tableware, Z is an instance of washing, Y is a patient of Z, and X is an instrument for Z
(=>     (instance ?DEVICE ClothesWashingMachine)     (hasPurpose ?DEVICE         (exists (?CLOTH ?CLEANING)             (and                 (or                     (instance ?CLOTH Fabric)                     (instance ?CLOTH Clothing))                 (instance ?CLEANING Washing)                 (patient ?CLEANING ?CLOTH)                 (instrument ?CLEANING ?DEVICE)))))	HouseholdAppliances.kif 660-670	If X is an instance of clothes washing machine, then X has the purpose there exist Y, Z such that Y is an instance of fabric or Y is an instance of clothing, Z is an instance of washing, Y is a patient of Z, and X is an instrument for Z

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners