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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodyMotion

 Sigma KEE - BodyMotion
BodyMotion(MovimentoCorporeo)

appearance as argument number 1
-------------------------


(documentation BodyMotion ChineseLanguage "这是当 agent 一个 Organism，而 patient 是一个 BodyPart 的 Motion。") chinese_format.kif 3002-3003
(documentation BodyMotion EnglishLanguage "Any Motion where the agent is an Organism and the patient is a BodyPart.") Merge.kif 11096-11097
(documentation BodyMotion JapaneseLanguage "agent が Organism で patient が BodyPart である任意の Motion。") japanese_format.kif 1765-1766
(externalImage BodyMotion "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f5/ Dominik_Klein_jump.jpg/ 250px-Dominik_Klein_jump.jpg") pictureList.kif 1052-1052
(subclass BodyMotion Motion) Merge.kif 11094-11094 MovimentoCorporeo è una sottoclasse di Movimento

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


(subclass Ambulating BodyMotion) Merge.kif 11138-11138 Ambulating è una sottoclasse di MovimentoCorporeo
(subclass Blinking BodyMotion) Medicine.kif 447-447 Blinking è una sottoclasse di MovimentoCorporeo
(subclass Chewing BodyMotion) Mid-level-ontology.kif 11551-11551 Chewing è una sottoclasse di MovimentoCorporeo
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4381-4381 Crawling è una sottoclasse di MovimentoCorporeo
(subclass Dancing BodyMotion) Merge.kif 11183-11183 Ballare è una sottoclasse di MovimentoCorporeo
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 19999-19999 Dismounting è una sottoclasse di MovimentoCorporeo
(subclass Dodging BodyMotion) Mid-level-ontology.kif 445-445 Dodging è una sottoclasse di MovimentoCorporeo
(subclass Ducking BodyMotion) Mid-level-ontology.kif 13119-13119 Ducking è una sottoclasse di MovimentoCorporeo
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1358-1358 EmotionalBodilyMovementBehavior è una sottoclasse di MovimentoCorporeo
(subclass Extension BodyMotion) Mid-level-ontology.kif 10619-10619 Extension è una sottoclasse di MovimentoCorporeo
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 19939-19939 EyeMotion è una sottoclasse di MovimentoCorporeo
(subclass Flexion BodyMotion) Mid-level-ontology.kif 10595-10595 Flexion è una sottoclasse di MovimentoCorporeo
(subclass Gesture BodyMotion) Merge.kif 13092-13092 Gesture è una sottoclasse di MovimentoCorporeo
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 10714-10714 HeartBeat è una sottoclasse di MovimentoCorporeo
(subclass Inclining BodyMotion) Mid-level-ontology.kif 13095-13095 Inclining è una sottoclasse di MovimentoCorporeo
(subclass Indicating BodyMotion) Mid-level-ontology.kif 1017-1017 Indicating è una sottoclasse di MovimentoCorporeo
(subclass Jumping BodyMotion) Mid-level-ontology.kif 543-543 Jumping è una sottoclasse di MovimentoCorporeo
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 19885-19885 KneelingDown è una sottoclasse di MovimentoCorporeo
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 19860-19860 LyingDown è una sottoclasse di MovimentoCorporeo
(subclass Mounting BodyMotion) Mid-level-ontology.kif 465-465 Mounting è una sottoclasse di MovimentoCorporeo
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 10550-10550 MuscleRelaxing è una sottoclasse di MovimentoCorporeo
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 10528-10528 MuscularContraction è una sottoclasse di MovimentoCorporeo
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5714-5714 Scratching è una sottoclasse di MovimentoCorporeo
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 19969-19969 Shrugging è una sottoclasse di MovimentoCorporeo
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 19905-19905 SittingDown è una sottoclasse di MovimentoCorporeo

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 10577-10593
(=>
    (and
        (instance ?M Muscle)
        (instance ?BM BodyMotion)
        (instrument ?BM ?M)
        (instance ?BM IntentionalProcess))
    (instance ?M VoluntaryMuscle))		 Mid-level-ontology.kif 10404-10410
(=>
    (and
        (instance ?MOTION BodyMotion)
        (moves ?MOTION ?OBJ))
    (and
        (instance ?OBJ BodyPart)
        (patient ?MOTION ?OBJ)))		 Merge.kif 11110-11116
(=>
    (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 8243-8257
(=>
    (instance ?MOTION BodyMotion)
    (exists (?AGENT)
        (and
            (instance ?AGENT Organism)
            (agent ?MOTION ?AGENT))))		 Merge.kif 11119-11124

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


(=>
    (and
        (holdsDuring ?T
            (attribute ?H AVPUPainStatus))
        (instance ?P Pain)
        (during
            (WhenFn ?P) ?T)
        (experiencer ?P ?H))
    (exists (?BM)
        (and
            (instance ?BM BodyMotion)
            (experiencer ?BM ?H)
            (during
                (WhenFn ?BM) ?T)
            (causes ?P ?BM))))		 Medicine.kif 6470-6482
(=>
    (and
        (instance ?A AutonomousAgent)
        (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 30242-30253
(=>
    (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 10577-10593
(=>
    (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 ?S Speaking)
        (instance ?J Jaw)
        (agent ?S ?H)
        (part ?J ?H))
    (modalAttribute
        (exists (?M)
            (and
                (instance ?M BodyMotion)
                (objectTransferred ?M ?J)
                (during
                    (WhenFn ?M)
                    (WhenFn ?S)))) Likely))		 Anatomy.kif 1664-1676
(=>
    (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 6330-6344
(=>
    (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 6307-6318
(=>
    (instance ?ANIMAL Animal)
    (or
        (exists (?MOTION)
            (and
                (instance ?MOTION BodyMotion)
                (agent ?MOTION ?ANIMAL)))
        (exists (?ATTR)
            (and
                (instance ?ATTR BodyPosition)
                (attribute ?ANIMAL ?ATTR)))))		 Merge.kif 18047-18057
(=>
    (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 12163-12176


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