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 10972-10973
(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 10970-10970 subclass BodyMotion and Motion

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


(subclass Ambulating BodyMotion) Merge.kif 11014-11014 subclass Ambulating and BodyMotion
(subclass Chewing BodyMotion) Mid-level-ontology.kif 11036-11036 subclass Chewing and BodyMotion
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4275-4275 subclass Crawling and BodyMotion
(subclass Dancing BodyMotion) Merge.kif 11059-11059 subclass Dancing and BodyMotion
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 19346-19346 subclass Dismounting and BodyMotion
(subclass Dodging BodyMotion) Mid-level-ontology.kif 438-438 subclass Dodging and BodyMotion
(subclass Ducking BodyMotion) Mid-level-ontology.kif 12584-12584 subclass Ducking and BodyMotion
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1358-1358 subclass EmotionalBodilyMovementBehavior and BodyMotion
(subclass Extension BodyMotion) Mid-level-ontology.kif 10131-10131 subclass Extension and BodyMotion
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 19286-19286 subclass EyeMotion and BodyMotion
(subclass Flexion BodyMotion) Mid-level-ontology.kif 10107-10107 subclass Flexion and BodyMotion
(subclass Gesture BodyMotion) Merge.kif 12852-12852 subclass Gesture and BodyMotion
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 10223-10223 subclass HeartBeat and BodyMotion
(subclass Inclining BodyMotion) Mid-level-ontology.kif 12560-12560 subclass Inclining and BodyMotion
(subclass Indicating BodyMotion) Mid-level-ontology.kif 978-978 subclass Indicating and BodyMotion
(subclass Jumping BodyMotion) Mid-level-ontology.kif 536-536 subclass Jumping and BodyMotion
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 19232-19232 subclass KneelingDown and BodyMotion
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 19207-19207 subclass LyingDown and BodyMotion
(subclass Mounting BodyMotion) Mid-level-ontology.kif 458-458 subclass Mounting and BodyMotion
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 10062-10062 subclass MuscleRelaxing and BodyMotion
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 10040-10040 subclass MuscularContraction and BodyMotion
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5402-5402 subclass Scratching and BodyMotion
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 19316-19316 subclass Shrugging and BodyMotion
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 19252-19252 subclass SittingDown and BodyMotion
(subclass Somersaulting BodyMotion) Mid-level-ontology.kif 550-550 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 10089-10105
(=>
    (and
        (instance ?M Muscle)
        (instance ?BM BodyMotion)
        (instrument ?BM ?M)
        (instance ?BM IntentionalProcess))
    (instance ?M VoluntaryMuscle))
Mid-level-ontology.kif 9935-9941
(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))
Merge.kif 10986-10992
(=>
    (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 7850-7864
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))
Merge.kif 10995-11000

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 29644-29655
(=>
    (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 10089-10105
(=>
    (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
        (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 6006-6019
(=>
    (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 5985-5996
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))
Merge.kif 17791-17801
(=>
    (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 11645-11658


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