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 身体运动 是 运动 的 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 5713-5713 Scratching 是 身体运动 的 subclass
(subclass Swallowing BodyMotion) Mid-level-ontology.kif 6586-6586 Swallowing 是 身体运动 的 subclass
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 10527-10527 MuscularContraction 是 身体运动 的 subclass
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 10549-10549 MuscleRelaxing 是 身体运动 的 subclass
(subclass Flexion BodyMotion) Mid-level-ontology.kif 10594-10594 Flexion 是 身体运动 的 subclass
(subclass Extension BodyMotion) Mid-level-ontology.kif 10618-10618 Extension 是 身体运动 的 subclass
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 10713-10713 HeartBeat 是 身体运动 的 subclass
(subclass Chewing BodyMotion) Mid-level-ontology.kif 11550-11550 咀嚼 是 身体运动 的 subclass
(subclass Inclining BodyMotion) Mid-level-ontology.kif 13094-13094 倾斜 是 身体运动 的 subclass
(subclass Ducking BodyMotion) Mid-level-ontology.kif 13118-13118 回避 是 身体运动 的 subclass
(subclass Throwing BodyMotion) Mid-level-ontology.kif 17078-17078 投掷 是 身体运动 的 subclass
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 19859-19859 躺着 是 身体运动 的 subclass
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 19884-19884 KneelingDown 是 身体运动 的 subclass
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 19904-19904 坐下 是 身体运动 的 subclass
(subclass StandingUp BodyMotion) Mid-level-ontology.kif 19921-19921 站起来 是 身体运动 的 subclass
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 19938-19938 眼球运动 是 身体运动 的 subclass
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 19968-19968 耸肩 是 身体运动 的 subclass
(subclass Trembling BodyMotion) Mid-level-ontology.kif 19979-19979 发抖 是 身体运动 的 subclass
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 19998-19998 拆卸 是 身体运动 的 subclass
(subclass Ambulating BodyMotion) Merge.kif 11160-11160 走动 是 身体运动 的 subclass
(subclass Swimming BodyMotion) Merge.kif 11190-11190 游泳 是 身体运动 的 subclass
(subclass Dancing BodyMotion) Merge.kif 11205-11205 跳舞 是 身体运动 的 subclass
(subclass Gesture BodyMotion) Merge.kif 13114-13114 手势 是 身体运动 的 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