Motion(motion) more pictures... |
appearance as argument number 1 |
(documentation Motion ChineseLanguage "任何移动的 Process。") | chinese_format.kif 2997-2997 | |
(documentation Motion EnglishLanguage "Any Process of movement.") | Merge.kif 11015-11015 | |
(documentation Motion JapaneseLanguage "任意の移動 Process。") | japanese_format.kif 1757-1757 | |
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/0/08/ Walschaerts_motion.gif") | pictureList.kif 11457-11457 | |
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/2/24/ Truck_with_motion_blur.jpg") | pictureList.kif 11462-11462 | |
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/5/51/ Billy_wagner_motion_2004.jpg") | pictureList.kif 11465-11465 | |
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/6/60/ Giraffe_in_motion%2C_Bots.jpg") | pictureList.kif 11460-11460 | |
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/6/6b/ Leaving_Yongsan_Station.jpg") | pictureList.kif 10134-10134 | |
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/6/6d/ Translational_motion.gif") | pictureList.kif 11456-11456 | |
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/7/73/ The_Horse_in_Motion.jpg") | pictureList.kif 11463-11463 | |
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/b/bc/ London_Underground_in_motion.jpg") | pictureList.kif 11459-11459 | |
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/c/cc/ Carousel_in_motion.jpg") | pictureList.kif 11458-11458 | |
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/d/da/ Galahs_flying_motion_blur.jpg") | pictureList.kif 11461-11461 | |
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/f/fe/ Fingers_and_thumb_in_circle_downward_motion.jpg") | pictureList.kif 11464-11464 | |
(subclass Motion Process) | Merge.kif 11013-11013 | Motion は 工程 の subclass では %n |
appearance as argument number 2 |
appearance as argument number 3 |
(domain moves 1 Motion) | Merge.kif 10979-10979 | moves の数値 1 引数は motion の instance では %n |
(domain path 1 Motion) | Merge.kif 11075-11075 | path の数値 1 引数は motion の instance では %n |
(domain windDrivenMotion 2 Motion) | Weather.kif 328-328 | windDrivenMotion の数値 2 引数は motion の instance では %n |
antecedent |
(=> (and (instance ?C Clutch) (instance ?A Automobile) (instance ?E Engine) (instance ?G Gearbox) (instance ?GEAR Gear) (part ?GEAR ?G) (part ?G ?A) (part ?C ?A) (part ?E ?A) (instance ?M Motion) (patient ?M ?E) (attribute ?C DeviceOff)) (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2)))) |
Cars.kif 1838-1856 |
|
(=> (and (instance ?C Clutch) (instance ?A Automobile) (instance ?E Engine) (instance ?G Gearbox) (instance ?GEAR Gear) (part ?GEAR ?G) (part ?G ?A) (part ?C ?A) (part ?E ?A) (instance ?M Motion) (patient ?M ?E) (attribute ?C DeviceOn)) (not (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2))))) |
Cars.kif 1817-1836 |
|
(=> (and (instance ?E Motion) (instance ?T Tremor) (instance ?D Damper) (patient ?T ?O) (part ?D ?O) (causes ?E ?T) (instance ?U UnitOfLength) (holdsDuring (WhenFn ?E) (physicalAmplitude ?T (MeasureFn ?A1 ?U))) (holdsDuring (ImmediateFutureFn ?E) (physicalAmplitude ?T (MeasureFn ?A2 ?U)))) (greaterThan ?A1 ?A2)) |
Cars.kif 777-792 |
|
(=> (and (instance ?FB FanBelt) (instance ?EF EngineFan) (instance ?A Automobile) (part ?FB ?A) (part ?EF ?A) (instance ?M Motion) (patient ?M ?FB)) (hasPurpose ?FB (exists (?M2) (and (instance ?M2 Rotating) (causes ?M ?M2) (patient ?M2 ?EF))))) |
Cars.kif 2730-2744 |
|
(=> (and (instance ?GUIDE GuidingMotion) (patient ?GUIDE ?MOVED) (subProcess ?MOTION ?GUIDE) (instance ?MOTION Motion)) (patient ?MOTION ?MOVED)) |
ComputerInput.kif 85-91 | |
(=> (and (instance ?GUIDE GuidingMotion) (subProcess ?MOTION ?GUIDE) (instance ?MOTION Motion) (patient ?MOTION ?MOVED)) (patient ?GUIDE ?MOVED)) |
ComputerInput.kif 93-99 | |
(=> (and (instance ?L Lever) (instance ?P Pushing) (instance ?M1 Motion) (instance ?U UnitOfLength) (destination ?P ?E1) (physicalEnd ?E1 ?L) (physicalEnd ?E2 ?L) (not (equal ?E1 ?E2)) (holdsDuring (ImmediatePastFn (WhenFn ?M1)) (located ?E1 ?P1)) (holdsDuring (ImmediateFutureFn (WhenFn ?M1)) (located ?E1 ?P2)) (holdsDuring (ImmediatePastFn (WhenFn ?M1)) (located ?E2 ?P3)) (holdsDuring (ImmediateFutureFn (WhenFn ?M1)) (located ?E2 ?P4)) (distance ?P1 ?P2 (MeasureFn ?D1 ?U)) (distance ?P3 ?P4 (MeasureFn ?D2 ?U))) (greaterThan ?D2 ?D1)) |
Mid-level-ontology.kif 1332-1355 |
|
(=> (and (instance ?MOTION Motion) (moves ?MOTION ?OBJ) (destination ?MOTION ?PLACE)) (holdsDuring (EndFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE))) |
Merge.kif 11052-11057 | |
(=> (and (instance ?MOTION Motion) (moves ?MOTION ?OBJ) (origin ?MOTION ?PLACE)) (holdsDuring (BeginFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE))) |
Merge.kif 11036-11041 | |
(=> (and (instance ?PIPE CrudeOilPipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?OIL)) (instance ?OIL Petroleum)) |
Transportation.kif 801-807 | |
(=> (and (instance ?PIPE NaturalGasPipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?GAS)) (instance ?GAS NaturalGas)) |
Transportation.kif 813-819 |
|
(=> (and (instance ?PIPE PetroleumProductPipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?STUFF)) (instance ?STUFF PetroleumProduct)) |
Transportation.kif 826-832 |
|
(=> (and (instance ?PIPE Pipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?STUFF)) (instance ?STUFF (ExtensionFn Fluid))) |
Transportation.kif 777-783 | |
(=> (instance ?MOTION Motion) (exists (?OBJ) (and (instance ?OBJ Object) (moves ?MOTION ?OBJ)))) |
Merge.kif 11018-11023 |
consequent |