Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - BodyMotion
BodyMotion(Movimento do Corpo)

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 Movimento do Corpo e' uma sub-classe de Movimento

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


(subclass Abducting BodyMotion) Anatomy.kif 2046-2046 Abducting e' uma sub-classe de Movimento do Corpo
(subclass Adducting BodyMotion) Anatomy.kif 2070-2070 Adducting e' uma sub-classe de Movimento do Corpo
(subclass Ambulating BodyMotion) Merge.kif 11276-11276 Ambulating e' uma sub-classe de Movimento do Corpo
(subclass Blinking BodyMotion) Medicine.kif 436-436 Blinking e' uma sub-classe de Movimento do Corpo
(subclass Chewing BodyMotion) Mid-level-ontology.kif 12882-12882 Chewing e' uma sub-classe de Movimento do Corpo
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4824-4824 Crawling e' uma sub-classe de Movimento do Corpo
(subclass Dancing BodyMotion) Merge.kif 11321-11321 Dancar e' uma sub-classe de Movimento do Corpo
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 21586-21586 Dismounting e' uma sub-classe de Movimento do Corpo
(subclass Dodging BodyMotion) Mid-level-ontology.kif 438-438 Dodging e' uma sub-classe de Movimento do Corpo
(subclass Ducking BodyMotion) Mid-level-ontology.kif 14450-14450 Ducking e' uma sub-classe de Movimento do Corpo
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1358-1358 EmotionalBodilyMovementBehavior e' uma sub-classe de Movimento do Corpo
(subclass Extension BodyMotion) Mid-level-ontology.kif 11950-11950 Extension e' uma sub-classe de Movimento do Corpo
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 21526-21526 EyeMotion e' uma sub-classe de Movimento do Corpo
(subclass Flexion BodyMotion) Mid-level-ontology.kif 11926-11926 Flexion e' uma sub-classe de Movimento do Corpo
(subclass Gesture BodyMotion) Merge.kif 13246-13246 Gesture e' uma sub-classe de Movimento do Corpo
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 12045-12045 HeartBeat e' uma sub-classe de Movimento do Corpo
(subclass Inclining BodyMotion) Mid-level-ontology.kif 14426-14426 Inclining e' uma sub-classe de Movimento do Corpo
(subclass Indicating BodyMotion) Mid-level-ontology.kif 1010-1010 Indicating e' uma sub-classe de Movimento do Corpo
(subclass Jumping BodyMotion) Mid-level-ontology.kif 536-536 Jumping e' uma sub-classe de Movimento do Corpo
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 21472-21472 KneelingDown e' uma sub-classe de Movimento do Corpo
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 21447-21447 LyingDown e' uma sub-classe de Movimento do Corpo
(subclass Mounting BodyMotion) Mid-level-ontology.kif 458-458 Mounting e' uma sub-classe de Movimento do Corpo
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 11881-11881 MuscleRelaxing e' uma sub-classe de Movimento do Corpo
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 11859-11859 MuscularContraction e' uma sub-classe de Movimento do Corpo
(subclass Scratching BodyMotion) Mid-level-ontology.kif 6651-6651 Scratching e' uma sub-classe de Movimento do Corpo

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 11908-11924
(=>
    (and
        (instance ?M Muscle)
        (instance ?BM BodyMotion)
        (instrument ?BM ?M)
        (instance ?BM IntentionalProcess))
    (instance ?M VoluntaryMuscle))		 Mid-level-ontology.kif 11735-11741
(=>
    (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 9410-9424
(=>
    (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 32160-32171
(=>
    (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 11908-11924
(=>
    (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 1699-1711
(=>
    (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 7267-7281
(=>
    (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 7244-7255
(=>
    (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 13494-13507


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