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 10620-10621
(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 10618-10618

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


(subclass Ambulating BodyMotion) Merge.kif 10662-10662
(subclass Chewing BodyMotion) Mid-level-ontology.kif 10148-10148
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4251-4251
(subclass Dancing BodyMotion) Merge.kif 10707-10707
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 18108-18108
(subclass Dodging BodyMotion) Mid-level-ontology.kif 416-416
(subclass Ducking BodyMotion) Mid-level-ontology.kif 11490-11490
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1340-1340
(subclass Extension BodyMotion) Mid-level-ontology.kif 9322-9322
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 18048-18048
(subclass Flexion BodyMotion) Mid-level-ontology.kif 9298-9298
(subclass Gesture BodyMotion) Merge.kif 12436-12436
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 9414-9414
(subclass Inclining BodyMotion) Mid-level-ontology.kif 11466-11466
(subclass Indicating BodyMotion) Mid-level-ontology.kif 957-957
(subclass Jumping BodyMotion) Mid-level-ontology.kif 514-514
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 17994-17994
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 17969-17969
(subclass Mounting BodyMotion) Mid-level-ontology.kif 436-436
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 9253-9253
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 9231-9231
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5372-5372
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 18078-18078
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 18014-18014
(subclass Somersaulting BodyMotion) Mid-level-ontology.kif 528-528

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 9280-9296
(=>
    (and
        (instance ?M Muscle)
        (instance ?BM BodyMotion)
        (instrument ?BM ?M)
        (instance ?BM IntetionalProcess))
    (instance ?M VoluntaryMuscle))
Mid-level-ontology.kif 9219-9225
(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))
Merge.kif 10634-10640
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))
Merge.kif 10643-10648

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 28381-28392
(=>
    (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 9280-9296
(=>
    (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 1184-1194
(=>
    (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 1505-1515
(=>
    (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 5768-5781
(=>
    (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 5747-5758
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))
Merge.kif 17226-17236
(=>
    (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 10663-10676


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