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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BodyMotion
BodyMotion(body motion)
V_sign, abduct, abseil, acrobatic_feat, acrobatic_stunt, act, act_involuntarily, act_reflexively, adduct, agape, agaze, akimbo, alight, anadromous, askance, askant, asquint, assume, astraddle, astride, back_circle, backbend, backhand, backhanded, bate, be_active, bear_down, beat, beck, bed, behave, behavior, behaviour, belly_flop, belly_flopper, belly_whop, belly_whopper, bend, bend_over_backwards, betake_oneself, blinking, blow, blunder, bob, body_English, boggle, bolt, bow, bow_down, bowing...

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


s__documentation(s__BodyMotion,s__ChineseLanguage,'"这是当 agent 一个 Organism,而 patient 是一个 BodyPartMotion。"')

chinese_format.kif 3002-3003
s__documentation(s__BodyMotion,s__EnglishLanguage,'"Any Motion where the agent is an Organism and the patient is a BodyPart."')

Merge.kif 10653-10654
s__externalImage(s__BodyMotion,'"http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f5/ Dominik_Klein_jump.jpg/ 250px-Dominik_Klein_jump.jpg"')

pictureList.kif 1053-1053
s__subclass(s__BodyMotion,s__Motion)

s__instance(s__BodyMotion,s__Class)

s__instance(s__Motion,s__Class)

Merge.kif 10651-10651 Body motion is a subclass of motion

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


s__subclass(s__Ambulating,s__BodyMotion)

s__instance(s__BodyMotion,s__Class)

s__instance(s__Ambulating,s__Class)

Merge.kif 10695-10695 Ambulating is a subclass of body motion
s__subclass(s__Chewing,s__BodyMotion)

s__instance(s__BodyMotion,s__Class)

s__instance(s__Chewing,s__Class)

Mid-level-ontology.kif 10768-10768 Chewing is a subclass of body motion
s__instance(s__Crawling,s__Class)

s__subclass(s__Crawling,s__BodyMotion)

s__instance(s__BodyMotion,s__Class)

Mid-level-ontology.kif 4254-4254 Crawling is a subclass of body motion
s__subclass(s__Dancing,s__BodyMotion)

s__instance(s__Dancing,s__Class)

s__instance(s__BodyMotion,s__Class)

Merge.kif 10740-10740 Dancing is a subclass of body motion
s__instance(s__Dismounting,s__Class)

s__subclass(s__Dismounting,s__BodyMotion)

s__instance(s__BodyMotion,s__Class)

Mid-level-ontology.kif 19002-19002 Dismounting is a subclass of body motion
s__instance(s__Dodging,s__Class)

s__subclass(s__Dodging,s__BodyMotion)

s__instance(s__BodyMotion,s__Class)

Mid-level-ontology.kif 416-416 Dodging is a subclass of body motion
s__instance(s__Ducking,s__Class)

s__subclass(s__Ducking,s__BodyMotion)

s__instance(s__BodyMotion,s__Class)

Mid-level-ontology.kif 12315-12315 Ducking is a subclass of body motion
s__instance(s__EmotionalBodilyMovementBehavior,s__Class)

s__subclass(s__EmotionalBodilyMovementBehavior,s__BodyMotion)

s__instance(s__BodyMotion,s__Class)

emotion.kif 1366-1366 Emotional bodily movement behavior is a subclass of body motion
s__subclass(s__Extension,s__BodyMotion)

s__instance(s__BodyMotion,s__Class)

s__instance(s__Extension,s__Class)

Mid-level-ontology.kif 9891-9891 Extension is a subclass of body motion
s__subclass(s__EyeMotion,s__BodyMotion)

s__instance(s__BodyMotion,s__Class)

s__instance(s__EyeMotion,s__Class)

Mid-level-ontology.kif 18942-18942 Eye motion is a subclass of body motion
s__instance(s__BodyMotion,s__Class)

s__instance(s__Flexion,s__Class)

s__subclass(s__Flexion,s__BodyMotion)

Mid-level-ontology.kif 9867-9867 Flexion is a subclass of body motion
s__subclass(s__Gesture,s__BodyMotion)

s__instance(s__BodyMotion,s__Class)

s__instance(s__Gesture,s__Class)

Merge.kif 12469-12469 Gesture is a subclass of body motion
s__subclass(s__HeartBeat,s__BodyMotion)

s__instance(s__HeartBeat,s__Class)

s__instance(s__BodyMotion,s__Class)

Mid-level-ontology.kif 9983-9983 HeartBeat is a subclass of body motion
s__subclass(s__Inclining,s__BodyMotion)

s__instance(s__Inclining,s__Class)

s__instance(s__BodyMotion,s__Class)

Mid-level-ontology.kif 12291-12291 Inclining is a subclass of body motion
s__instance(s__BodyMotion,s__Class)

s__subclass(s__Indicating,s__BodyMotion)

s__instance(s__Indicating,s__Class)

Mid-level-ontology.kif 958-958 Indicating is a subclass of body motion
s__instance(s__Jumping,s__Class)

s__subclass(s__Jumping,s__BodyMotion)

s__instance(s__BodyMotion,s__Class)

Mid-level-ontology.kif 514-514 Jumping is a subclass of body motion
s__subclass(s__KneelingDown,s__BodyMotion)

s__instance(s__KneelingDown,s__Class)

s__instance(s__BodyMotion,s__Class)

Mid-level-ontology.kif 18888-18888 KneelingDown is a subclass of body motion
s__subclass(s__LyingDown,s__BodyMotion)

s__instance(s__BodyMotion,s__Class)

s__instance(s__LyingDown,s__Class)

Mid-level-ontology.kif 18863-18863 Lying down is a subclass of body motion
s__instance(s__Mounting,s__Class)

s__subclass(s__Mounting,s__BodyMotion)

s__instance(s__BodyMotion,s__Class)

Mid-level-ontology.kif 436-436 Mounting is a subclass of body motion
s__subclass(s__MuscleRelaxing,s__BodyMotion)

s__instance(s__MuscleRelaxing,s__Class)

s__instance(s__BodyMotion,s__Class)

Mid-level-ontology.kif 9822-9822 MuscleRelaxing is a subclass of body motion
s__subclass(s__MuscularContraction,s__BodyMotion)

s__instance(s__MuscularContraction,s__Class)

s__instance(s__BodyMotion,s__Class)

Mid-level-ontology.kif 9800-9800 MuscularContraction is a subclass of body motion
s__subclass(s__Scratching,s__BodyMotion)

s__instance(s__Scratching,s__Class)

s__instance(s__BodyMotion,s__Class)

Mid-level-ontology.kif 5375-5375 Scratching is a subclass of body motion
s__instance(s__Shrugging,s__Class)

s__subclass(s__Shrugging,s__BodyMotion)

s__instance(s__BodyMotion,s__Class)

Mid-level-ontology.kif 18972-18972 Shrugging is a subclass of body motion
s__instance(s__SittingDown,s__Class)

s__subclass(s__SittingDown,s__BodyMotion)

s__instance(s__BodyMotion,s__Class)

Mid-level-ontology.kif 18908-18908 Sitting down is a subclass of body motion
s__subclass(s__Somersaulting,s__BodyMotion)

s__instance(s__Somersaulting,s__Class)

s__instance(s__BodyMotion,s__Class)

Mid-level-ontology.kif 528-528 Somersaulting is a subclass of body motion

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9849-9865
( ! [V__BM,V__M] :
   (((s__instance(V__M,s__Muscle) &
         s__instance(V__BM,s__BodyMotion) &
         s__instrument(V__BM,V__M)
       &
       s__instance(V__BM,s__IntentionalProcess))
     =>
     (s__instance(V__M,s__VoluntaryMuscle)))
   )
)

Mid-level-ontology.kif 9695-9701
( ! [V__OBJ,V__MOTION] :
   ((s__instance(V__OBJ,s__Object) =>
       (((s__instance(V__MOTION,s__BodyMotion) &
             s__moves(V__MOTION,V__OBJ))
         =>
         ((s__instance(V__OBJ,s__BodyPart) &
             s__patient(V__MOTION,V__OBJ))))))
)
)

Merge.kif 10667-10673
( ! [V__RMOT,V__R,V__C,V__ROW,V__H,V__RM] :
   (((s__instance(V__RMOT,s__Process) &
         s__instance(V__C,s__Class) &
         s__instance(V__H,s__Agent))
       =>
       (((s__instance(V__R,s__RecreationOrExercise) &
             s__instrument(V__R,V__RM)
           &
           s__instance(V__RM,s__RowingMachine) &
           s__experiencer(V__R,V__H)
         &
         s__instance(V__ROW,s__Rowing) &
         s__subProcess(V__RMOT,V__R)
       &
       s__subclass(V__C,s__BodyMotion) &
       s__instance(V__RMOT,V__C))
   =>
   (( ? [V__ROWMOT] :
       ((s__instance(V__ROWMOT,s__Process) &
           (s__instance(V__ROWMOT,V__C)
           &
           s__subProcess(V__ROWMOT,V__R)
         &
         s__agent(V__ROWMOT,V__H)))))))))
)
)

Mid-level-ontology.kif 7822-7836
( ! [V__MOTION] :
   ((s__instance(V__MOTION,s__BodyMotion) =>
       (( ? [V__AGENT] :
           ((s__instance(V__AGENT,s__Organism) &
               s__agent(V__MOTION,V__AGENT))))))
   )
)

Merge.kif 10676-10681

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29288-29299
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9849-9865
( ! [V__A,V__PLT] :
   ((s__instance(V__A,s__Agent) =>
       (((s__instance(V__PLT,s__PressingLipsTogether) &
             s__agent(V__PLT,V__A))
         =>
         (( ? [V__L, V__BM] :
             ((s__instance(V__L,s__Lip) &
                 s__part(V__L,V__A)
               &
               s__instance(V__BM,s__BodyMotion) &
               s__patient(V__BM,V__L)
             &
             s__agent(V__BM,V__A))))))))
)
)

emotion.kif 1210-1220
( ! [V__A,V__SS] :
   ((s__instance(V__A,s__Agent) =>
       (((s__instance(V__SS,s__StayingStill) &
             s__experiencer(V__SS,V__A))
         =>
         (~(( ? [V__B, V__T] :
               ((s__instance(V__B,s__BodyMotion) &
                   s__instance(V__T,s__Translocation) &
                   s__causes(V__B,V__T)
                 &
                 s__agent(V__B,V__A)))))))))
)
)

emotion.kif 1531-1541
( ! [V__ORGANISM,V__PART] :
   (((s__instance(V__ORGANISM,s__Agent) &
         s__instance(V__PART,s__BodyPart))
       =>
       ((s__attribute(V__ORGANISM,s__ParalysisFn(V__PART))
       =>
       (( ? [V__MUSCLE] :
           ((s__instance(V__MUSCLE,s__Muscle) &
               s__part(V__MUSCLE,V__PART)
             &
             s__part(V__PART,V__ORGANISM)
           &
           ~(( ? [V__MOTION] :
               ((s__instance(V__MOTION,s__BodyMotion) &
                   s__agent(V__MOTION,V__ORGANISM)
                 &
                 s__patient(V__MOTION,V__MUSCLE))))))))))))
)
)

Mid-level-ontology.kif 5979-5992
( ! [V__ORGANISM] :
   ((s__instance(V__ORGANISM,s__Agent) =>
       ((s__attribute(V__ORGANISM,s__Paralysis) =>
           (( ? [V__MUSCLE] :
               ((s__instance(V__MUSCLE,s__Muscle) &
                   s__part(V__MUSCLE,V__ORGANISM)
                 &
                 ~(( ? [V__MOTION] :
                     ((s__instance(V__MOTION,s__BodyMotion) &
                         s__agent(V__MOTION,V__ORGANISM)
                       &
                       s__patient(V__MOTION,V__MUSCLE))))))))))))
)
)

Mid-level-ontology.kif 5958-5969
( ! [V__ANIMAL] :
   ((s__instance(V__ANIMAL,s__Animal) =>
       ((( ? [V__MOTION] :
             ((s__instance(V__MOTION,s__BodyMotion) &
                 s__agent(V__MOTION,V__ANIMAL))))
         |
         ( ? [V__ATTR] :
           ((s__instance(V__ATTR,s__BodyPosition) &
               s__attribute(V__ANIMAL,V__ATTR)))))))
)
)

Merge.kif 17331-17341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11377-11390


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