Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CuttingDevice
|
|
|
| appearance as argument number 1 |
|
|
| (subclass CuttingDevice Device) | Mid-level-ontology.kif 24285-24285 | Cutting device is a subclass of device |
| (documentation CuttingDevice EnglishLanguage "Any Device whose purpose is Cutting something else. This class covers knives of all times, axes, saws, razors, chisels etc.") | Mid-level-ontology.kif 24286-24287 | Cutting device is a subclass of device |
| (externalImage CuttingDevice "http://upload.wikimedia.org/wikipedia/commons/ e/ e1/ Scissors.jpg") | pictureList.kif 162-162 | Cutting device is a subclass of device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (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 |
| (=> (instance ?B Blade) (exists (?CD) (and (instance ?CD CuttingDevice) (part ?B ?CD)))) |
Mid-level-ontology.kif 24303-24308 | If X is an instance of blade, then there exists Y such that Y is an instance of cutting device and X is a part of Y |
|
