Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Ironing
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Ironing Smoothing) | Mid-level-ontology.kif 27567-27567 | Ironing is a subclass of smoothing |
| (documentation Ironing EnglishLanguage "Ironing refers to a Smoothing process where a heated Device is used to smooth something") | Mid-level-ontology.kif 27568-27569 | Ironing is a subclass of smoothing |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Ironing "ironing") | Mid-level-ontology.kif 27570-27570 |
| antecedent |
|
|
| (=> (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 27572-27582 | If X is an instance of ironing and Y is a patient of X, then there exist Z, W, V such that V is a superficial part of Y, Z is an instance of heating, W is a patient of Z, V is a patient of X, and W is an instrument for X |
| (=> (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 27584-27595 | If X is an instance of ironing, Y is a patient of X, Z is a part of Y, and Z is an instance of fabric, then there exist W, V such that V is an instance of heating, W is a patient of V, W is an instance of iron, and W is an instrument for X |
| consequent |
|
|
| (=> (instance ?I FabricIron) (hasPurpose ?I (exists (?IRON) (and (instance ?IRON Ironing) (instrument ?IRON ?I))))) |
Mid-level-ontology.kif 27501-27507 | If X is an instance of iron, then X has the purpose there exists Y such that Y is an instance of ironing and X is an instrument for Y |
| (=> (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 27522-27533 | If X is an instance of ironing board, then X has the purpose there exist Y, Z, W such that Y is an instance of ironing, W is a patient of Y, Z is a part of W, Z is an instance of fabric, and W is on to X holds during the time of existence of Y |
| (=> (instance ?SVC LaundryService) (exists (?CLOTHES ?WASH ?DRY ?IRON) (and (instance ?CLOTHES Clothing) (patient ?SVC ?CLOTHES) (subProcess ?WASH ?SVC) (instance ?WASH Washing) (patient ?WASH ?CLOTHES) (holdsDuring (ImmediateFutureFn (WhenFn ?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-1816 | If X is an instance of laundry service, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of clothing (3) Y is a patient of X (4) Z is a subprocess of X (5) Z is an instance of washing (6) Y is a patient of Z (7) clean is an attribute of Y holds during immediately after the time of existence of Z (8) W is a subprocess of X (9) W is an instance of drying (10) Y is a patient of W (11) V is an instance of ironing (12) V is a subprocess of X (13) Y is a patient of V (14) the beginning of the time of existence of Z happens before the beginning of the time of existence of W (15) the beginning of the time of existence of W happens before the beginning of the time of existence of V |
| (=> (instance ?X IroningService) (exists (?IRON ?CLOTHES) (and (instance ?CLOTHES Clothing) (instance ?IRON Ironing) (patient ?IRON ?CLOTHES) (subProcess ?IRON ?X)))) |
Hotel.kif 1873-1880 | If X is an instance of ironing service, then there exist Y, Z such that Z is an instance of clothing, Y is an instance of ironing, Z is a patient of Y, and Y is a subprocess of X |
|