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 8242-8256
(subclass BodyMotion Motion) Merge.kif 11116-11116 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 5713-5713 Scratching est une sous-classe de mouvement du corps
(subclass Swallowing BodyMotion) Mid-level-ontology.kif 6586-6586 Swallowing est une sous-classe de mouvement du corps
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 10527-10527 MuscularContraction est une sous-classe de mouvement du corps
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 10549-10549 MuscleRelaxing est une sous-classe de mouvement du corps
(subclass Flexion BodyMotion) Mid-level-ontology.kif 10594-10594 Flexion est une sous-classe de mouvement du corps
(subclass Extension BodyMotion) Mid-level-ontology.kif 10618-10618 Extension est une sous-classe de mouvement du corps
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 10713-10713 HeartBeat est une sous-classe de mouvement du corps
(subclass Chewing BodyMotion) Mid-level-ontology.kif 11550-11550 Chewing est une sous-classe de mouvement du corps
(subclass Inclining BodyMotion) Mid-level-ontology.kif 13094-13094 Inclining est une sous-classe de mouvement du corps
(subclass Ducking BodyMotion) Mid-level-ontology.kif 13118-13118 Ducking est une sous-classe de mouvement du corps
(subclass Throwing BodyMotion) Mid-level-ontology.kif 17078-17078 Throwing est une sous-classe de mouvement du corps
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 19859-19859 LyingDown est une sous-classe de mouvement du corps
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 19884-19884 KneelingDown est une sous-classe de mouvement du corps
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 19904-19904 SittingDown est une sous-classe de mouvement du corps
(subclass StandingUp BodyMotion) Mid-level-ontology.kif 19921-19921 StandingUp est une sous-classe de mouvement du corps
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 19938-19938 EyeMotion est une sous-classe de mouvement du corps
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 19968-19968 Shrugging est une sous-classe de mouvement du corps
(subclass Trembling BodyMotion) Mid-level-ontology.kif 19979-19979 Trembling est une sous-classe de mouvement du corps
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 19998-19998 Dismounting est une sous-classe de mouvement du corps
(subclass Ambulating BodyMotion) Merge.kif 11160-11160 Ambulating est une sous-classe de mouvement du corps
(subclass Swimming BodyMotion) Merge.kif 11190-11190 Nager est une sous-classe de mouvement du corps
(subclass Dancing BodyMotion) Merge.kif 11205-11205 Dancer est une sous-classe de mouvement du corps
(subclass Gesture BodyMotion) Merge.kif 13114-13114 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