Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Motion

Sigma KEE - Motion
Motion(运动)
more pictures...

appearance as argument number 1
-------------------------


(documentation Motion ChineseLanguage "任何移动的 Process。") Merge.kif 10975-10975
(documentation Motion EnglishLanguage "Any Process of movement.") Merge.kif 10974-10974
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/0/08/ Walschaerts_motion.gif") pictureList.kif 11484-11484 externalImage 运动 and "http://upload.wikimedia.org/wikipedia/commons/0/08/ Walschaerts_motion.gif"
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/2/24/ Truck_with_motion_blur.jpg") pictureList.kif 11489-11489 externalImage 运动 and "http://upload.wikimedia.org/wikipedia/commons/2/24/ Truck_with_motion_blur.jpg"
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/5/51/ Billy_wagner_motion_2004.jpg") pictureList.kif 11492-11492 externalImage 运动 and "http://upload.wikimedia.org/wikipedia/commons/5/51/ Billy_wagner_motion_2004.jpg"
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/6/60/ Giraffe_in_motion%2C_Bots.jpg") pictureList.kif 11487-11487 externalImage 运动 and "http://upload.wikimedia.org/wikipedia/commons/6/60/ Giraffe_in_motion%2C_Bots.jpg"
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/6/6b/ Leaving_Yongsan_Station.jpg") pictureList.kif 10155-10155 externalImage 运动 and "http://upload.wikimedia.org/wikipedia/commons/6/6b/ Leaving_Yongsan_Station.jpg"
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/6/6d/ Translational_motion.gif") pictureList.kif 11483-11483 externalImage 运动 and "http://upload.wikimedia.org/wikipedia/commons/6/6d/ Translational_motion.gif"
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/7/73/ The_Horse_in_Motion.jpg") pictureList.kif 11490-11490 externalImage 运动 and "http://upload.wikimedia.org/wikipedia/commons/7/73/ The_Horse_in_Motion.jpg"
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/b/bc/ London_Underground_in_motion.jpg") pictureList.kif 11486-11486 externalImage 运动 and "http://upload.wikimedia.org/wikipedia/commons/b/bc/ London_Underground_in_motion.jpg"
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/c/cc/ Carousel_in_motion.jpg") pictureList.kif 11485-11485 externalImage 运动 and "http://upload.wikimedia.org/wikipedia/commons/c/cc/ Carousel_in_motion.jpg"
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/d/da/ Galahs_flying_motion_blur.jpg") pictureList.kif 11488-11488 externalImage 运动 and "http://upload.wikimedia.org/wikipedia/commons/d/da/ Galahs_flying_motion_blur.jpg"
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/f/fe/ Fingers_and_thumb_in_circle_downward_motion.jpg") pictureList.kif 11491-11491 externalImage 运动 and "http://upload.wikimedia.org/wikipedia/commons/f/fe/ Fingers_and_thumb_in_circle_downward_motion.jpg"
(subclass Motion Process) Merge.kif 10973-10973 运动过程subclass

appearance as argument number 2
-------------------------


(range FlowFn Motion) Geography.kif 4566-4566 FlowFnrange运动 的实例
(subclass BodyMotion Motion) Merge.kif 11057-11057 身体运动运动subclass
(subclass Closing Motion) Mid-level-ontology.kif 19163-19163 Closing运动subclass
(subclass Compressing Motion) Cars.kif 1968-1968 Compressing运动subclass
(subclass DirectionChange Motion) Merge.kif 11239-11239 方向改变运动subclass
(subclass EngineCranking Motion) Cars.kif 2194-2194 EngineCranking运动subclass
(subclass EngineCycle Motion) Cars.kif 80-80 EngineCycle运动subclass
(subclass FourStrokeCombustion Motion) Cars.kif 202-202 FourStrokeCombustion运动subclass
(subclass FourStrokeCompression Motion) Cars.kif 186-186 FourStrokeCompression运动subclass
(subclass FourStrokeExhaust Motion) Cars.kif 219-219 FourStrokeExhaust运动subclass
(subclass FourStrokeIntake Motion) Cars.kif 166-166 FourStrokeIntake运动subclass
(subclass GasMotion Motion) Merge.kif 11222-11222 GasMotion运动subclass
(subclass GeologicalProcess Motion) Merge.kif 11162-11162 GeologicalProcess运动subclass
(subclass Irrigating Motion) Geography.kif 5367-5367 Irrigating运动subclass
(subclass LiquidMotion Motion) Merge.kif 11196-11196 LiquidMotion运动subclass
(subclass MotionDownward Motion) Merge.kif 11026-11026 MotionDownward运动subclass
(subclass MotionUpward Motion) Merge.kif 11020-11020 MotionUpward运动subclass
(subclass Opening Motion) Mid-level-ontology.kif 19156-19156 Opening运动subclass
(subclass Pulling Motion) Mid-level-ontology.kif 15174-15174 Pulling运动subclass
(subclass Pushing Motion) Mid-level-ontology.kif 15180-15180 Pushing运动subclass
(subclass Radiating Motion) Merge.kif 13613-13613 辐射运动subclass
(subclass Reversing Motion) Mid-level-ontology.kif 15070-15070 Reversing运动subclass
(subclass Rotating Motion) Mid-level-ontology.kif 15000-15000 Rotating运动subclass
(subclass Stretching Motion) Mid-level-ontology.kif 14717-14717 Stretching运动subclass
(subclass Swarming Motion) Geography.kif 6117-6117 Swarming运动subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain moves 1 Motion) Merge.kif 10938-10938 moves 的 1 数量 是 运动instance
(domain path 1 Motion) Merge.kif 11036-11036 路径 的 1 数量 是 运动instance

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 1833-1851
(=>
    (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 1812-1831
(=>
    (and
        (instance ?E Motion)
        (instance ?T Tremor)
        (instance ?D Damper)
        (patient ?T ?O)
        (part ?D ?O)
        (causes ?E ?T)
        (holdsDuring
            (WhenFn ?E)
            (physicalAmplitude ?T ?A1))
        (holdsDuring
            (ImmediateFutureFn ?E)
            (physicalAmplitude ?T ?A2)))
    (greaterThan ?A1 ?A2))
Cars.kif 773-785
(=>
    (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 2711-2725
(=>
    (and
        (instance ?GUIDE GuidingMotion)
        (patient ?GUIDE ?MOVED)
        (subProcess ?MOTION ?GUIDE)
        (instance ?MOTION Motion))
    (patient ?MOTION ?MOVED))
ComputerInput.kif 106-112
(=>
    (and
        (instance ?GUIDE GuidingMotion)
        (subProcess ?MOTION ?GUIDE)
        (instance ?MOTION Motion)
        (patient ?MOTION ?MOVED))
    (patient ?GUIDE ?MOVED))
ComputerInput.kif 114-120
(=>
    (and
        (instance ?L Lever)
        (instance ?P Pushing)
        (instance ?M1 Motion)
        (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 ?D1)
        (distance ?P3 ?P4 ?D2))
    (greaterThan ?D2 ?D1))
Mid-level-ontology.kif 1719-1739
(=>
    (and
        (instance ?MOTION Motion)
        (moves ?MOTION ?OBJ)
        (destination ?MOTION ?PLACE))
    (holdsDuring
        (EndFn
            (WhenFn ?MOTION))
        (located ?OBJ ?PLACE)))
Merge.kif 11012-11017
(=>
    (and
        (instance ?MOTION Motion)
        (moves ?MOTION ?OBJ)
        (origin ?MOTION ?PLACE))
    (holdsDuring
        (BeginFn
            (WhenFn ?MOTION))
        (located ?OBJ ?PLACE)))
Merge.kif 10996-11001
(=>
    (and
        (instance ?PIPE CrudeOilPipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?OIL))
    (instance ?OIL Petroleum))
Transportation.kif 790-796
(=>
    (and
        (instance ?PIPE NaturalGasPipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?GAS))
    (instance ?GAS NaturalGas))
Transportation.kif 802-808
(=>
    (and
        (instance ?PIPE PetroleumProductPipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?STUFF))
    (instance ?STUFF PetroleumProduct))
Transportation.kif 815-821
(=>
    (and
        (instance ?PIPE Pipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?STUFF))
    (instance ?STUFF
        (ExtensionFn Fluid)))
Transportation.kif 766-772
(=>
    (instance ?MOTION Motion)
    (exists (?OBJ)
        (and
            (instance ?OBJ Object)
            (moves ?MOTION ?OBJ))))
Merge.kif 10978-10983

consequent
-------------------------


(=>
    (and
        (attribute ?X WheelchairAccessible)
        (or
            (instance ?X Building)
            (instance ?X Room)))
    (modalAttribute
        (exists (?MOTION ?WHEELCHAIR)
            (and
                (instance ?MOTION Motion)
                (instrument ?MOTION ?WHEELCHAIR)
                (instance ?WHEELCHAIR Wheelchair)
                (eventLocated ?MOTION ?X))) Possibility))
Mid-level-ontology.kif 24147-24159
(=>
    (and
        (instance ?B VehicleBrake)
        (instance ?V Vehicle)
        (part ?B ?V))
    (hasPurpose ?B
        (exists (?S)
            (and
                (instance ?S
                    (StopFn Motion))
                (patient ?S ?V)
                (instrument ?S ?B)))))
Mid-level-ontology.kif 3953-3963
(=>
    (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 1833-1851
(=>
    (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 1812-1831
(=>
    (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 15843-15877
(=>
    (and
        (not
            (instance ?A Agent))
        (holdsDuring ?T
            (attribute ?A Motionless)))
    (not
        (exists (?P)
            (and
                (instance ?P Motion)
                (patient ?P ?A)
                (during
                    (WhenFn ?P) ?T)))))
Mid-level-ontology.kif 28403-28414
(=>
    (attribute ?X Locked)
    (exists (?LOCK ?CLOSE ?MOVE)
        (and
            (instance ?LOCK Lock)
            (connected ?LOCK ?X)
            (instance ?CLOSE Closing)
            (patient ?CLOSE ?LOCK)
            (instance ?MOVE Motion)
            (earlier
                (WhenFn ?CLOSE)
                (WhenFn
                    (attribute ?X Locked)))
            (holdsDuring
                (WhenFn
                    (attribute ?X Locked))
                (not
                    (modalAttribute
                        (patient ?MOVE ?X) Possibility))))))
Mid-level-ontology.kif 3163-3179
(=>
    (instance ?GUIDE GuidingMotion)
    (exists (?MOTION)
        (and
            (subProcess ?MOTION ?GUIDE)
            (instance ?MOTION Motion))))
ComputerInput.kif 92-97
(=>
    (instance ?I IntermittentCombustionEngine)
    (hasPurpose ?I
        (exists (?E ?M)
            (and
                (instance ?E Explosion)
                (instance ?M Motion)
                (eventLocated ?E ?I)
                (eventLocated ?M ?I)
                (causes ?E ?M)))))
Cars.kif 280-289
(=>
    (instance ?I InternalCombustionEngine)
    (hasPurpose ?I
        (exists (?C ?M ?P)
            (and
                (instance ?C Combustion)
                (instance ?M Motion)
                (part ?P ?I)
                (patient ?M ?P)))))
Cars.kif 57-65
(=>
    (instance ?MJ MechanicalJoint)
    (hasPurpose ?MJ
        (exists (?S ?P1 ?P2 ?M)
            (and
                (instance ?M Motion)
                (instance ?S PhysicalSystem)
                (instance ?P1 EngineeringComponent)
                (instance ?P2 EngineeringComponent)
                (part ?P1 PhysicalSystem)
                (part ?MJ PhysicalSystem)
                (part ?P2 PhysicalSystem)
                (not
                    (patient ?M ?P1))
                (patient ?M ?P2)
                (connectedEngineeringComponents ?P1 ?MJ)
                (connectedEngineeringComponents ?P2 ?MJ)))))
Cars.kif 1376-1392
(=>
    (instance ?TUB WhirlpoolTub)
    (exists (?VALVE)
        (and
            (instance ?VALVE PressureControlValve)
            (part ?VALVE ?TUB)
            (hasPurpose ?VALVE
                (exists (?WATER ?CREATION ?MOTION)
                    (and
                        (instance ?WATER Water)
                        (located ?WATER ?TUB)
                        (instance ?CREATION Creation)
                        (instrument ?CREATION ?VALVE)
                        (result ?CREATION ?MOTION)
                        (instance ?MOTION Motion)
                        (located ?MOTION ?WATER)))))))
Mid-level-ontology.kif 23173-23188
(=>
    (instance ?X
        (JuiceOfFn ?Y))
    (exists (?Z ?P)
        (and
            (instance ?Z ?Y)
            (instance ?P Motion)
            (resource ?P ?Z)
            (result ?P ?X))))
Food.kif 644-651
(=>
    (instance ?X WaterSkiing)
    (exists (?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION)
        (and
            (instance ?BOAT WaterVehicle)
            (instance ?WATER WaterArea)
            (instance ?SKI WaterSki)
            (eventLocated ?X ?WATER)
            (instance ?HUMAN Human)
            (located ?HUMAN ?SKI)
            (connects ?LINE ?HUMAN ?BOAT)
            (instance ?TRANS Transportation)
            (instrument ?TRANS ?BOAT)
            (instance ?MOTION Motion)
            (agent ?MOTION ?HUMAN)
            (instrument ?MOTION ?SKI)
            (causes ?TRANS ?MOTION)
            (subProcess ?MOTION ?X))))
Sports.kif 1096-1113
(=>
    (instance ?X WindSurfing)
    (exists (?BOARD ?WATER ?MOTION ?WIND)
        (and
            (instance ?BOARD WindSurfingBoard)
            (instance ?WATER WaterArea)
            (instance ?WIND Wind)
            (instance ?MOTION Motion)
            (eventLocated ?X ?WATER)
            (subProcess ?MOTION ?X)
            (instrument ?MOTION ?BOARD)
            (causes ?WIND ?MOTION))))
Sports.kif 1154-1165


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners