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 身体运动运动subclass
(subclass Dodging BodyMotion) Mid-level-ontology.kif 445-445 躲着身体运动subclass
(subclass Mounting BodyMotion) Mid-level-ontology.kif 465-465 安装身体运动subclass
(subclass Stepping BodyMotion) Mid-level-ontology.kif 482-482 步进身体运动subclass
(subclass Jumping BodyMotion) Mid-level-ontology.kif 543-543 跳跃身体运动subclass
(subclass Somersaulting BodyMotion) Mid-level-ontology.kif 557-557 翻筋斗身体运动subclass
(subclass Indicating BodyMotion) Mid-level-ontology.kif 1017-1017 指示身体运动subclass
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4381-4381 Crawling身体运动subclass
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5714-5714 Scratching身体运动subclass
(subclass Swallowing BodyMotion) Mid-level-ontology.kif 6587-6587 Swallowing身体运动subclass
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 10528-10528 MuscularContraction身体运动subclass
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 10550-10550 MuscleRelaxing身体运动subclass
(subclass Flexion BodyMotion) Mid-level-ontology.kif 10595-10595 Flexion身体运动subclass
(subclass Extension BodyMotion) Mid-level-ontology.kif 10619-10619 Extension身体运动subclass
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 10714-10714 HeartBeat身体运动subclass
(subclass Chewing BodyMotion) Mid-level-ontology.kif 11551-11551 咀嚼身体运动subclass
(subclass Inclining BodyMotion) Mid-level-ontology.kif 13095-13095 倾斜身体运动subclass
(subclass Ducking BodyMotion) Mid-level-ontology.kif 13119-13119 回避身体运动subclass
(subclass Throwing BodyMotion) Mid-level-ontology.kif 17079-17079 投掷身体运动subclass
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 19860-19860 躺着身体运动subclass
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 19885-19885 KneelingDown身体运动subclass
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 19905-19905 坐下身体运动subclass
(subclass StandingUp BodyMotion) Mid-level-ontology.kif 19922-19922 站起来身体运动subclass
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 19939-19939 眼球运动身体运动subclass
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 19969-19969 耸肩身体运动subclass
(subclass Trembling BodyMotion) Mid-level-ontology.kif 19980-19980 发抖身体运动subclass
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 19999-19999 拆卸身体运动subclass
(subclass Ambulating BodyMotion) Merge.kif 11138-11138 走动身体运动subclass
(subclass Swimming BodyMotion) Merge.kif 11168-11168 游泳身体运动subclass
(subclass Dancing BodyMotion) Merge.kif 11183-11183 跳舞身体运动subclass
(subclass Gesture BodyMotion) Merge.kif 13092-13092 手势身体运动subclass
(subclass Blinking BodyMotion) Medicine.kif 447-447 Blinking身体运动subclass
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1358-1358 EmotionalBodilyMovementBehavior身体运动subclass


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