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

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


(subclass Ambulating BodyMotion) Merge.kif 11138-11138 Ambulating e' uma sub-classe de Movimento do Corpo
(subclass Blinking BodyMotion) Medicine.kif 447-447 Blinking e' uma sub-classe de Movimento do Corpo
(subclass Chewing BodyMotion) Mid-level-ontology.kif 11551-11551 Chewing e' uma sub-classe de Movimento do Corpo
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4381-4381 Crawling e' uma sub-classe de Movimento do Corpo
(subclass Dancing BodyMotion) Merge.kif 11183-11183 Dancar e' uma sub-classe de Movimento do Corpo
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 19999-19999 Dismounting e' uma sub-classe de Movimento do Corpo
(subclass Dodging BodyMotion) Mid-level-ontology.kif 445-445 Dodging e' uma sub-classe de Movimento do Corpo
(subclass Ducking BodyMotion) Mid-level-ontology.kif 13119-13119 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 10619-10619 Extension e' uma sub-classe de Movimento do Corpo
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 19939-19939 EyeMotion e' uma sub-classe de Movimento do Corpo
(subclass Flexion BodyMotion) Mid-level-ontology.kif 10595-10595 Flexion e' uma sub-classe de Movimento do Corpo
(subclass Gesture BodyMotion) Merge.kif 13092-13092 Gesture e' uma sub-classe de Movimento do Corpo
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 10714-10714 HeartBeat e' uma sub-classe de Movimento do Corpo
(subclass Inclining BodyMotion) Mid-level-ontology.kif 13095-13095 Inclining e' uma sub-classe de Movimento do Corpo
(subclass Indicating BodyMotion) Mid-level-ontology.kif 1017-1017 Indicating e' uma sub-classe de Movimento do Corpo
(subclass Jumping BodyMotion) Mid-level-ontology.kif 543-543 Jumping e' uma sub-classe de Movimento do Corpo
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 19885-19885 KneelingDown e' uma sub-classe de Movimento do Corpo
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 19860-19860 LyingDown e' uma sub-classe de Movimento do Corpo
(subclass Mounting BodyMotion) Mid-level-ontology.kif 465-465 Mounting e' uma sub-classe de Movimento do Corpo
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 10550-10550 MuscleRelaxing e' uma sub-classe de Movimento do Corpo
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 10528-10528 MuscularContraction e' uma sub-classe de Movimento do Corpo
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5714-5714 Scratching e' uma sub-classe de Movimento do Corpo
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 19969-19969 Shrugging e' uma sub-classe de Movimento do Corpo
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 19905-19905 SittingDown 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 10577-10593
(=>
    (and
        (instance ?M Muscle)
        (instance ?BM BodyMotion)
        (instrument ?BM ?M)
        (instance ?BM IntentionalProcess))
    (instance ?M VoluntaryMuscle))		 Mid-level-ontology.kif 10404-10410
(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))		 Merge.kif 11110-11116
(=>
    (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 8243-8257
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))		 Merge.kif 11119-11124

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 30242-30253
(=>
    (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 10577-10593
(=>
    (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 6330-6344
(=>
    (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 6307-6318
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))		 Merge.kif 18047-18057
(=>
    (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 12163-12176


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