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 11118-11119
(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 11116-11116 子類 BodyMotion and Motion

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


(subclass Ambulating BodyMotion) Merge.kif 11160-11160 子類 走動 and BodyMotion
(subclass Blinking BodyMotion) Medicine.kif 447-447 子類 Blinking and BodyMotion
(subclass Chewing BodyMotion) Mid-level-ontology.kif 11550-11550 子類 咀嚼 and BodyMotion
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4381-4381 子類 Crawling and BodyMotion
(subclass Dancing BodyMotion) Merge.kif 11205-11205 子類 Dancing and BodyMotion
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 19998-19998 子類 拆卸 and BodyMotion
(subclass Dodging BodyMotion) Mid-level-ontology.kif 445-445 子類 躲著 and BodyMotion
(subclass Ducking BodyMotion) Mid-level-ontology.kif 13118-13118 子類 迴避 and BodyMotion
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1358-1358 子類 EmotionalBodilyMovementBehavior and BodyMotion
(subclass Extension BodyMotion) Mid-level-ontology.kif 10618-10618 子類 Extension and BodyMotion
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 19938-19938 子類 眼球運動 and BodyMotion
(subclass Flexion BodyMotion) Mid-level-ontology.kif 10594-10594 子類 Flexion and BodyMotion
(subclass Gesture BodyMotion) Merge.kif 13114-13114 子類 手勢 and BodyMotion
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 10713-10713 子類 HeartBeat and BodyMotion
(subclass Inclining BodyMotion) Mid-level-ontology.kif 13094-13094 子類 傾斜 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 19884-19884 子類 KneelingDown and BodyMotion
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 19859-19859 子類 躺著 and BodyMotion
(subclass Mounting BodyMotion) Mid-level-ontology.kif 465-465 子類 安裝 and BodyMotion
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 10549-10549 子類 MuscleRelaxing and BodyMotion
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 10527-10527 子類 MuscularContraction and BodyMotion
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5713-5713 子類 Scratching and BodyMotion
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 19968-19968 子類 聳肩 and BodyMotion
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 19904-19904 子類 坐下 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 10576-10592
(=>
    (and
        (instance ?M Muscle)
        (instance ?BM BodyMotion)
        (instrument ?BM ?M)
        (instance ?BM IntentionalProcess))
    (instance ?M VoluntaryMuscle))
Mid-level-ontology.kif 10403-10409
(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))
Merge.kif 11132-11138
(=>
    (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 8242-8256
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))
Merge.kif 11141-11146

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 30230-30241
(=>
    (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 10576-10592
(=>
    (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 6329-6343
(=>
    (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 6306-6317
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))
Merge.kif 18069-18079
(=>
    (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 12162-12175


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