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


(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 11159-11160
(documentation BodyMotion JapaneseLanguage "agent が Organism で patient が BodyPart である任意の Motion。") japanese_format.kif 1765-1766
(externalImage BodyMotion "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f5/ Dominik_Klein_jump.jpg/ 250px_Dominik_Klein_jump.jpg") pictureList.kif 1052-1052
(subclass BodyMotion Motion) Merge.kif 11157-11157 Body motion is a subclass of motion

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


(subclass Ambulating BodyMotion) Merge.kif 11201-11201 Ambulating is a subclass of body motion
(subclass Blinking BodyMotion) Medicine.kif 435-435 Blinking is a subclass of body motion
(subclass Chewing BodyMotion) Mid-level-ontology.kif 12447-12447 Chewing is a subclass of body motion
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4447-4447 Crawling is a subclass of body motion
(subclass Dancing BodyMotion) Merge.kif 11246-11246 Dancing is a subclass of body motion
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 21088-21088 Dismounting is a subclass of body motion
(subclass Dodging BodyMotion) Mid-level-ontology.kif 438-438 Dodging is a subclass of body motion
(subclass Ducking BodyMotion) Mid-level-ontology.kif 14015-14015 Ducking is a subclass of body motion
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1358-1358 Emotional bodily movement behavior is a subclass of body motion
(subclass Extension BodyMotion) Mid-level-ontology.kif 11515-11515 Extension is a subclass of body motion
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 21028-21028 Eye motion is a subclass of body motion
(subclass Flexion BodyMotion) Mid-level-ontology.kif 11491-11491 Flexion is a subclass of body motion
(subclass Gesture BodyMotion) Merge.kif 13167-13167 Gesture is a subclass of body motion
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 11610-11610 Heart beat is a subclass of body motion
(subclass Inclining BodyMotion) Mid-level-ontology.kif 13991-13991 Inclining is a subclass of body motion
(subclass Indicating BodyMotion) Mid-level-ontology.kif 1010-1010 Indicating is a subclass of body motion
(subclass Jumping BodyMotion) Mid-level-ontology.kif 536-536 Jumping is a subclass of body motion
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 20974-20974 Kneeling down is a subclass of body motion
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 20949-20949 Lying down is a subclass of body motion
(subclass Mounting BodyMotion) Mid-level-ontology.kif 458-458 Mounting is a subclass of body motion
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 11446-11446 Muscle relaxing is a subclass of body motion
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 11424-11424 Muscular contraction is a subclass of body motion
(subclass Scratching BodyMotion) Mid-level-ontology.kif 6263-6263 Scratching is a subclass of body motion
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 21058-21058 Shrugging is a subclass of body motion
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 20994-20994 Sitting down is a subclass of body motion

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?BS1 BodySegment)
        (instance ?BS2 BodySegment)
        (connected ?BS1 ?BS2)
        (instance ?BM BodyMotion)
        (moves ?BM ?BS1))
    (modalAttribute
        (not
            (exists (?BM2)
                (and
                    (instance ?BM2 BodyMotion)
                    (moves ?BM2 ?BS2)
                    (during
                        (WhenFn ?BM2)
                        (WhenFn ?BM))))) Possibility))		 Mid-level-ontology.kif 11473-11489
(=>
    (and
        (instance ?M Muscle)
        (instance ?BM BodyMotion)
        (instrument ?BM ?M)
        (instance ?BM IntentionalProcess))
    (instance ?M VoluntaryMuscle))		 Mid-level-ontology.kif 11300-11306
(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))		 Merge.kif 11173-11179
(=>
    (and
        (instance ?R RecreationOrExercise)
        (instrument ?R ?RM)
        (instance ?RM RowingMachine)
        (experiencer ?R ?H)
        (instance ?ROW Rowing)
        (subProcess ?RMOT ?R)
        (subclass ?C BodyMotion)
        (instance ?RMOT ?C))
    (exists (?ROWMOT)
        (and
            (instance ?ROWMOT ?C)
            (subProcess ?ROWMOT ?R)
            (agent ?ROWMOT ?H))))		 Mid-level-ontology.kif 9016-9030
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))		 Merge.kif 11182-11187

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


(=>
    (and
        (holdsDuring ?T
            (attribute ?H AVPUPainStatus))
        (instance ?P Pain)
        (during
            (WhenFn ?P) ?T)
        (experiencer ?P ?H))
    (exists (?BM)
        (and
            (instance ?BM BodyMotion)
            (experiencer ?BM ?H)
            (during
                (WhenFn ?BM) ?T)
            (causes ?P ?BM))))		 Medicine.kif 6454-6466
(=>
    (and
        (instance ?A AutonomousAgent)
        (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 31356-31367
(=>
    (and
        (instance ?BS1 BodySegment)
        (instance ?BS2 BodySegment)
        (connected ?BS1 ?BS2)
        (instance ?BM BodyMotion)
        (moves ?BM ?BS1))
    (modalAttribute
        (not
            (exists (?BM2)
                (and
                    (instance ?BM2 BodyMotion)
                    (moves ?BM2 ?BS2)
                    (during
                        (WhenFn ?BM2)
                        (WhenFn ?BM))))) Possibility))		 Mid-level-ontology.kif 11473-11489
(=>
    (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 1202-1212
(=>
    (and
        (instance ?S Speaking)
        (instance ?J Jaw)
        (agent ?S ?H)
        (part ?J ?H))
    (modalAttribute
        (exists (?M)
            (and
                (instance ?M BodyMotion)
                (objectTransferred ?M ?J)
                (during
                    (WhenFn ?M)
                    (WhenFn ?S)))) Likely))		 Anatomy.kif 1663-1675
(=>
    (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 1523-1533
(=>
    (attribute ?ORGANISM
        (instance ?P
            (ParalysisFn ?PART)))
    (exists (?MUSCLE)
        (and
            (instance ?MUSCLE Muscle)
            (part ?MUSCLE ?PART)
            (part ?PART ?ORGANISM)
            (not
                (exists (?MOTION)
                    (and
                        (instance ?MOTION BodyMotion)
                        (agent ?MOTION ?ORGANISM)
                        (patient ?MOTION ?MUSCLE)))))))		 Mid-level-ontology.kif 6879-6893
(=>
    (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)))))))		 Mid-level-ontology.kif 6856-6867
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))		 Merge.kif 18151-18161
(=>
    (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 13059-13072


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