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 11118-11119
(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 11116-11116 Body motion is a subclass of motion

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


(subclass Ambulating BodyMotion) Merge.kif 11160-11160 Ambulating is a subclass of body motion
(subclass Blinking BodyMotion) Medicine.kif 447-447 Blinking is a subclass of body motion
(subclass Chewing BodyMotion) Mid-level-ontology.kif 11550-11550 Chewing is a subclass of body motion
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4381-4381 Crawling is a subclass of body motion
(subclass Dancing BodyMotion) Merge.kif 11205-11205 Dancing is a subclass of body motion
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 19998-19998 Dismounting is a subclass of body motion
(subclass Dodging BodyMotion) Mid-level-ontology.kif 445-445 Dodging is a subclass of body motion
(subclass Ducking BodyMotion) Mid-level-ontology.kif 13118-13118 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 10618-10618 Extension is a subclass of body motion
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 19938-19938 Eye motion is a subclass of body motion
(subclass Flexion BodyMotion) Mid-level-ontology.kif 10594-10594 Flexion is a subclass of body motion
(subclass Gesture BodyMotion) Merge.kif 13114-13114 Gesture is a subclass of body motion
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 10713-10713 Heart beat is a subclass of body motion
(subclass Inclining BodyMotion) Mid-level-ontology.kif 13094-13094 Inclining is a subclass of body motion
(subclass Indicating BodyMotion) Mid-level-ontology.kif 1017-1017 Indicating is a subclass of body motion
(subclass Jumping BodyMotion) Mid-level-ontology.kif 543-543 Jumping is a subclass of body motion
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 19884-19884 Kneeling down is a subclass of body motion
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 19859-19859 Lying down is a subclass of body motion
(subclass Mounting BodyMotion) Mid-level-ontology.kif 465-465 Mounting is a subclass of body motion
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 10549-10549 Muscle relaxing is a subclass of body motion
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 10527-10527 Muscular contraction is a subclass of body motion
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5713-5713 Scratching is a subclass of body motion
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 19968-19968 Shrugging is a subclass of body motion
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 19904-19904 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 10576-10592
(=>
    (and
        (instance ?M Muscle)
        (instance ?BM BodyMotion)
        (instrument ?BM ?M)
        (instance ?BM IntentionalProcess))
    (instance ?M VoluntaryMuscle))		 Mid-level-ontology.kif 10403-10409
(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))		 Merge.kif 11132-11138
(=>
    (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 8242-8256
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))		 Merge.kif 11141-11146

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 6470-6482
(=>
    (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 30230-30241
(=>
    (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 10576-10592
(=>
    (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 1664-1676
(=>
    (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 6329-6343
(=>
    (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 6306-6317
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))		 Merge.kif 18069-18079
(=>
    (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 12162-12175


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