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, body_motion, boggle, bolt, bow, bow_down...

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


(documentation BodyMotion ChineseLanguage "这是当 agent 一个 Organism,而 patient 是一个 BodyPartMotion。") Merge.kif 11060-11061
(documentation BodyMotion EnglishLanguage "Any Motion where the agent is an Organism and the patient is a BodyPart.") Merge.kif 11058-11059
(externalImage BodyMotion "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f5/ Dominik_Klein_jump.jpg/ 250px-Dominik_Klein_jump.jpg") pictureList.kif 1053-1053 "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ f5/ Dominik_Klein_jump.jpg/ 250px-Dominik_Klein_jump.jpg" is a URL depicting body motion
(subclass BodyMotion Motion) Merge.kif 11057-11057 Body motion is a subclass of motion

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


(subclass Ambulating BodyMotion) Merge.kif 11108-11108 Ambulating is a subclass of body motion
(subclass Chewing BodyMotion) Mid-level-ontology.kif 9772-9772 Chewing is a subclass of body motion
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4854-4854 Crawling is a subclass of body motion
(subclass Dancing BodyMotion) Merge.kif 11157-11157 Dancing is a subclass of body motion
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 17756-17756 Dismounting is a subclass of body motion
(subclass Dodging BodyMotion) Mid-level-ontology.kif 604-604 Dodging is a subclass of body motion
(subclass Ducking BodyMotion) Mid-level-ontology.kif 10721-10721 Ducking is a subclass of body motion
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 17696-17696 Eye motion is a subclass of body motion
(subclass Gesture BodyMotion) Merge.kif 13038-13038 Gesture is a subclass of body motion
(subclass Inclining BodyMotion) Mid-level-ontology.kif 10697-10697 Inclining is a subclass of body motion
(subclass Indicating BodyMotion) Mid-level-ontology.kif 1403-1403 Indicating is a subclass of body motion
(subclass Jumping BodyMotion) Mid-level-ontology.kif 721-721 Jumping is a subclass of body motion
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 17642-17642 KneelingDown is a subclass of body motion
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 17617-17617 Lying down is a subclass of body motion
(subclass Mounting BodyMotion) Mid-level-ontology.kif 625-625 Mounting is a subclass of body motion
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 17726-17726 Shrugging is a subclass of body motion
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 17662-17662 Sitting down is a subclass of body motion
(subclass Somersaulting BodyMotion) Mid-level-ontology.kif 735-735 Somersaulting is a subclass of body motion
(subclass StandingUp BodyMotion) Mid-level-ontology.kif 17679-17679 Standing up is a subclass of body motion
(subclass Stepping BodyMotion) Mid-level-ontology.kif 642-642 Stepping is a subclass of body motion
(subclass Swimming BodyMotion) Merge.kif 11141-11141 Swimming is a subclass of body motion
(subclass Throwing BodyMotion) Mid-level-ontology.kif 14632-14632 Throwing is a subclass of body motion
(subclass Trembling BodyMotion) Mid-level-ontology.kif 17737-17737 Trembling is a subclass of body motion
(termFormat ChineseLanguage BodyMotion "身体运动") chinese_format.kif 1114-1114 "身体运动" is the printable form of body motion in ChineseLanguage
(termFormat EnglishLanguage BodyMotion "body motion") english_format.kif 801-801 "body motion" is the printable form of body motion in english language

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 11074-11080
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))
Merge.kif 11083-11088

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 28390-28401
(=>
    (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 1019-1029
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))
Merge.kif 18449-18459
(=>
    (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 10087-10100


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