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 是一个 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 子類 BodyMotion and Motion

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


(subclass Ambulating BodyMotion) Merge.kif 11138-11138 子類 走動 and BodyMotion
(subclass Blinking BodyMotion) Medicine.kif 447-447 子類 Blinking and BodyMotion
(subclass Chewing BodyMotion) Mid-level-ontology.kif 11551-11551 子類 咀嚼 and BodyMotion
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4381-4381 子類 Crawling and BodyMotion
(subclass Dancing BodyMotion) Merge.kif 11183-11183 子類 Dancing and BodyMotion
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 19999-19999 子類 拆卸 and BodyMotion
(subclass Dodging BodyMotion) Mid-level-ontology.kif 445-445 子類 躲著 and BodyMotion
(subclass Ducking BodyMotion) Mid-level-ontology.kif 13119-13119 子類 迴避 and BodyMotion
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1358-1358 子類 EmotionalBodilyMovementBehavior and BodyMotion
(subclass Extension BodyMotion) Mid-level-ontology.kif 10619-10619 子類 Extension and BodyMotion
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 19939-19939 子類 眼球運動 and BodyMotion
(subclass Flexion BodyMotion) Mid-level-ontology.kif 10595-10595 子類 Flexion and BodyMotion
(subclass Gesture BodyMotion) Merge.kif 13092-13092 子類 手勢 and BodyMotion
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 10714-10714 子類 HeartBeat and BodyMotion
(subclass Inclining BodyMotion) Mid-level-ontology.kif 13095-13095 子類 傾斜 and BodyMotion
(subclass Indicating BodyMotion) Mid-level-ontology.kif 1017-1017 子類 指示 and BodyMotion
(subclass Jumping BodyMotion) Mid-level-ontology.kif 543-543 子類 跳躍 and BodyMotion
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 19885-19885 子類 KneelingDown and BodyMotion
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 19860-19860 子類 躺著 and BodyMotion
(subclass Mounting BodyMotion) Mid-level-ontology.kif 465-465 子類 安裝 and BodyMotion
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 10550-10550 子類 MuscleRelaxing and BodyMotion
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 10528-10528 子類 MuscularContraction and BodyMotion
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5714-5714 子類 Scratching and BodyMotion
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 19969-19969 子類 聳肩 and BodyMotion
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 19905-19905 子類 坐下 and BodyMotion

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