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 RecreationOrExercise IntentionalProcess) Merge.kif 10523-10523 娱乐或锻炼 是 有意图过程 的 subclass
(subclass FitnessExercise RecreationOrExercise) Sports.kif 559-559 FitnessExercise 是 娱乐或锻炼 的 subclass
(subclass Yoga RecreationOrExercise) Sports.kif 560-560 Yoga 是 娱乐或锻炼 的 subclass
(subclass SocialParty RecreationOrExercise) Mid-level-ontology.kif 15984-15984 社交聚会 是 娱乐或锻炼 的 subclass
(subclass Smoking RecreationOrExercise) Mid-level-ontology.kif 16067-16067 抽烟 是 娱乐或锻炼 的 subclass
(subclass Vacationing RecreationOrExercise) Mid-level-ontology.kif 20447-20447 度假 是 娱乐或锻炼 的 subclass
(subclass Game RecreationOrExercise) Merge.kif 13373-13373 游戏 是 娱乐或锻炼 的 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