Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (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
(subclass BodyMotion Motion) Merge.kif 11094-11094 Mouvement du corps est une sous-classe de d�palcement
(subclass Dodging BodyMotion) Mid-level-ontology.kif 445-445 Dodging est une sous-classe de mouvement du corps
(subclass Mounting BodyMotion) Mid-level-ontology.kif 465-465 Mounting est une sous-classe de mouvement du corps
(subclass Stepping BodyMotion) Mid-level-ontology.kif 482-482 Stepping est une sous-classe de mouvement du corps
(subclass Jumping BodyMotion) Mid-level-ontology.kif 543-543 Jumping est une sous-classe de mouvement du corps
(subclass Somersaulting BodyMotion) Mid-level-ontology.kif 557-557 Somersaulting est une sous-classe de mouvement du corps
(subclass Indicating BodyMotion) Mid-level-ontology.kif 1017-1017 Indicating est une sous-classe de mouvement du corps
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4381-4381 Crawling est une sous-classe de mouvement du corps
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5714-5714 Scratching est une sous-classe de mouvement du corps
(subclass Swallowing BodyMotion) Mid-level-ontology.kif 6587-6587 Swallowing est une sous-classe de mouvement du corps
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 10528-10528 MuscularContraction est une sous-classe de mouvement du corps
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 10550-10550 MuscleRelaxing est une sous-classe de mouvement du corps
(subclass Flexion BodyMotion) Mid-level-ontology.kif 10595-10595 Flexion est une sous-classe de mouvement du corps
(subclass Extension BodyMotion) Mid-level-ontology.kif 10619-10619 Extension est une sous-classe de mouvement du corps
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 10714-10714 HeartBeat est une sous-classe de mouvement du corps
(subclass Chewing BodyMotion) Mid-level-ontology.kif 11551-11551 Chewing est une sous-classe de mouvement du corps
(subclass Inclining BodyMotion) Mid-level-ontology.kif 13095-13095 Inclining est une sous-classe de mouvement du corps
(subclass Ducking BodyMotion) Mid-level-ontology.kif 13119-13119 Ducking est une sous-classe de mouvement du corps
(subclass Throwing BodyMotion) Mid-level-ontology.kif 17079-17079 Throwing est une sous-classe de mouvement du corps
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 19860-19860 LyingDown est une sous-classe de mouvement du corps
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 19885-19885 KneelingDown est une sous-classe de mouvement du corps
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 19905-19905 SittingDown est une sous-classe de mouvement du corps
(subclass StandingUp BodyMotion) Mid-level-ontology.kif 19922-19922 StandingUp est une sous-classe de mouvement du corps
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 19939-19939 EyeMotion est une sous-classe de mouvement du corps
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 19969-19969 Shrugging est une sous-classe de mouvement du corps
(subclass Trembling BodyMotion) Mid-level-ontology.kif 19980-19980 Trembling est une sous-classe de mouvement du corps
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 19999-19999 Dismounting est une sous-classe de mouvement du corps
(subclass Ambulating BodyMotion) Merge.kif 11138-11138 Ambulating est une sous-classe de mouvement du corps
(subclass Swimming BodyMotion) Merge.kif 11168-11168 Nager est une sous-classe de mouvement du corps
(subclass Dancing BodyMotion) Merge.kif 11183-11183 Dancer est une sous-classe de mouvement du corps
(subclass Gesture BodyMotion) Merge.kif 13092-13092 Gesture est une sous-classe de mouvement du corps
(subclass Blinking BodyMotion) Medicine.kif 447-447 Blinking est une sous-classe de mouvement du corps
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1358-1358 EmotionalBodilyMovementBehavior est une sous-classe de mouvement du corps


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