Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Cutting
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Cutting Poking) | Merge.kif 12629-12629 | Cutting is a subclass of poking |
| (documentation Cutting EnglishLanguage "The subclass of Poking Processes which involve a sharp instrument.") | Merge.kif 12630-12631 | Cutting is a subclass of poking |
| appearance as argument number 2 |
|
|
| (subclass Slicing Cutting) | Mid-level-ontology.kif 24318-24318 | Slicing is a subclass of cutting |
| (subclass Felling Cutting) | Economy.kif 5818-5818 | Felling is a subclass of cutting |
| (termFormat EnglishLanguage Cutting "cutting") | english_format.kif 1549-1549 | Felling is a subclass of cutting |
| antecedent |
|
|
| (=> (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 20084-20118 | If X is an instance of saw, Y is an instance of cutting, X is an instrument for Y, Z is an instance of object, and Z is a patient of Y, then there exist W, V,, , U,, , T,, , S,, , R and Q such that W is an instance of motion and W is a subprocess of Y and Q is an instance of cutting device and Q is a part of X and Q meets Z and Q is a patient of W and R is an instance of timeframe and R is an instance of timeframe and equal the time of existence of W and T and T is a part of S and T is a part of R and V is an instance of directional attribute and U is an instance of directional attribute and entities in the process W are moving V holds during Sentities in the process W are moving U and equal V and U or U is an opposite direction of V and ~{ equal V and U } or ~{ U is an opposite direction of V } holds during R |
| (=> (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER) (located ?CBO ?PAPER)) (modalAttribute (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ)))) Unlikely)) |
Mid-level-ontology.kif 20134-20151 | If All of the following hold: (1) X is an instance of paper shredder (2) Y is an instance of cutting (3) Z is an instance of visual content bearing object (4) Z contains information W (5) X is an instrument for Y (6) V is an instance of paper (7) V is a patient of Y (8) Z is located at V, then the statement there exists U such that U is an instance of interpreting, W is a patient of U, and the time of existence of Y happens earlier than the time of existence of U has the modal force of unlikely |
| (=> (and (instance ?B Blade) (instance ?CUT Cutting) (instance ?OBJ Object) (instrument ?CUT ?B) (patient ?CUT ?OBJ)) (meetsSpatially ?B ?OBJ)) |
Mid-level-ontology.kif 24309-24316 | If X is an instance of blade, Y is an instance of cutting, Z is an instance of object, X is an instrument for Y, and Z is a patient of Y, then X meets Z |
| 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 12545-12554 | If X is an instance of surgery and Y is a patient of X, then there exists Z such that Z is an instance of cutting, Y is an instance of animal, Y is a patient of Z, and Z is a subprocess of X |
| (=> (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 20047-20055 | If X is an instance of drill, then X has the purpose there exist Y, Z such that Y is an instance of cutting, Z is an instance of hole, Z is a result of Y, and X is an instrument for Y |
| (=> (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 20124-20132 | If X is an instance of paper shredder, then X has the purpose there exist Y, Z such that Y is an instance of cutting, X is an instrument for Y, Z is an instance of paper, and Z is a patient of Y |
| (=> (instance ?X CuttingDevice) (capability Cutting ?X instrument)) |
Mid-level-ontology.kif 24289-24291 | If X is an instance of cutting device, then instrument is capable of doing cutting as a X |
| (=> (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 5822-5833 | If X is an instance of felling, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of cutting (3) W is a patient of Y (4) W is an instance of botanical tree (5) Z is a result of Y (6) Z is an instance of falling (7) V is a patient of Z (8) V is an instance of plant stem (9) V is a part of W |
| (=> (instance ?L Lumber) (exists (?C ?T) (and (instance ?C Cutting) (result ?C ?L) (patient ?C ?T) (instance ?T Lumber)))) |
Economy.kif 5874-5881 | If X is an instance of lumber, then there exist Y, Z such that Y is an instance of cutting, X is a result of Y, Z is a patient of Y, and Z is an instance of lumber |
| (=> (instance ?R RoughSawnLumber) (not (exists (?C ?P) (and (instance ?C Cutting) (instrument ?C ?P) (instance ?P Planer) (patient ?C ?R))))) |
Economy.kif 5899-5907 | If X is an instance of rough sawn lumber, then there don't exist Y, Z such that Y is an instance of cutting, Z is an instrument for Y, Z is an instance of planer, and X is a patient of Y |
| (=> (instance ?F FinishedLumber) (exists (?C ?P) (and (instance ?C Cutting) (instrument ?C ?P) (instance ?P Planer) (result ?C ?F)))) |
Economy.kif 5913-5920 | If X is an instance of FinishedLumber, then there exist Y, Z such that Y is an instance of cutting, Z is an instrument for Y, Z is an instance of planer, and X is a result of Y |
| (=> (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 6439-6458 | If X is an instance of planer, then X has the purpose there exist Y, Z,, , W,, , V,, , U and T such that Y is an instance of cutting and X is an instrument for Y and Z is a resource for Y and Z is an instance of object and wood is made of Z and W is a result of Y and W is an instance of object and W is made of wood and flat is an attribute of W and V is an instance of unit of length and the height of Z is U V(s) and the height of W is T V(s) and U is greater than T |
| (=> (instance ?DEVICE GrassMower) (hasPurpose ?DEVICE (exists (?GRASS ?PROC) (and (instance ?PROC Cutting) (instance ?GRASS Grass) (patient ?PROC ?GRASS) (instrument ?PROC ?DEVICE))))) |
HouseholdAppliances.kif 459-467 | If X is an instance of mower, then X has the purpose there exist Y, Z such that Z is an instance of cutting, Y is an instance of grass plant, Y is a patient of Z, and X is an instrument for Z |
| (=> (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 11931-11943 | If barber shops is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of hair (3) Y is a part of Z (4) Z is an instance of human (5) W is an instance of cutting (6) Y is a patient of W (7) W is located at X (8) V is an agent of W (9) X employs V |
|