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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BodyMotion
BodyMotion

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 10243-10244
(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 10241-10241

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


(subclass Ambulating BodyMotion) Merge.kif 10285-10285
(subclass Chewing BodyMotion) Mid-level-ontology.kif 9774-9774
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4849-4849
(subclass Dancing BodyMotion) Merge.kif 10330-10330
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 17757-17757
(subclass Dodging BodyMotion) Mid-level-ontology.kif 603-603
(subclass Ducking BodyMotion) Mid-level-ontology.kif 10726-10726
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1339-1339
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 17697-17697
(subclass Gesture BodyMotion) Merge.kif 12024-12024
(subclass Inclining BodyMotion) Mid-level-ontology.kif 10702-10702
(subclass Indicating BodyMotion) Mid-level-ontology.kif 1398-1398
(subclass Jumping BodyMotion) Mid-level-ontology.kif 720-720
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 17643-17643
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 17618-17618
(subclass Mounting BodyMotion) Mid-level-ontology.kif 624-624
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 17727-17727
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 17663-17663
(subclass Somersaulting BodyMotion) Mid-level-ontology.kif 734-734
(subclass StandingUp BodyMotion) Mid-level-ontology.kif 17680-17680
(subclass Stepping BodyMotion) Mid-level-ontology.kif 641-641
(subclass Swimming BodyMotion) Merge.kif 10315-10315
(subclass Throwing BodyMotion) Mid-level-ontology.kif 14632-14632
(subclass Trembling BodyMotion) Mid-level-ontology.kif 17738-17738
(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 10257-10263
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))
Merge.kif 10266-10271

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 28387-28398
(=>
    (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 1183-1193
(=>
    (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 1497-1507
(=>
    (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 16612-16622
(=>
    (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 10089-10102


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