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 est une sous-classe de Smoothing |
appearance as argument number 2 |
(termFormat EnglishLanguage Ironing "ironing") | Mid-level-ontology.kif 25250-25250 |
antecedent |
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 |