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 是一个 BodyPart 的 Motion。") chinese_format.kif 3002-3003
(documentation BodyMotion EnglishLanguage "Any Motion where the agent is an Organism and the patient is a BodyPart.") Merge.kif 10367-10368
(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 10365-10365 subclass BodyMotion and Motion

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


(subclass Ambulating BodyMotion) Merge.kif 10409-10409 subclass Ambulating and BodyMotion
(subclass Chewing BodyMotion) Mid-level-ontology.kif 9769-9769 subclass Chewing and BodyMotion
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4855-4855 subclass Crawling and BodyMotion
(subclass Dancing BodyMotion) Merge.kif 10454-10454 subclass Dancing and BodyMotion
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 17783-17783 subclass Dismounting and BodyMotion
(subclass Dodging BodyMotion) Mid-level-ontology.kif 603-603 subclass Dodging and BodyMotion
(subclass Ducking BodyMotion) Mid-level-ontology.kif 10752-10752 subclass Ducking and BodyMotion
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1340-1340 subclass EmotionalBodilyMovementBehavior and BodyMotion
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 17723-17723 subclass EyeMotion and BodyMotion
(subclass Gesture BodyMotion) Merge.kif 12142-12142 subclass Gesture and BodyMotion
(subclass Inclining BodyMotion) Mid-level-ontology.kif 10728-10728 subclass Inclining and BodyMotion
(subclass Indicating BodyMotion) Mid-level-ontology.kif 1404-1404 subclass Indicating and BodyMotion
(subclass Jumping BodyMotion) Mid-level-ontology.kif 720-720 subclass Jumping and BodyMotion
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 17669-17669 subclass KneelingDown and BodyMotion
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 17644-17644 subclass LyingDown and BodyMotion
(subclass Mounting BodyMotion) Mid-level-ontology.kif 624-624 subclass Mounting and BodyMotion
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 17753-17753 subclass Shrugging and BodyMotion
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 17689-17689 subclass SittingDown and BodyMotion
(subclass Somersaulting BodyMotion) Mid-level-ontology.kif 734-734 subclass Somersaulting and BodyMotion
(subclass StandingUp BodyMotion) Mid-level-ontology.kif 17706-17706 subclass StandingUp and BodyMotion
(subclass Stepping BodyMotion) Mid-level-ontology.kif 641-641 subclass Stepping and BodyMotion
(subclass Swimming BodyMotion) Merge.kif 10439-10439 subclass Swimming and BodyMotion
(subclass Throwing BodyMotion) Mid-level-ontology.kif 14658-14658 subclass Throwing and BodyMotion
(subclass Trembling BodyMotion) Mid-level-ontology.kif 17764-17764 subclass Trembling and BodyMotion
(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 10381-10387
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))		 Merge.kif 10390-10395

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 28423-28434
(=>
    (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 16732-16742
(=>
    (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 10084-10097


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