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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Motion
Motion(motion)
more pictures...
Alpinism, Brownian_motion, Brownian_movement, Diaspora, El_Nino, El_Nino_southern_oscillation, English, Frankenstein, Gulf_stream, Humboldt_current, Japan_current, K.E., Kuroshio, Kuroshio_current, Peruvian_current, abandonment, abduction, abeyance, abscondment, abseil, absence_without_leave, acceleration, access, access_code, action, active_transport, activeness, activity, address, adduction, adjust, advance, advancement, advancing, aflare, agglomerate, agitate, agitated, agitation, ahorse, ahorseback, air_flow, airflow, align, aline, amplitude, anabatic, anergy, angle, angry...

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


s__documentation(s__Motion,s__ChineseLanguage,'"任何移动的 Process。"')

chinese_format.kif 2997-2997
s__documentation(s__Motion,s__EnglishLanguage,'"Any Process of movement."')

Merge.kif 10571-10571
s__externalImage(s__Motion,'"http://upload.wikimedia.org/wikipedia/commons/0/08/ Walschaerts_motion.gif"')

pictureList.kif 11483-11483
s__externalImage(s__Motion,'"http://upload.wikimedia.org/wikipedia/commons/2/24/ Truck_with_motion_blur.jpg"')

pictureList.kif 11488-11488
s__externalImage(s__Motion,'"http://upload.wikimedia.org/wikipedia/commons/5/51/ Billy_wagner_motion_2004.jpg"')

pictureList.kif 11491-11491
s__externalImage(s__Motion,'"http://upload.wikimedia.org/wikipedia/commons/6/60/ Giraffe_in_motion%2C_Bots.jpg"')

pictureList.kif 11486-11486
s__externalImage(s__Motion,'"http://upload.wikimedia.org/wikipedia/commons/6/6b/ Leaving_Yongsan_Station.jpg"')

pictureList.kif 10154-10154
s__externalImage(s__Motion,'"http://upload.wikimedia.org/wikipedia/commons/6/6d/ Translational_motion.gif"')

pictureList.kif 11482-11482
s__externalImage(s__Motion,'"http://upload.wikimedia.org/wikipedia/commons/7/73/ The_Horse_in_Motion.jpg"')

pictureList.kif 11489-11489
s__externalImage(s__Motion,'"http://upload.wikimedia.org/wikipedia/commons/b/bc/ London_Underground_in_motion.jpg"')

pictureList.kif 11485-11485
s__externalImage(s__Motion,'"http://upload.wikimedia.org/wikipedia/commons/c/cc/ Carousel_in_motion.jpg"')

pictureList.kif 11484-11484
s__externalImage(s__Motion,'"http://upload.wikimedia.org/wikipedia/commons/d/da/ Galahs_flying_motion_blur.jpg"')

pictureList.kif 11487-11487
s__externalImage(s__Motion,'"http://upload.wikimedia.org/wikipedia/commons/f/fe/ Fingers_and_thumb_in_circle_downward_motion.jpg"')

pictureList.kif 11490-11490
s__instance(s__Process,s__SetOrClass)

s__instance(s__Motion,s__SetOrClass)

s__subclass(s__Motion,s__Process)

Merge.kif 10569-10569 Motion is a subclass of process

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


s__range(s__FlowFn__m,s__Motion)

Geography.kif 4680-4680 The range of flow is an instance of motion
s__instance(s__Motion,s__SetOrClass)

s__instance(s__BodyMotion,s__SetOrClass)

s__subclass(s__BodyMotion,s__Motion)

Merge.kif 10651-10651 Body motion is a subclass of motion
s__instance(s__Motion,s__SetOrClass)

s__subclass(s__Closing,s__Motion)

s__instance(s__Closing,s__SetOrClass)

Mid-level-ontology.kif 20487-20487 Closing is a subclass of motion
s__instance(s__Motion,s__SetOrClass)

s__subclass(s__Compressing,s__Motion)

s__instance(s__Compressing,s__SetOrClass)

Cars.kif 1982-1982 Compressing is a subclass of motion
s__subclass(s__DirectionChange,s__Motion)

s__instance(s__Motion,s__SetOrClass)

s__instance(s__DirectionChange,s__SetOrClass)

Merge.kif 10816-10816 Direction change is a subclass of motion
s__instance(s__Motion,s__SetOrClass)

s__subclass(s__EngineCranking,s__Motion)

s__instance(s__EngineCranking,s__SetOrClass)

Cars.kif 2208-2208 Engine cranking is a subclass of motion
s__instance(s__Motion,s__SetOrClass)

s__subclass(s__EngineCycle,s__Motion)

s__instance(s__EngineCycle,s__SetOrClass)

Cars.kif 80-80 EngineCycle is a subclass of motion
s__instance(s__Motion,s__SetOrClass)

s__instance(s__FourStrokeCombustion,s__SetOrClass)

s__subclass(s__FourStrokeCombustion,s__Motion)

Cars.kif 202-202 Four stroke combustion is a subclass of motion
s__instance(s__Motion,s__SetOrClass)

s__subclass(s__FourStrokeCompression,s__Motion)

s__instance(s__FourStrokeCompression,s__SetOrClass)

Cars.kif 186-186 Four stroke compression is a subclass of motion
s__instance(s__FourStrokeExhaust,s__SetOrClass)

s__instance(s__Motion,s__SetOrClass)

s__subclass(s__FourStrokeExhaust,s__Motion)

Cars.kif 219-219 Four stroke exhaust is a subclass of motion
s__instance(s__Motion,s__SetOrClass)

s__subclass(s__FourStrokeIntake,s__Motion)

s__instance(s__FourStrokeIntake,s__SetOrClass)

Cars.kif 166-166 Four stroke intake is a subclass of motion
s__subclass(s__GasMotion,s__Motion)

s__instance(s__Motion,s__SetOrClass)

s__instance(s__GasMotion,s__SetOrClass)

Merge.kif 10800-10800 Gas motion is a subclass of motion
s__instance(s__Motion,s__SetOrClass)

s__instance(s__GeologicalProcess,s__SetOrClass)

s__subclass(s__GeologicalProcess,s__Motion)

Merge.kif 10745-10745 Geological process is a subclass of motion
s__instance(s__Motion,s__SetOrClass)

s__subclass(s__Irrigating,s__Motion)

s__instance(s__Irrigating,s__SetOrClass)

Geography.kif 5488-5488 Irrigating is a subclass of motion
s__instance(s__LiquidMotion,s__SetOrClass)

s__instance(s__Motion,s__SetOrClass)

s__subclass(s__LiquidMotion,s__Motion)

Merge.kif 10776-10776 Liquid motion is a subclass of motion
s__subclass(s__MotionDownward,s__Motion)

s__instance(s__Motion,s__SetOrClass)

s__instance(s__MotionDownward,s__SetOrClass)

Merge.kif 10621-10621 Motion downward is a subclass of motion
s__instance(s__MotionUpward,s__SetOrClass)

s__instance(s__Motion,s__SetOrClass)

s__subclass(s__MotionUpward,s__Motion)

Merge.kif 10615-10615 Motion upward is a subclass of motion
s__instance(s__Motion,s__SetOrClass)

s__subclass(s__Opening,s__Motion)

s__instance(s__Opening,s__SetOrClass)

Mid-level-ontology.kif 20480-20480 Opening is a subclass of motion
s__instance(s__Motion,s__SetOrClass)

s__instance(s__Pulling,s__SetOrClass)

s__subclass(s__Pulling,s__Motion)

Mid-level-ontology.kif 16705-16705 Pulling is a subclass of motion
s__instance(s__Motion,s__SetOrClass)

s__instance(s__Pushing,s__SetOrClass)

s__subclass(s__Pushing,s__Motion)

Mid-level-ontology.kif 16711-16711 Pushing is a subclass of motion
s__instance(s__Motion,s__SetOrClass)

s__instance(s__Radiating,s__SetOrClass)

s__subclass(s__Radiating,s__Motion)

Merge.kif 13022-13022 Radiating is a subclass of motion
s__instance(s__Motion,s__SetOrClass)

s__subclass(s__Reversing,s__Motion)

s__instance(s__Reversing,s__SetOrClass)

Mid-level-ontology.kif 16611-16611 Reversing is a subclass of motion
s__instance(s__Motion,s__SetOrClass)

s__instance(s__Rotating,s__SetOrClass)

s__subclass(s__Rotating,s__Motion)

Mid-level-ontology.kif 16539-16539 Rotating is a subclass of motion
s__instance(s__Motion,s__SetOrClass)

s__subclass(s__Stretching,s__Motion)

s__instance(s__Stretching,s__SetOrClass)

Mid-level-ontology.kif 16233-16233 Stretching is a subclass of motion
s__instance(s__Motion,s__SetOrClass)

s__instance(s__Swarming,s__SetOrClass)

s__subclass(s__Swarming,s__Motion)

Geography.kif 6325-6325 Swarming is a subclass of motion

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


s__domain(s__moves__m,n__1,s__Motion)

Merge.kif 10535-10535 The number 1 argument of moves is an instance of motion
s__domain(s__path__m,n__1,s__Motion)

Merge.kif 10631-10631 The number 1 argument of path is an instance of motion
s__domain(s__windDrivenMotion__m,n__2,s__Motion)

Weather.kif 328-328 The number 2 argument of wind driven motion is an instance of motion

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


( ! [V__A,V__C,V__E,V__GEAR,V__G,V__M] :
   (((s__instance(V__C,s__Clutch) &
         s__instance(V__A,s__Automobile) &
         s__instance(V__E,s__Engine) &
         s__instance(V__G,s__Gearbox) &
         s__instance(V__GEAR,s__Gear) &
         s__part(V__GEAR,V__G)
       &
       s__part(V__G,V__A)
     &
     s__part(V__C,V__A)
   &
   s__part(V__E,V__A)
&
s__instance(V__M,s__Motion) &
s__patient(V__M,V__E)
&
s__attribute(V__C,s__DeviceOff))
=>
(( ? [V__M2] :
((s__instance(V__M2,s__Motion) &
     s__patient(V__M2,V__G)
   &
   s__causes(V__M,V__M2))))))
)
)

Cars.kif 1838-1856
( ! [V__A,V__C,V__E,V__GEAR,V__G,V__M] :
   (((s__instance(V__C,s__Clutch) &
         s__instance(V__A,s__Automobile) &
         s__instance(V__E,s__Engine) &
         s__instance(V__G,s__Gearbox) &
         s__instance(V__GEAR,s__Gear) &
         s__part(V__GEAR,V__G)
       &
       s__part(V__G,V__A)
     &
     s__part(V__C,V__A)
   &
   s__part(V__E,V__A)
&
s__instance(V__M,s__Motion) &
s__patient(V__M,V__E)
&
s__attribute(V__C,s__DeviceOn))
=>
(~(( ? [V__M2] :
   ((s__instance(V__M2,s__Motion) &
       s__patient(V__M2,V__G)
     &
     s__causes(V__M,V__M2)))))))
)
)

Cars.kif 1817-1836
No TPTP formula. May not be expressible in strict first order. Cars.kif 777-792
No TPTP formula. May not be expressible in strict first order. Cars.kif 2730-2744
( ! [V__MOVED,V__MOTION,V__GUIDE] :
   (((s__instance(V__GUIDE,s__GuidingMotion) &
         s__patient(V__GUIDE,V__MOVED)
       &
       s__subProcess(V__MOTION,V__GUIDE)
     &
     s__instance(V__MOTION,s__Motion))
   =>
   (s__patient(V__MOTION,V__MOVED)))
)
)

ComputerInput.kif 107-113
( ! [V__MOVED,V__MOTION,V__GUIDE] :
   (((s__instance(V__GUIDE,s__GuidingMotion) &
         s__subProcess(V__MOTION,V__GUIDE)
       &
       s__instance(V__MOTION,s__Motion) &
       s__patient(V__MOTION,V__MOVED))
   =>
   (s__patient(V__GUIDE,V__MOVED)))
)
)

ComputerInput.kif 115-121
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1272-1295
No TPTP formula. May not be expressible in strict first order. Merge.kif 10608-10613
No TPTP formula. May not be expressible in strict first order. Merge.kif 10592-10597
( ! [V__PIPE,V__MOTION,V__OIL] :
   (((s__instance(V__PIPE,s__CrudeOilPipeline) &
         s__instance(V__MOTION,s__Motion) &
         s__instrument(V__MOTION,V__PIPE)
       &
       s__patient(V__MOTION,V__OIL))
   =>
   (s__instance(V__OIL,s__Petroleum)))
)
)

Transportation.kif 801-807
( ! [V__PIPE,V__GAS,V__MOTION] :
   (((s__instance(V__PIPE,s__NaturalGasPipeline) &
         s__instance(V__MOTION,s__Motion) &
         s__instrument(V__MOTION,V__PIPE)
       &
       s__patient(V__MOTION,V__GAS))
   =>
   (s__instance(V__GAS,s__NaturalGas)))
)
)

Transportation.kif 813-819
( ! [V__PIPE,V__MOTION,V__STUFF] :
   (((s__instance(V__PIPE,s__PetroleumProductPipeline) &
         s__instance(V__MOTION,s__Motion) &
         s__instrument(V__MOTION,V__PIPE)
       &
       s__patient(V__MOTION,V__STUFF))
   =>
   (s__instance(V__STUFF,s__PetroleumProduct)))
)
)

Transportation.kif 826-832
( ! [V__PIPE,V__MOTION,V__STUFF] :
   (((s__instance(V__PIPE,s__Pipeline) &
         s__instance(V__MOTION,s__Motion) &
         s__instrument(V__MOTION,V__PIPE)
       &
       s__patient(V__MOTION,V__STUFF))
   =>
   (s__instance(V__STUFF,s__ExtensionFn(s__Fluid))))
)
)

Transportation.kif 777-783
( ! [V__MOTION] :
   ((s__instance(V__MOTION,s__Motion) =>
       (( ? [V__OBJ] :
           ((s__instance(V__OBJ,s__Object) &
               s__moves(V__MOTION,V__OBJ))))))
   )
)

Merge.kif 10574-10579

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25196-25208
( ! [V__ATTR,V__X] :
   (((s__instance(V__ATTR,s__SpeedScaleAttribute) &
         s__property(V__X,V__ATTR))
     =>
     (s__instance(V__X,s__Motion)))
   )
)

Weather.kif 2049-2053
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3351-3361
( ! [V__A,V__C,V__E,V__GEAR,V__G,V__M] :
   (((s__instance(V__C,s__Clutch) &
         s__instance(V__A,s__Automobile) &
         s__instance(V__E,s__Engine) &
         s__instance(V__G,s__Gearbox) &
         s__instance(V__GEAR,s__Gear) &
         s__part(V__GEAR,V__G)
       &
       s__part(V__G,V__A)
     &
     s__part(V__C,V__A)
   &
   s__part(V__E,V__A)
&
s__instance(V__M,s__Motion) &
s__patient(V__M,V__E)
&
s__attribute(V__C,s__DeviceOff))
=>
(( ? [V__M2] :
((s__instance(V__M2,s__Motion) &
     s__patient(V__M2,V__G)
   &
   s__causes(V__M,V__M2))))))
)
)

Cars.kif 1838-1856
( ! [V__A,V__C,V__E,V__GEAR,V__G,V__M] :
   (((s__instance(V__C,s__Clutch) &
         s__instance(V__A,s__Automobile) &
         s__instance(V__E,s__Engine) &
         s__instance(V__G,s__Gearbox) &
         s__instance(V__GEAR,s__Gear) &
         s__part(V__GEAR,V__G)
       &
       s__part(V__G,V__A)
     &
     s__part(V__C,V__A)
   &
   s__part(V__E,V__A)
&
s__instance(V__M,s__Motion) &
s__patient(V__M,V__E)
&
s__attribute(V__C,s__DeviceOn))
=>
(~(( ? [V__M2] :
   ((s__instance(V__M2,s__Motion) &
       s__patient(V__M2,V__G)
     &
     s__causes(V__M,V__M2)))))))
)
)

Cars.kif 1817-1836
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17216-17250
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29302-29313
( ! [V__ATTR,V__U,V__MAX,V__MIN] :
   (((s__instance(V__ATTR,s__SpeedScaleAttribute) &
         s__instance(V__MAX,s__RealNumber) &
         s__instance(V__MIN,s__RealNumber))
       =>
       (((s__speedScaleAttributeMinMax(V__ATTR,s__MeasureFn(V__MIN,V__U)
          ,s__MeasureFn(V__MAX,V__U))
       &
       s__instance(V__U,s__UnitOfMeasure))
     =>
     (( ? [V__X, V__SPEED] :
         ((s__instance(V__SPEED,s__RealNumber) &
             (s__instance(V__X,s__Motion) &
               s__property(V__X,V__ATTR)
             &
             s__measure(V__X,s__MeasureFn(V__SPEED,V__U))
         &
         s__greaterThanOrEqualTo(V__SPEED,V__MIN)
       &
       s__lessThanOrEqualTo(V__SPEED,V__MAX)))))))))
)
)

Weather.kif 2123-2136
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2636-2652
( ! [V__GUIDE] :
   ((s__instance(V__GUIDE,s__GuidingMotion) =>
       (( ? [V__MOTION] :
           ((s__subProcess(V__MOTION,V__GUIDE)
             &
             s__instance(V__MOTION,s__Motion))))))
   )
)

ComputerInput.kif 93-98
No TPTP formula. May not be expressible in strict first order. Cars.kif 280-289
No TPTP formula. May not be expressible in strict first order. Cars.kif 57-65
No TPTP formula. May not be expressible in strict first order. Cars.kif 1381-1397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24283-24298
( ! [V__X,V__Y] :
   (((s__subclass(V__Y,s__FruitOrVegetable) &
         s__instance(V__Y,s__Class))
       =>
       ((s__instance(V__X,s__JuiceOfFn(V__Y))
       =>
       (( ? [V__Z, V__P] :
           ((s__instance(V__Z,s__Object) &
               (s__instance(V__Z,V__Y)
               &
               s__instance(V__P,s__Motion) &
               s__resource(V__P,V__Z)
             &
             s__result(V__P,V__X)))))))))
)
)

Food.kif 581-588
( ! [V__X] :
   ((s__instance(V__X,s__WaterSkiing) =>
       (( ? [V__HUMAN, V__SKI, V__BOAT, V__LINE, V__WATER, V__TRANS, V__MOTION] :
           ((s__instance(V__LINE,s__Object) &
               (s__instance(V__BOAT,s__WaterVehicle) &
                 s__instance(V__WATER,s__WaterArea) &
                 s__instance(V__SKI,s__WaterSki) &
                 s__eventLocated(V__X,V__WATER)
               &
               s__instance(V__HUMAN,s__Human) &
               s__located(V__HUMAN,V__SKI)
             &
             s__connects(V__LINE,V__HUMAN,V__BOAT)
           &
           s__instance(V__TRANS,s__Transportation) &
           s__instrument(V__TRANS,V__BOAT)
         &
         s__instance(V__MOTION,s__Motion) &
         s__agent(V__MOTION,V__HUMAN)
       &
       s__instrument(V__MOTION,V__SKI)
     &
     s__causes(V__TRANS,V__MOTION)
   &
   s__subProcess(V__MOTION,V__X)))))))
)
)

Sports.kif 1174-1191
( ! [V__X] :
   ((s__instance(V__X,s__WindSurfing) =>
       (( ? [V__BOARD, V__WATER, V__MOTION, V__WIND] :
           ((s__instance(V__BOARD,s__WindSurfingBoard) &
               s__instance(V__WATER,s__WaterArea) &
               s__instance(V__WIND,s__Wind) &
               s__instance(V__MOTION,s__Motion) &
               s__eventLocated(V__X,V__WATER)
             &
             s__subProcess(V__MOTION,V__X)
           &
           s__instrument(V__MOTION,V__BOARD)
         &
         s__causes(V__WIND,V__MOTION))))))
)
)

Sports.kif 1232-1243


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