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 子類 BodyMotion and Motion
(subclass Dodging BodyMotion) Mid-level-ontology.kif 445-445 子類 躲著 and BodyMotion
(subclass Mounting BodyMotion) Mid-level-ontology.kif 465-465 子類 安裝 and BodyMotion
(subclass Stepping BodyMotion) Mid-level-ontology.kif 482-482 子類 步進 and BodyMotion
(subclass Jumping BodyMotion) Mid-level-ontology.kif 543-543 子類 跳躍 and BodyMotion
(subclass Somersaulting BodyMotion) Mid-level-ontology.kif 557-557 子類 翻筋斗 and BodyMotion
(subclass Indicating BodyMotion) Mid-level-ontology.kif 1017-1017 子類 指示 and BodyMotion
(subclass Crawling BodyMotion) Mid-level-ontology.kif 4381-4381 子類 Crawling and BodyMotion
(subclass Scratching BodyMotion) Mid-level-ontology.kif 5714-5714 子類 Scratching and BodyMotion
(subclass Swallowing BodyMotion) Mid-level-ontology.kif 6587-6587 子類 Swallowing and BodyMotion
(subclass MuscularContraction BodyMotion) Mid-level-ontology.kif 10528-10528 子類 MuscularContraction and BodyMotion
(subclass MuscleRelaxing BodyMotion) Mid-level-ontology.kif 10550-10550 子類 MuscleRelaxing and BodyMotion
(subclass Flexion BodyMotion) Mid-level-ontology.kif 10595-10595 子類 Flexion and BodyMotion
(subclass Extension BodyMotion) Mid-level-ontology.kif 10619-10619 子類 Extension and BodyMotion
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 10714-10714 子類 HeartBeat and BodyMotion
(subclass Chewing BodyMotion) Mid-level-ontology.kif 11551-11551 子類 咀嚼 and BodyMotion
(subclass Inclining BodyMotion) Mid-level-ontology.kif 13095-13095 子類 傾斜 and BodyMotion
(subclass Ducking BodyMotion) Mid-level-ontology.kif 13119-13119 子類 迴避 and BodyMotion
(subclass Throwing BodyMotion) Mid-level-ontology.kif 17079-17079 子類 投擲 and BodyMotion
(subclass LyingDown BodyMotion) Mid-level-ontology.kif 19860-19860 子類 躺著 and BodyMotion
(subclass KneelingDown BodyMotion) Mid-level-ontology.kif 19885-19885 子類 KneelingDown and BodyMotion
(subclass SittingDown BodyMotion) Mid-level-ontology.kif 19905-19905 子類 坐下 and BodyMotion
(subclass StandingUp BodyMotion) Mid-level-ontology.kif 19922-19922 子類 站起來 and BodyMotion
(subclass EyeMotion BodyMotion) Mid-level-ontology.kif 19939-19939 子類 眼球運動 and BodyMotion
(subclass Shrugging BodyMotion) Mid-level-ontology.kif 19969-19969 子類 聳肩 and BodyMotion
(subclass Trembling BodyMotion) Mid-level-ontology.kif 19980-19980 子類 發抖 and BodyMotion
(subclass Dismounting BodyMotion) Mid-level-ontology.kif 19999-19999 子類 拆卸 and BodyMotion
(subclass Ambulating BodyMotion) Merge.kif 11138-11138 子類 走動 and BodyMotion
(subclass Swimming BodyMotion) Merge.kif 11168-11168 子類 Swimming and BodyMotion
(subclass Dancing BodyMotion) Merge.kif 11183-11183 子類 Dancing and BodyMotion
(subclass Gesture BodyMotion) Merge.kif 13092-13092 子類 手勢 and BodyMotion
(subclass Blinking BodyMotion) Medicine.kif 447-447 子類 Blinking and BodyMotion
(subclass EmotionalBodilyMovementBehavior BodyMotion) emotion.kif 1358-1358 子類 EmotionalBodilyMovementBehavior and BodyMotion


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