| Cutting | |
| appearance as argument number 1 |
|
|
| (documentation Cutting ChineseLanguage "这是使用尖锐 instrument 所做 Poking Process 的 subclass。 ") | chinese_format.kif 3161-3162 | |
| (documentation Cutting EnglishLanguage "The subclass of Poking Processes which involve a sharp instrument.") | Merge.kif 11501-11502 | |
| (subclass Cutting Poking) | Merge.kif 11500-11500 |
| appearance as argument number 2 |
|
|
| (subclass Slicing Cutting) | Mid-level-ontology.kif 19855-19855 | |
| (termFormat ChineseLanguage Cutting "切开") | chinese_format.kif 1164-1164 | |
| (termFormat EnglishLanguage Cutting "cutting") | english_format.kif 1550-1550 |
| antecedent |
|
|
| (=> (and (instance ?B Blade) (instance ?CUT Cutting) (instance ?OBJ Object) (instrument ?CUT ?B) (patient ?CUT ?OBJ)) (meetsSpatially ?B ?OBJ)) |
Mid-level-ontology.kif 19846-19853 | |
| (=> (and (instance ?SAW Saw) (instance ?CUT Cutting) (instrument ?CUT ?SAW) (instance ?OBJ Object) (patient ?CUT ?OBJ)) (exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART) (and (instance ?MOTION Motion) (subProcess ?MOTION ?CUT) (instance ?PART CuttingDevice) (part ?PART ?SAW) (meetsSpatially ?PART ?OBJ) (patient ?MOTION ?PART) (instance ?T2 TimeInterval) (instance ?T2 TimeInterval) (equal (WhenFn ?MOTION) ?TIME) (temporalPart ?TIME ?T1) (temporalPart ?TIME ?T2) (instance ?DIR1 DirectionalAttribute) (instance ?DIR2 DirectionalAttribute) (=> (holdsDuring ?T1 (direction ?MOTION ?DIR1)) (holdsDuring ?T2 (and (direction ?MOTION ?DIR2) (or (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2)) (not (and (equal ?DIR1 ?DIR2) (oppositeDirection ?DIR1 ?DIR2))))))))) |
Mid-level-ontology.kif 15871-15905 | |
| (=> (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X)) (hasPurpose ?CUT (=> (and (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO) (instance ?PAPER Paper) (located ?CBO ?PAPER)) (decreasesLikelihood (patient ?CUT ?PAPER) (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ)))))))) |
Mid-level-ontology.kif 15920-15940 |
| consequent |
|
|
| (=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?SUBACT ?ANIMAL) (subProcess ?SUBACT ?ACT)))) |
Merge.kif 11424-11433 | |
| (=> (attribute ?X BarberShops) (hasPurpose ?X (exists (?HAIR ?HUMAN ?CUT ?STYLIST) (and (instance ?HAIR Hair) (part ?HAIR ?HUMAN) (instance ?HUMAN Human) (instance ?CUT Cutting) (patient ?CUT ?HAIR) (eventLocated ?CUT ?X) (agent ?CUT ?STYLIST) (employs ?X ?STYLIST))))) |
naics.kif 11857-11869 | |
| (=> (instance ?D Drill) (hasPurpose ?D (exists (?E ?H) (and (instance ?E Cutting) (instance ?H Hole) (result ?E ?H) (instrument ?E ?D))))) |
Mid-level-ontology.kif 15835-15843 | |
| (=> (instance ?PLANER Planer) (hasPurpose ?PLANER (exists (?CUT ?OBJ1 ?OBJ2) (and (instance ?CUT Cutting) (instrument ?CUT ?PLANER) (resource ?CUT ?OBJ1) (instance ?OBJ1 Object) (material ?OBJ1 Wood) (result ?CUT ?OBJ2) (instance ?OBJ2 Object) (material ?OBJ2 Wood) (attribute ?OBJ2 Flat) (height ?OBJ1 ?H1) (height ?OBJ2 ?H2) (greaterThan ?H1 ?H2))))) |
Economy.kif 4900-4916 | |
| (=> (instance ?X CuttingDevice) (capability Cutting ?X instrument)) |
Mid-level-ontology.kif 19826-19828 | |
| (=> (instance ?X PaperShredder) (hasPurpose ?X (exists (?CUT ?PAPER) (and (instance ?CUT Cutting) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER))))) |
Mid-level-ontology.kif 15910-15918 |
|
|
|