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 10979-10980
(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 10977-10977 subclass BodyMotion and Motion

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


(subclass Ambulating BodyMotion) Merge.kif 11021-11021 subclass Ambulating and BodyMotion
(subclass Chewing BodyMotion) Mid-level-ontology.kif 11087-11087 subclass Chewing and BodyMotion
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4287-4287 subclass Crawling and BodyMotion
(subclass Dancing BodyMotion) Merge.kif 11066-11066 subclass Dancing and BodyMotion
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 19407-19407 subclass Dismounting and BodyMotion
(subclass Dodging BodyMotion) Mid-level-ontology.kif 440-440 subclass Dodging and BodyMotion
(subclass Ducking BodyMotion) Mid-level-ontology.kif 12639-12639 subclass Ducking and BodyMotion
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1358-1358 subclass EmotionalBodilyMovementBehavior and BodyMotion
(subclass Extension BodyMotion) Mid-level-ontology.kif 10177-10177 subclass Extension and BodyMotion
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 19347-19347 subclass EyeMotion and BodyMotion
(subclass Flexion BodyMotion) Mid-level-ontology.kif 10153-10153 subclass Flexion and BodyMotion
(subclass Gesture BodyMotion) Merge.kif 12865-12865 subclass Gesture and BodyMotion
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 10272-10272 subclass HeartBeat and BodyMotion
(subclass Inclining BodyMotion) Mid-level-ontology.kif 12615-12615 subclass Inclining and BodyMotion
(subclass Indicating BodyMotion) Mid-level-ontology.kif 984-984 subclass Indicating and BodyMotion
(subclass Jumping BodyMotion) Mid-level-ontology.kif 538-538 subclass Jumping and BodyMotion
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 19293-19293 subclass KneelingDown and BodyMotion
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 19268-19268 subclass LyingDown and BodyMotion
(subclass Mounting BodyMotion) Mid-level-ontology.kif 460-460 subclass Mounting and BodyMotion
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 10108-10108 subclass MuscleRelaxing and BodyMotion
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 10086-10086 subclass MuscularContraction and BodyMotion
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5421-5421 subclass Scratching and BodyMotion
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 19377-19377 subclass Shrugging and BodyMotion
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 19313-19313 subclass SittingDown and BodyMotion
(subclass Somersaulting BodyMotion) Mid-level-ontology.kif 552-552 subclass Somersaulting 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 10135-10151
(=>
    (and
        (instance ?M Muscle)
        (instance ?BM BodyMotion)
        (instrument ?BM ?M)
        (instance ?BM IntentionalProcess))
    (instance ?M VoluntaryMuscle))
Mid-level-ontology.kif 9981-9987
(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))
Merge.kif 10993-10999
(=>
    (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 7892-7906
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))
Merge.kif 11002-11007

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 29746-29757
(=>
    (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 10135-10151
(=>
    (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 ?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 6037-6051
(=>
    (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 6014-6025
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))
Merge.kif 17785-17795
(=>
    (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 11698-11711


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