Ironing |
appearance as argument number 1 |
(documentation Ironing EnglishLanguage "Ironing refers to a Smoothing process where a heated Device is used to smooth something") | Mid-level-ontology.kif 25248-25249 | |
(subclass Ironing Smoothing) | Mid-level-ontology.kif 25247-25247 | Ironing 是 Smoothing 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage Ironing "ironing") | Mid-level-ontology.kif 25250-25250 |
antecedent |
(=> (and (instance ?I Ironing) (patient ?I ?OBJ) (part ?FABRIC ?OBJ) (instance ?FABRIC Fabric)) (exists (?IRON ?HEAT) (and (instance ?HEAT Heating) (patient ?HEAT ?IRON) (instance ?IRON FabricIron) (instrument ?I ?IRON)))) |
Mid-level-ontology.kif 25264-25275 | |
(=> (and (instance ?I Ironing) (patient ?I ?OBJ)) (exists (?HEAT ?IRON ?PART) (and (superficialPart ?PART ?OBJ) (instance ?HEAT Heating) (patient ?HEAT ?IRON) (patient ?I ?PART) (instrument ?I ?IRON)))) |
Mid-level-ontology.kif 25252-25262 |
consequent |
(=> (instance ?BOARD IroningBoard) (hasPurpose ?BOARD (exists (?IRON ?FABRIC ?OBJ) (and (instance ?IRON Ironing) (patient ?IRON ?OBJ) (part ?FABRIC ?OBJ) (instance ?FABRIC Fabric) (holdsDuring (WhenFn ?IRON) (orientation ?OBJ ?BOARD On)))))) |
Mid-level-ontology.kif 25202-25213 | |
(=> (instance ?I FabricIron) (hasPurpose ?I (exists (?IRON) (and (instance ?IRON Ironing) (instrument ?IRON ?I))))) |
Mid-level-ontology.kif 25181-25187 | |
(=> (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 IroningService) (exists (?IRON ?CLOTHES) (and (instance ?CLOTHES Clothing) (instance ?IRON Ironing) (patient ?IRON ?CLOTHES) (subProcess ?IRON ?X)))) |
Hotel.kif 1856-1863 |