| 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 25536-25537 | |
| (subclass Ironing Smoothing) | Mid-level-ontology.kif 25535-25535 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Ironing "ironing") | Mid-level-ontology.kif 25538-25538 |
| 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 25552-25563 | |
| (=> (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 25540-25550 |
| 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 25490-25501 | |
| (=> (instance ?I FabricIron) (hasPurpose ?I (exists (?IRON) (and (instance ?IRON Ironing) (instrument ?IRON ?I))))) |
Mid-level-ontology.kif 25469-25475 | |
| (=> (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 |
|
|
|