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 10503-10503
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4252-4252
(subclass Dancing BodyMotion) Merge.kif 10707-10707
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 18654-18654
(subclass Dodging BodyMotion) Mid-level-ontology.kif 416-416
(subclass Ducking BodyMotion) Mid-level-ontology.kif 11975-11975
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1366-1366
(subclass Extension BodyMotion) Mid-level-ontology.kif 9627-9627
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 18594-18594
(subclass Flexion BodyMotion) Mid-level-ontology.kif 9603-9603
(subclass Gesture BodyMotion) Merge.kif 12436-12436
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 9719-9719
(subclass Inclining BodyMotion) Mid-level-ontology.kif 11951-11951
(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 18540-18540
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 18515-18515
(subclass Mounting BodyMotion) Mid-level-ontology.kif 436-436
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 9558-9558
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 9536-9536
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5373-5373
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 18624-18624
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 18560-18560
(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 9585-9601
(=>
    (and
        (instance ?M Muscle)
        (instance ?BM BodyMotion)
        (instrument ?BM ?M)
        (instance ?BM IntetionalProcess))
    (instance ?M VoluntaryMuscle))
Mid-level-ontology.kif 9513-9519
(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))
Merge.kif 10634-10640
(=>
    (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 7734-7748
(=>
    (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 28940-28951
(=>
    (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 9585-9601
(=>
    (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 5954-5967
(=>
    (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 5933-5944
(=>
    (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 11084-11097


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