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, abseil, acrobatic_feat, acrobatic_stunt, act, act_involuntarily, act_reflexively, 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, brachiate, brandish...

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 11234-11235
(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 11232-11232 Body motion is a subclass of motion

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


(subclass Abducting BodyMotion) Anatomy.kif 2044-2044 Abducting is a subclass of body motion
(subclass Adducting BodyMotion) Anatomy.kif 2068-2068 Adducting is a subclass of body motion
(subclass Ambulating BodyMotion) Merge.kif 11276-11276 Ambulating is a subclass of body motion
(subclass Blinking BodyMotion) Medicine.kif 436-436 Blinking is a subclass of body motion
(subclass Chewing BodyMotion) Mid-level-ontology.kif 12876-12876 Chewing is a subclass of body motion
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4824-4824 Crawling is a subclass of body motion
(subclass Dancing BodyMotion) Merge.kif 11321-11321 Dancing is a subclass of body motion
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 21574-21574 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 14441-14441 Ducking is a subclass of body motion
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1358-1358 EmotionalBodilyMovementBehavior is a subclass of body motion
(subclass Extension BodyMotion) Mid-level-ontology.kif 11944-11944 Extension is a subclass of body motion
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 21514-21514 EyeMotion is a subclass of body motion
(subclass Flexion BodyMotion) Mid-level-ontology.kif 11920-11920 Flexion is a subclass of body motion
(subclass Gesture BodyMotion) Merge.kif 13246-13246 Gesture is a subclass of body motion
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 12039-12039 HeartBeat is a subclass of body motion
(subclass Inclining BodyMotion) Mid-level-ontology.kif 14417-14417 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 21460-21460 KneelingDown is a subclass of body motion
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 21435-21435 LyingDown 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 11875-11875 MuscleRelaxing is a subclass of body motion
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 11853-11853 MuscularContraction is a subclass of body motion
(subclass Scratching BodyMotion) Mid-level-ontology.kif 6647-6647 Scratching 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 11902-11918
(=>
    (and
        (instance ?M Muscle)
        (instance ?BM BodyMotion)
        (instrument ?BM ?M)
        (instance ?BM IntentionalProcess))
    (instance ?M VoluntaryMuscle))		 Mid-level-ontology.kif 11729-11735
(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))		 Merge.kif 11248-11254
(=>
    (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 9405-9419
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))		 Merge.kif 11257-11262

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 6488-6500
(=>
    (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 32143-32154
(=>
    (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 11902-11918
(=>
    (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 1697-1709
(=>
    (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 7263-7277
(=>
    (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 7240-7251
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))		 Merge.kif 18233-18243
(=>
    (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 13488-13501


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