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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodyMotion

Sigma KEE - BodyMotion
BodyMotion(動作)

appearance as argument number 1
-------------------------


(documentation BodyMotion ChineseLanguage "这是当 agent 一个 Organism,而 patient 是一个 BodyPartMotion。") 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 "agentOrganismpatientBodyPart である任意の 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 動作motionsubclass では %n

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


(subclass Ambulating BodyMotion) Merge.kif 11138-11138 Ambulating動作subclass では %n
(subclass Blinking BodyMotion) Medicine.kif 447-447 Blinking動作subclass では %n
(subclass Chewing BodyMotion) Mid-level-ontology.kif 11551-11551 Chewing動作subclass では %n
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4381-4381 Crawling動作subclass では %n
(subclass Dancing BodyMotion) Merge.kif 11183-11183 踊り動作subclass では %n
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 19999-19999 Dismounting動作subclass では %n
(subclass Dodging BodyMotion) Mid-level-ontology.kif 445-445 Dodging動作subclass では %n
(subclass Ducking BodyMotion) Mid-level-ontology.kif 13119-13119 Ducking動作subclass では %n
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1358-1358 EmotionalBodilyMovementBehavior動作subclass では %n
(subclass Extension BodyMotion) Mid-level-ontology.kif 10619-10619 Extension動作subclass では %n
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 19939-19939 EyeMotion動作subclass では %n
(subclass Flexion BodyMotion) Mid-level-ontology.kif 10595-10595 Flexion動作subclass では %n
(subclass Gesture BodyMotion) Merge.kif 13092-13092 Gesture動作subclass では %n
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 10714-10714 HeartBeat動作subclass では %n
(subclass Inclining BodyMotion) Mid-level-ontology.kif 13095-13095 Inclining動作subclass では %n
(subclass Indicating BodyMotion) Mid-level-ontology.kif 1017-1017 Indicating動作subclass では %n
(subclass Jumping BodyMotion) Mid-level-ontology.kif 543-543 Jumping動作subclass では %n
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 19885-19885 KneelingDown動作subclass では %n
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 19860-19860 LyingDown動作subclass では %n
(subclass Mounting BodyMotion) Mid-level-ontology.kif 465-465 Mounting動作subclass では %n
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 10550-10550 MuscleRelaxing動作subclass では %n
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 10528-10528 MuscularContraction動作subclass では %n
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5714-5714 Scratching動作subclass では %n
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 19969-19969 Shrugging動作subclass では %n
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 19905-19905 SittingDown動作subclass では %n

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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