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 25305-25306 | |
(subclass Ironing Smoothing) | Mid-level-ontology.kif 25304-25304 | Ironing è una sottoclasse di Smoothing |
appearance as argument number 2 |
(termFormat EnglishLanguage Ironing "ironing") | Mid-level-ontology.kif 25307-25307 |
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 25321-25332 |
|
(=> (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 25309-25319 |
consequent |