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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 10966-10967
(externalImage BodyMotion "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f5/ Dominik_Klein_jump.jpg/ 250px-Dominik_Klein_jump.jpg") pictureList.kif 1053-1053
(subclass BodyMotion Motion) Merge.kif 10964-10964 身体运动运动subclass

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


(subclass Ambulating BodyMotion) Merge.kif 11008-11008 走动身体运动subclass
(subclass Chewing BodyMotion) Mid-level-ontology.kif 11032-11032 咀嚼身体运动subclass
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4271-4271 Crawling身体运动subclass
(subclass Dancing BodyMotion) Merge.kif 11053-11053 跳舞身体运动subclass
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 19322-19322 拆卸身体运动subclass
(subclass Dodging BodyMotion) Mid-level-ontology.kif 434-434 躲着身体运动subclass
(subclass Ducking BodyMotion) Mid-level-ontology.kif 12580-12580 回避身体运动subclass
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1366-1366 EmotionalBodilyMovementBehavior身体运动subclass
(subclass Extension BodyMotion) Mid-level-ontology.kif 10127-10127 Extension身体运动subclass
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 19262-19262 眼球运动身体运动subclass
(subclass Flexion BodyMotion) Mid-level-ontology.kif 10103-10103 Flexion身体运动subclass
(subclass Gesture BodyMotion) Merge.kif 12846-12846 手势身体运动subclass
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 10219-10219 HeartBeat身体运动subclass
(subclass Inclining BodyMotion) Mid-level-ontology.kif 12556-12556 倾斜身体运动subclass
(subclass Indicating BodyMotion) Mid-level-ontology.kif 974-974 指示身体运动subclass
(subclass Jumping BodyMotion) Mid-level-ontology.kif 532-532 跳跃身体运动subclass
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 19208-19208 KneelingDown身体运动subclass
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 19183-19183 躺着身体运动subclass
(subclass Mounting BodyMotion) Mid-level-ontology.kif 454-454 安装身体运动subclass
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 10058-10058 MuscleRelaxing身体运动subclass
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 10036-10036 MuscularContraction身体运动subclass
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5398-5398 Scratching身体运动subclass
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 19292-19292 耸肩身体运动subclass
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 19228-19228 坐下身体运动subclass
(subclass Somersaulting BodyMotion) Mid-level-ontology.kif 546-546 翻筋斗身体运动subclass

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 10085-10101
(=>
    (and
        (instance ?M Muscle)
        (instance ?BM BodyMotion)
        (instrument ?BM ?M)
        (instance ?BM IntentionalProcess))
    (instance ?M VoluntaryMuscle))
Mid-level-ontology.kif 9931-9937
(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))
Merge.kif 10980-10986
(=>
    (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 7846-7860
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))
Merge.kif 10989-10994

consequent
-------------------------


(=>
    (and
        (instance ?A Agent)
        (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 29620-29631
(=>
    (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 10085-10101
(=>
    (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 1210-1220
(=>
    (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 1531-1541
(=>
    (attribute ?ORGANISM
        (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 6002-6015
(=>
    (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 5981-5992
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))
Merge.kif 17778-17788
(=>
    (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 11641-11654


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