|
|
   TorricelliLanguage FabricIron
|
|
|
| appearance as argument number 1 |
|
|
| (documentation FabricIron EnglishLanguage "An iron is a small appliance used in %&Ironing to remove wrinkles from %&Fabric.") | Mid-level-ontology.kif 25178-25178 | |
| (subclass FabricIron ElectricDevice) | Mid-level-ontology.kif 25175-25175 | FabricIron 是 电器 的 subclass |
| (subclass FabricIron HeatingDevice) | Mid-level-ontology.kif 25176-25176 | FabricIron 是 加热装置 的 subclass |
| (subclass FabricIron HouseUtilityAppliance) | Mid-level-ontology.kif 25177-25177 | FabricIron 是 HouseUtilityAppliance 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FabricIron "iron") | Mid-level-ontology.kif 25173-25173 |
| antecedent |
|
|
| (=> (instance ?I FabricIron) (hasPurpose ?I (exists (?IRON) (and (instance ?IRON Ironing) (instrument ?IRON ?I))))) |
Mid-level-ontology.kif 25180-25186 | |
| (=> (instance ?IRON FabricIron) (exists (?BASE) (and (bottom ?BASE ?IRON) (material Metal ?BASE) (attribute ?BASE Flat)))) |
Mid-level-ontology.kif 25188-25194 |
| consequent |
|
|
| (=> (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 25263-25274 |
|
|
|