| 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 12479-12480 | |
| (subclass Cutting Poking) | Merge.kif 12478-12478 |
| appearance as argument number 2 |
|
|
| (subclass Felling Cutting) | Economy.kif 5810-5810 | |
| (subclass Slicing Cutting) | Mid-level-ontology.kif 23670-23670 | |
| (termFormat ChineseLanguage Cutting "切开") | chinese_format.kif 1164-1164 | |
| (termFormat EnglishLanguage Cutting "cutting") | english_format.kif 1545-1545 | |
| (termFormat FrenchLanguage Cutting "couper") | french_format.kif 842-842 | |
| (termFormat Hindi Cutting "kataaii") | terms-hindi.txt 374-374 | |
| (termFormat ItalianLanguage Cutting "Tagliare") | terms-it.txt 377-377 | |
| (termFormat JapaneseLanguage Cutting "切断") | japanese_format.kif 2526-2526 | |
| (termFormat PortugueseLanguage Cutting "Cortar") | portuguese_format.kif 794-794 | |
| (termFormat cb Cutting "pagputol") | terms-cb.txt 379-379 | |
| (termFormat cz Cutting "cutting") | terms-cz.txt 413-413 | |
| (termFormat de Cutting "Schneiden") | terms-de.txt 672-672 | |
| (termFormat ro Cutting "tãiere") | relations-ro.kif 863-863 | |
| (termFormat tg Cutting "pagputol") | terms-tg.txt 378-378 |
| antecedent |
|
|
| (=> (and (instance ?B Blade) (instance ?CUT Cutting) (instance ?OBJ Object) (instrument ?CUT ?B) (patient ?CUT ?OBJ)) (meetsSpatially ?B ?OBJ)) |
Mid-level-ontology.kif 23661-23668 | |
| (=> (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 19721-19755 |
| 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 12394-12403 | |
| (=> (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 11934-11946 | |
| (=> (instance ?D Drill) (hasPurpose ?D (exists (?E ?H) (and (instance ?E Cutting) (instance ?H HoleRegion) (result ?E ?H) (instrument ?E ?D))))) |
Mid-level-ontology.kif 19684-19692 | |
| (=> (instance ?F FinishedLumber) (exists (?C ?P) (and (instance ?C Cutting) (instrument ?C ?P) (instance ?P Planer) (result ?C ?F)))) |
Economy.kif 5904-5911 | |
| (=> (instance ?FELL Felling) (exists (?C ?F ?T ?S) (and (instance ?C Cutting) (patient ?C ?T) (instance ?T BotanicalTree) (result ?C ?F) (instance ?F Falling) (patient ?F ?S) (instance ?S PlantStem) (part ?S ?T)))) |
Economy.kif 5814-5825 | |
| (=> (instance ?L Lumber) (exists (?C ?T) (and (instance ?C Cutting) (result ?C ?L) (patient ?C ?T) (instance ?T Lumber)))) |
Economy.kif 5865-5872 | |
| (=> (instance ?PLANER Planer) (hasPurpose ?PLANER (exists (?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2) (and (instance ?CUT Cutting) (instrument ?CUT ?PLANER) (resource ?CUT ?OBJ1) (instance ?OBJ1 Object) (material ?OBJ1 Wood) (result ?CUT ?OBJ2) (instance ?OBJ2 Object) (material Wood ?OBJ2) (attribute ?OBJ2 Flat) (instance ?U UnitOfLength) (height ?OBJ1 (MeasureFn ?H1 ?U)) (height ?OBJ2 (MeasureFn ?H2 ?U)) (greaterThan ?H1 ?H2))))) |
Economy.kif 6415-6434 | |
| (=> (instance ?R RoughSawnLumber) (not (exists (?C ?P) (and (instance ?C Cutting) (instrument ?C ?P) (instance ?P Planer) (patient ?C ?R))))) |
Economy.kif 5890-5898 | |
| (=> (instance ?X CuttingDevice) (capability Cutting ?X instrument)) |
Mid-level-ontology.kif 23641-23643 | |
| (=> (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 19761-19769 |
| statement |
|
|
| (decreasesLikelihood (exists (?X ?CUT ?PAPER ?CBO ?INFO) (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER) (located ?CBO ?PAPER) (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO))) (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ))))) |
Mid-level-ontology.kif 19773-19790 |
|
|
|