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...

VerbNet: masquerade-29.6|behave, adopt-93|assume, slide-11.2|move, masquerade-29.6|behave, curtsey-40.3.3|bob, amuse-31.1|boggle, curtsey-40.3.3|bow, appear-48.1.1|break, entity_specific_modes_being-47.2|bristle, body_internal_motion-49|buck, body_internal_motion-49|wobble, carry-11.4|carry, crane-40.3.2|clench, run-51.3.2|climb, crane-40.3.2|cock, escape-51.1|come, escape-51.1|come, body_internal_states-40.6|convulse, flinch-40.5|cower, crane-40.3.2|crane, marvel-31.3|cringe, marvel-31.3|cringe, marvel-31.3|cringe, spatial_configuration-47.6|squat, marry-36.2|nuzzle, coil-9.6|curl, coil-9.6|curl, curtsey-40.3.3|curtsey, curtsey-40.3.3|curtsey, linger-53.1|dawdle, linger-53.1|dawdle, masquerade-29.6|behave, accompany-51.7|guide, marry-36.2|nuzzle, coil-9.6|curl, carry-11.4|carry, escape-51.1|enter, banish-10.2|evacuate, escape-51.1|fall, marvel-31.3|cringe, body_internal_motion-49|fidget, marvel-31.3|cringe, marvel-31.3|cringe, braid-41.2.2|rinse, curtsey-40.3.3|genuflect, hold-15.1|grab, nonverbal_expression-40.2|grimace, marvel-31.3|cringe, accompany-51.7|guide, body_internal_motion-49|buck, ...


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


(documentation BodyMotion ChineseLanguage "这是当 agent 一个 Organism,而 patient 是一个 BodyPartMotion。") chinese_format.kif 3002-3003
(documentation BodyMotion EnglishLanguage "Any Motion where the agent is an Organism and the patient is a BodyPart.") Merge.kif 10334-10335
(externalImage BodyMotion "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f5/ Dominik_Klein_jump.jpg/ 250px-Dominik_Klein_jump.jpg") pictureList.kif 1053-1053
(subclass BodyMotion Motion) Merge.kif 10332-10332 Body motion is a subclass of motion

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


(subclass Ambulating BodyMotion) Merge.kif 10376-10376 Ambulating is a subclass of body motion
(subclass Chewing BodyMotion) Mid-level-ontology.kif 9775-9775 Chewing is a subclass of body motion
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4849-4849 Crawling is a subclass of body motion
(subclass Dancing BodyMotion) Merge.kif 10421-10421 Dancing is a subclass of body motion
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 17758-17758 Dismounting is a subclass of body motion
(subclass Dodging BodyMotion) Mid-level-ontology.kif 603-603 Dodging is a subclass of body motion
(subclass Ducking BodyMotion) Mid-level-ontology.kif 10727-10727 Ducking is a subclass of body motion
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1340-1340 Emotional bodily movement behavior is a subclass of body motion
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 17698-17698 Eye motion is a subclass of body motion
(subclass Gesture BodyMotion) Merge.kif 12115-12115 Gesture is a subclass of body motion
(subclass Inclining BodyMotion) Mid-level-ontology.kif 10703-10703 Inclining is a subclass of body motion
(subclass Indicating BodyMotion) Mid-level-ontology.kif 1398-1398 Indicating is a subclass of body motion
(subclass Jumping BodyMotion) Mid-level-ontology.kif 720-720 Jumping is a subclass of body motion
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 17644-17644 KneelingDown is a subclass of body motion
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 17619-17619 Lying down is a subclass of body motion
(subclass Mounting BodyMotion) Mid-level-ontology.kif 624-624 Mounting is a subclass of body motion
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 17728-17728 Shrugging is a subclass of body motion
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 17664-17664 Sitting down is a subclass of body motion
(subclass Somersaulting BodyMotion) Mid-level-ontology.kif 734-734 Somersaulting is a subclass of body motion
(subclass StandingUp BodyMotion) Mid-level-ontology.kif 17681-17681 Standing up is a subclass of body motion
(subclass Stepping BodyMotion) Mid-level-ontology.kif 641-641 Stepping is a subclass of body motion
(subclass Swimming BodyMotion) Merge.kif 10406-10406 Swimming is a subclass of body motion
(subclass Throwing BodyMotion) Mid-level-ontology.kif 14633-14633 Throwing is a subclass of body motion
(subclass Trembling BodyMotion) Mid-level-ontology.kif 17739-17739 Trembling is a subclass of body motion
(termFormat ChineseLanguage BodyMotion "身体运动") chinese_format.kif 1114-1114

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))
Merge.kif 10348-10354
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))
Merge.kif 10357-10362

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


(=>
    (and
        (instance ?A Agent)
        (holdsDuring ?T
            (attribute ?A Motionless)))
    (not
        (exists (?P)
            (and
                (instance ?P BodyMotion)
                (instance ?P IntentionalProcess)
                (agent ?P ?A)
                (during
                    (WhenFn ?P) ?T)))))
Mid-level-ontology.kif 28399-28410
(=>
    (and
        (instance ?PLT PressingLipsTogether)
        (agent ?PLT ?A))
    (exists (?L ?BM)
        (and
            (instance ?L Lip)
            (part ?L ?A)
            (instance ?BM BodyMotion)
            (patient ?BM ?L)
            (agent ?BM ?A))))
emotion.kif 1184-1194
(=>
    (and
        (instance ?SS StayingStill)
        (experiencer ?SS ?A))
    (not
        (exists (?B ?T)
            (and
                (instance ?B BodyMotion)
                (instance ?T Translocation)
                (causes ?B ?T)
                (agent ?B ?A)))))
emotion.kif 1498-1508
(=>
    (attribute ?ORGANISM Paralysis)
    (exists (?MUSCLE)
        (and
            (instance ?MUSCLE Muscle)
            (part ?MUSCLE ?ORGANISM)
            (not
                (exists (?MOTION)
                    (and
                        (instance ?MOTION BodyMotion)
                        (agent ?MOTION ?ORGANISM)
                        (patient ?MOTION ?MUSCLE)))))))
WMD.kif 1028-1038
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))
Merge.kif 16705-16715
(=>
    (instance ?E Eyelid)
    (hasPurpose ?E
        (exists (?EYE ?P ?C)
            (and
                (instance ?C Covering)
                (instance ?C BodyMotion)
                (instance ?P Human)
                (experiencer ?C ?P)
                (instrument ?C ?E)
                (patient ?C ?EYE)
                (instance ?EYE Eye)
                (part ?EYE ?P)
                (part ?E ?P)))))
Mid-level-ontology.kif 10090-10103


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