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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Motion
Motion
more pictures...

VerbNet: other_cos-45.4|agglomerate, modes_of_being_with_motion-47.3|stir, modes_of_being_with_motion-47.3|stir, escape-51.1|ascend, sound_emission-43.2|bang, body_internal_motion-49|flap, run-51.3.2|rush, put-9.1|wharf, entity_specific_modes_being-47.2|roil, run-51.3.2|bounce, run-51.3.2|bounce, escape-51.1|decamp, weather-57|clear, run-51.3.2|rush, modes_of_being_with_motion-47.3|stir, pelt-17.2|buffet, pelt-17.2|buffet, bulge-47.5.3|bulge, run-51.3.2|scram, bulge-47.5.3|bulge, bulge-47.5.3|bulge, shake-22.3|cluster, shake-22.3|cluster, shake-22.3|cluster, appear-48.1.1|burst, run-51.3.2|bustle, run-51.3.2|bustle, run-51.3.2|scram, run-51.3.2|rush, other_cos-45.4|tilt, other_cos-45.4|tilt, other_cos-45.4|capsize, run-51.3.2|carom, meander-47.7|cascade, meander-47.7|cascade, break-45.1|break, run-51.3.2|romp, spray-9.7|jam, entity_specific_modes_being-47.2|roil, fill-9.8|encircle, weather-57|clear, weather-57|clear, sound_emission-43.2|snap, other_cos-45.4|cloud, shake-22.3|cluster, shake-22.3|cluster, run-51.3.2|coast, modes_of_being_with_motion-47.3|undulate, body_internal_motion-49|wobble, body_internal_motion-49|gyrate, ...


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


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

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


(range FlowFn Motion) Geography.kif 4580-4580
(subclass BodyMotion Motion) Merge.kif 10241-10241
(subclass Closing Motion) Mid-level-ontology.kif 19164-19164
(subclass Compressing Motion) Cars.kif 1968-1968
(subclass DirectionChange Motion) Merge.kif 10406-10406
(subclass EngineCranking Motion) Cars.kif 2194-2194
(subclass EngineCycle Motion) Cars.kif 80-80
(subclass FourStrokeCombustion Motion) Cars.kif 202-202
(subclass FourStrokeCompression Motion) Cars.kif 186-186
(subclass FourStrokeExhaust Motion) Cars.kif 219-219
(subclass FourStrokeIntake Motion) Cars.kif 166-166
(subclass GasMotion Motion) Merge.kif 10390-10390
(subclass GeologicalProcess Motion) Merge.kif 10335-10335
(subclass Irrigating Motion) Geography.kif 5383-5383
(subclass LiquidMotion Motion) Merge.kif 10366-10366
(subclass MotionDownward Motion) Merge.kif 10211-10211
(subclass MotionUpward Motion) Merge.kif 10205-10205
(subclass Opening Motion) Mid-level-ontology.kif 19157-19157
(subclass Pulling Motion) Mid-level-ontology.kif 15174-15174
(subclass Pushing Motion) Mid-level-ontology.kif 15180-15180
(subclass Radiating Motion) Merge.kif 12521-12521
(subclass Reversing Motion) Mid-level-ontology.kif 15070-15070
(subclass Rotating Motion) Mid-level-ontology.kif 15000-15000
(subclass Stretching Motion) Mid-level-ontology.kif 14717-14717
(subclass Swarming Motion) Geography.kif 6133-6133

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 10125-10125
(domain path 1 Motion) Merge.kif 10221-10221

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 2714-2728
(=>
    (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 1714-1734
(=>
    (and
        (instance ?MOTION Motion)
        (moves ?MOTION ?OBJ)
        (destination ?MOTION ?PLACE))
    (holdsDuring
        (EndFn
            (WhenFn ?MOTION))
        (located ?OBJ ?PLACE)))
Merge.kif 10198-10203
(=>
    (and
        (instance ?MOTION Motion)
        (moves ?MOTION ?OBJ)
        (origin ?MOTION ?PLACE))
    (holdsDuring
        (BeginFn
            (WhenFn ?MOTION))
        (located ?OBJ ?PLACE)))
Merge.kif 10182-10187
(=>
    (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 10164-10169

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 24148-24160
(=>
    (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 3949-3959
(=>
    (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 28400-28411
(=>
    (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 3158-3174
(=>
    (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 23174-23189
(=>
    (instance ?X
        (JuiceOfFn ?Y))
    (exists (?Z ?P)
        (and
            (instance ?Z ?Y)
            (instance ?P Motion)
            (resource ?P ?Z)
            (result ?P ?X))))
Food.kif 643-650
(=>
    (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 1098-1115
(=>
    (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 1156-1167


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



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