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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Motion
Motion(Movimento)
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 11037-11037
(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 11035-11035 Movimento è una sottoclasse di Processo

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


(range FlowFn Motion) Geography.kif 4894-4894 rango di FlowFn è un'istanza di Movimento
(subclass BodyMotion Motion) Merge.kif 11116-11116 MovimentoCorporeo è una sottoclasse di Movimento
(subclass Closing Motion) Mid-level-ontology.kif 21525-21525 Closing è una sottoclasse di Movimento
(subclass Compressing Motion) Cars.kif 1988-1988 Compressing è una sottoclasse di Movimento
(subclass DirectionChange Motion) Merge.kif 11296-11296 CambioDiDirezione è una sottoclasse di Movimento
(subclass EngineCranking Motion) Cars.kif 2214-2214 EngineCranking è una sottoclasse di Movimento
(subclass EngineCycle Motion) Cars.kif 80-80 EngineCycle è una sottoclasse di Movimento
(subclass FourStrokeCombustion Motion) Cars.kif 202-202 FourStrokeCombustion è una sottoclasse di Movimento
(subclass FourStrokeCompression Motion) Cars.kif 186-186 FourStrokeCompression è una sottoclasse di Movimento
(subclass FourStrokeExhaust Motion) Cars.kif 219-219 FourStrokeExhaust è una sottoclasse di Movimento
(subclass FourStrokeIntake Motion) Cars.kif 166-166 FourStrokeIntake è una sottoclasse di Movimento
(subclass GasMotion Motion) Merge.kif 11266-11266 GasMotion è una sottoclasse di Movimento
(subclass GeologicalProcess Motion) Merge.kif 11211-11211 GeologicalProcess è una sottoclasse di Movimento
(subclass Irrigating Motion) Geography.kif 5706-5706 Irrigating è una sottoclasse di Movimento
(subclass LiquidMotion Motion) Merge.kif 11242-11242 LiquidMotion è una sottoclasse di Movimento
(subclass MotionDownward Motion) Merge.kif 11087-11087 MotionDownward è una sottoclasse di Movimento
(subclass MotionUpward Motion) Merge.kif 11081-11081 MotionUpward è una sottoclasse di Movimento
(subclass Opening Motion) Mid-level-ontology.kif 21518-21518 Opening è una sottoclasse di Movimento
(subclass Pulling Motion) Mid-level-ontology.kif 17606-17606 Pulling è una sottoclasse di Movimento
(subclass Pushing Motion) Mid-level-ontology.kif 17612-17612 Pushing è una sottoclasse di Movimento
(subclass Radiating Motion) Merge.kif 13667-13667 Radiazione è una sottoclasse di Movimento
(subclass Reversing Motion) Mid-level-ontology.kif 17512-17512 Reversing è una sottoclasse di Movimento
(subclass Rotating Motion) Mid-level-ontology.kif 17440-17440 Rotating è una sottoclasse di Movimento
(subclass Stretching Motion) Mid-level-ontology.kif 17132-17132 Stretching è una sottoclasse di Movimento
(subclass Swarming Motion) Geography.kif 6795-6795 Swarming è una sottoclasse di Movimento

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 11001-11001 Il numero 1 argomenti di moves è un istanza di Movimento
(domain path 1 Motion) Merge.kif 11097-11097 Il numero 1 argomenti di path è un istanza di Movimento
(domain windDrivenMotion 2 Motion) Weather.kif 328-328 Il numero 2 argomenti di windDrivenMotion è un istanza di Movimento

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 1844-1862
(=>
    (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 1823-1842
(=>
    (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 2736-2750
(=>
    (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 11074-11079
(=>
    (and
        (instance ?MOTION Motion)
        (moves ?MOTION ?OBJ)
        (origin ?MOTION ?PLACE))
    (holdsDuring
        (BeginFn
            (WhenFn ?MOTION))
        (located ?OBJ ?PLACE)))		 Merge.kif 11058-11063
(=>
    (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 11040-11045

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 26147-26159
(=>
    (and
        (instance ?ATTR SpeedScaleAttribute)
        (property ?X ?ATTR))
    (instance ?X Motion))		 Weather.kif 2052-2056
(=>
    (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 3416-3426
(=>
    (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 1844-1862
(=>
    (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 1823-1842
(=>
    (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 18149-18183
(=>
    (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 30243-30254
(=>
    (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 2126-2139
(=>
    (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 2698-2714
(=>
    (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 548-564
(=>
    (instance ?GUIDE GuidingMotion)
    (exists (?MOTION)
        (and
            (subProcess ?MOTION ?GUIDE)
            (instance ?MOTION Motion))))		 ComputerInput.kif 71-76
(=>
    (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 1381-1397
(=>
    (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 25282-25297
(=>
    (instance ?X
        (JuiceOfFn ?Y))
    (exists (?Z ?P)
        (and
            (instance ?Z ?Y)
            (instance ?P Motion)
            (resource ?P ?Z)
            (result ?P ?X))))		 Food.kif 2603-2610
(=>
    (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 1247-1264
(=>
    (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 1305-1316


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 is open source software produced by Articulate Software and its partners