Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Motion
Motion
more pictures...

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


(subclass Motion Process) Merge.kif 11265-11265
(documentation Motion EnglishLanguage "Any Process of movement.") Merge.kif 11267-11267
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/6/6b/ Leaving_Yongsan_Station.jpg") pictureList.kif 10132-10132
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/6/6d/ Translational_motion.gif") pictureList.kif 11449-11449
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/0/08/ Walschaerts_motion.gif") pictureList.kif 11450-11450
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/c/cc/ Carousel_in_motion.jpg") pictureList.kif 11451-11451
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/b/bc/ London_Underground_in_motion.jpg") pictureList.kif 11452-11452
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/6/60/ Giraffe_in_motion%2C_Bots.jpg") pictureList.kif 11453-11453
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/d/da/ Galahs_flying_motion_blur.jpg") pictureList.kif 11454-11454
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/2/24/ Truck_with_motion_blur.jpg") pictureList.kif 11455-11455
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/7/73/ The_Horse_in_Motion.jpg") pictureList.kif 11456-11456
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/f/fe/ Fingers_and_thumb_in_circle_downward_motion.jpg") pictureList.kif 11457-11457
(externalImage Motion "http://upload.wikimedia.org/wikipedia/commons/5/51/ Billy_wagner_motion_2004.jpg") pictureList.kif 11458-11458

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


(subclass MotionUpward Motion) Merge.kif 11311-11311
(subclass MotionDownward Motion) Merge.kif 11317-11317
(subclass BodyMotion Motion) Merge.kif 11346-11346
(subclass GeologicalProcess Motion) Merge.kif 11441-11441
(subclass WeatherProcess Motion) Merge.kif 11449-11449
(subclass LiquidMotion Motion) Merge.kif 11472-11472
(subclass GasMotion Motion) Merge.kif 11496-11496
(subclass DirectionChange Motion) Merge.kif 11555-11555
(subclass Translocation Motion) Merge.kif 11825-11825
(subclass Radiating Motion) Merge.kif 13955-13955
(subclass Compressing Motion) Mid-level-ontology.kif 4176-4176
(subclass Stretching Motion) Mid-level-ontology.kif 18751-18751
(subclass Rotating Motion) Mid-level-ontology.kif 19280-19280
(subclass Reversing Motion) Mid-level-ontology.kif 19433-19433
(subclass Pulling Motion) Mid-level-ontology.kif 19527-19527
(subclass Pushing Motion) Mid-level-ontology.kif 19533-19533
(subclass Opening Motion) Mid-level-ontology.kif 23703-23703
(subclass Closing Motion) Mid-level-ontology.kif 23758-23758
(subclass EngineCycle Motion) Cars.kif 33-33
(subclass FourStrokeIntake Motion) Cars.kif 119-119
(subclass FourStrokeCompression Motion) Cars.kif 139-139
(subclass FourStrokeCombustion Motion) Cars.kif 155-155
(subclass FourStrokeExhaust Motion) Cars.kif 172-172
(subclass TwoStrokeIntake Motion) Cars.kif 410-410
(subclass TwoStrokeCompression Motion) Cars.kif 438-438

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 11231-11231
(domain path 1 Motion) Merge.kif 11327-11327
(domain windDrivenMotion 2 Motion) Weather.kif 300-300

antecedent
-------------------------


(=>
    (instance ?MOTION Motion)
    (exists (?OBJ)
        (and
            (instance ?OBJ Object)
            (moves ?MOTION ?OBJ))))		 Merge.kif 11270-11275
(=>
    (and
        (instance ?MOTION Motion)
        (moves ?MOTION ?OBJ)
        (origin ?MOTION ?PLACE))
    (holdsDuring
        (BeginFn
            (WhenFn ?MOTION))
        (located ?OBJ ?PLACE)))		 Merge.kif 11288-11293
(=>
    (and
        (instance ?MOTION Motion)
        (moves ?MOTION ?OBJ)
        (destination ?MOTION ?PLACE))
    (holdsDuring
        (EndFn
            (WhenFn ?MOTION))
        (located ?OBJ ?PLACE)))		 Merge.kif 11304-11309
(=>
    (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
                (WhenFn ?E))
            (physicalAmplitude ?T
                (MeasureFn ?A2 ?U))))
    (greaterThan ?A1 ?A2))		 Cars.kif 714-731
(=>
    (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 1681-1700
(=>
    (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 1702-1720
(=>
    (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 2568-2582
(=>
    (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 ?PIPE Pipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?STUFF))
    (instance ?STUFF
        (ExtensionFn Fluid)))		 Transportation.kif 777-783
(=>
    (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 ?P Pair)
        (part ?P ?F)
        (instance ?F Airplane)
        (memberType ?P Aileron)
        (member ?LA ?P)
        (instance ?M1 Motion)
        (moves ?M1 ?LA)
        (direction ?M1 ?DIR1)
        (member ?RA ?P)
        (instance ?M2 Motion)
        (not
            (equal ?M1 ?M2))
        (moves ?M2 ?RA)
        (direction ?M2 ?DIR2)
        (not
            (exists (?L)
                (and
                    (instance ?L Landing)
                    (patient ?L ?F)))))
    (oppositeDirection ?DIR1 ?DIR2))		 Transportation.kif 3416-3437
(=>
    (and
        (instance ?P Pair)
        (part ?P ?F)
        (instance ?F Airplane)
        (memberType ?P FlightElevator)
        (member ?LE ?P)
        (instance ?M1 Motion)
        (moves ?M1 ?LE)
        (direction ?M1 ?DIR1)
        (member ?RE ?P)
        (instance ?M2 Motion)
        (not
            (equal ?M1 ?M2))
        (moves ?M2 ?RE)
        (direction ?M2 ?DIR2))
    (equal ?DIR1 ?DIR2))		 Transportation.kif 3535-3551
(=>
    (and
        (instance ?M Motion)
        (moves ?M ?R)
        (instance ?R FlightRudder)
        (part ?R ?P)
        (instance ?P Airplane)
        (direction ?M Right))
    (exists (?X)
        (and
            (yaw ?P
                (MeasureFn ?X AngularDegree))
            (greaterThan ?X 0))))		 Transportation.kif 3646-3657
(=>
    (and
        (instance ?M Motion)
        (moves ?M ?R)
        (instance ?R FlightRudder)
        (part ?R ?P)
        (instance ?P Airplane)
        (direction ?M Left))
    (exists (?X)
        (and
            (yaw ?P
                (MeasureFn ?X AngularDegree))
            (lessThan ?X 0))))		 Transportation.kif 3659-3670

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


(=>
    (instance ?I InternalCombustionEngine)
    (hasPurpose ?I
        (exists (?C ?M ?P)
            (and
                (instance ?C Combustion)
                (instance ?M Motion)
                (part ?P ?I)
                (patient ?M ?P)))))		 Mid-level-ontology.kif 2287-2295
(=>
    (holdsDuring ?T
        (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) ?T)
            (holdsDuring ?T
                (not
                    (modalAttribute
                        (patient ?MOVE ?X) Possibility))))))		 Mid-level-ontology.kif 3299-3314
(=>
    (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 4043-4053
(=>
    (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)))))		 Mid-level-ontology.kif 16867-16883
(=>
    (instance ?MINE LandMine)
    (hasPurpose ?MINE
        (exists (?L ?E ?M ?O)
            (and
                (instance ?L LandArea)
                (located ?MINE ?L)
                (instance ?E Explosion)
                (instrument ?E ?MINE)
                (locatedAtTime ?MINE
                    (WhenFn ?E) ?L)
                (causes ?M ?E)
                (instance ?M Motion)
                (eventLocated ?M ?L)
                (origin ?M ?O)
                (orientation ?O ?MINE On)
                (or
                    (instance ?O Human)
                    (instance ?O LandVehicle))))))		 Mid-level-ontology.kif 19776-19794
(=>
    (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
(=>
    (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 28729-28741
(=>
    (and
        (not
            (instance ?A AutonomousAgent))
        (holdsDuring ?T
            (attribute ?A Motionless)))
    (not
        (exists (?P)
            (and
                (instance ?P Motion)
                (patient ?P ?A)
                (during
                    (WhenFn ?P) ?T)))))		 Mid-level-ontology.kif 32889-32900
(=>
    (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 233-242
(=>
    (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 1681-1700
(=>
    (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 1702-1720
(=>
    (instance ?GUIDE GuidingMotion)
    (exists (?MOTION)
        (and
            (subProcess ?MOTION ?GUIDE)
            (instance ?MOTION Motion))))		 ComputerInput.kif 71-76
(=>
    (instance ?X
        (JuiceOfFn ?Y))
    (exists (?Z ?P)
        (and
            (instance ?Z ?Y)
            (instance ?P Motion)
            (resource ?P ?Z)
            (result ?P ?X))))		 Food.kif 2628-2635
(=>
    (instance ?C Catheter)
    (hasPurpose ?C
        (exists (?M ?O ?OBJ ?L)
            (and
                (instance ?O Organism)
                (instance ?M Motion)
                (moves ?M ?OBJ)
                (orientation ?L ?O Outside)
                (path ?M ?C)
                (or
                    (and
                        (origin ?M ?L)
                        (destination ?M ?O))
                    (and
                        (origin ?M ?O)
                        (destination ?M ?L)))))))		 Medicine.kif 525-541
(=>
    (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 1274-1291
(=>
    (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 1332-1343
(=>
    (and
        (roll ?P
            (MeasureFn 0 AngularDegree))
        (instance ?P Airplane)
        (part ?A ?P)
        (instance ?A Aileron))
    (not
        (exists (?M)
            (and
                (instance ?M Motion)
                (moves ?M ?A)))))		 Transportation.kif 3601-3611
(=>
    (and
        (instance ?ATTR SpeedScaleAttribute)
        (property ?X ?ATTR))
    (instance ?X Motion))		 Weather.kif 3323-3327
(=>
    (and
        (speedScaleAttributeMinMax ?ATTR
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U))
        (instance ?U UnitOfMeasure))
    (exists (?X ?SPEED)
        (and
            (instance ?X Motion)
            (property ?X ?ATTR)
            (measure ?X
                (MeasureFn ?SPEED ?U))
            (greaterThanOrEqualTo ?SPEED ?MIN)
            (lessThanOrEqualTo ?SPEED ?MAX))))		 Weather.kif 3397-3410
(=>
    (instance ?X ElectroMechanicalFitting)
    (hasPurpose ?X
        (exists (?M ?E ?D)
            (and
                (instance ?M Motion)
                (instance ?E Electricity)
                (resource ?M ?E)
                (instrument ?M ?X)
                (patient ?M ?D)
                (instance ?D Machine)))))		 engineering.kif 1026-1036
(=>
    (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)))))))		 engineering.kif 1375-1390


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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners