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 10620-10621
(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 10618-10618 Body motion is a subclass of motion

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


(subclass Ambulating BodyMotion) Merge.kif 10662-10662 Ambulating is a subclass of body motion
(subclass Chewing BodyMotion) Mid-level-ontology.kif 10503-10503 Chewing is a subclass of body motion
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4252-4252 Crawling is a subclass of body motion
(subclass Dancing BodyMotion) Merge.kif 10707-10707 Dancing is a subclass of body motion
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 18654-18654 Dismounting is a subclass of body motion
(subclass Dodging BodyMotion) Mid-level-ontology.kif 416-416 Dodging is a subclass of body motion
(subclass Ducking BodyMotion) Mid-level-ontology.kif 11975-11975 Ducking is a subclass of body motion
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1366-1366 Emotional bodily movement behavior is a subclass of body motion
(subclass Extension BodyMotion) Mid-level-ontology.kif 9627-9627 Extension is a subclass of body motion
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 18594-18594 Eye motion is a subclass of body motion
(subclass Flexion BodyMotion) Mid-level-ontology.kif 9603-9603 Flexion is a subclass of body motion
(subclass Gesture BodyMotion) Merge.kif 12436-12436 Gesture is a subclass of body motion
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 9719-9719 HeartBeat is a subclass of body motion
(subclass Inclining BodyMotion) Mid-level-ontology.kif 11951-11951 Inclining is a subclass of body motion
(subclass Indicating BodyMotion) Mid-level-ontology.kif 957-957 Indicating is a subclass of body motion
(subclass Jumping BodyMotion) Mid-level-ontology.kif 514-514 Jumping is a subclass of body motion
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 18540-18540 KneelingDown is a subclass of body motion
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 18515-18515 Lying down is a subclass of body motion
(subclass Mounting BodyMotion) Mid-level-ontology.kif 436-436 Mounting is a subclass of body motion
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 9558-9558 MuscleRelaxing is a subclass of body motion
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 9536-9536 MuscularContraction is a subclass of body motion
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5373-5373 Scratching is a subclass of body motion
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 18624-18624 Shrugging is a subclass of body motion
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 18560-18560 Sitting down is a subclass of body motion
(subclass Somersaulting BodyMotion) Mid-level-ontology.kif 528-528 Somersaulting 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 9585-9601
(=>
    (and
        (instance ?M Muscle)
        (instance ?BM BodyMotion)
        (instrument ?BM ?M)
        (instance ?BM IntetionalProcess))
    (instance ?M VoluntaryMuscle))		 Mid-level-ontology.kif 9513-9519
(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))		 Merge.kif 10634-10640
(=>
    (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 7734-7748
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))		 Merge.kif 10643-10648

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 28940-28951
(=>
    (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 9585-9601
(=>
    (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 1210-1220
(=>
    (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 1531-1541
(=>
    (attribute ?ORGANISM
        (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 5954-5967
(=>
    (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 5933-5944
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))		 Merge.kif 17226-17236
(=>
    (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 11084-11097


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