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 26910-26911 | |
(subclass Ironing Smoothing) | Mid-level-ontology.kif 26909-26909 | Ironing est une sous-classe de Smoothing |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Ironing "ironing") | Mid-level-ontology.kif 26912-26912 |
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 26864-26875 | |
(=> (instance ?I FabricIron) (hasPurpose ?I (exists (?IRON) (and (instance ?IRON Ironing) (instrument ?IRON ?I))))) |
Mid-level-ontology.kif 26843-26849 | |
(=> (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 1796-1813 |
|
(=> (instance ?X IroningService) (exists (?IRON ?CLOTHES) (and (instance ?CLOTHES Clothing) (instance ?IRON Ironing) (patient ?IRON ?CLOTHES) (subProcess ?IRON ?X)))) |
Hotel.kif 1867-1874 |
![]() |
![]() |