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 FitnessExercise RecreationOrExercise) Sports.kif 559-559
(subclass Yoga RecreationOrExercise) Sports.kif 560-560
(subclass SocialParty RecreationOrExercise) Mid-level-ontology.kif 15984-15984
(subclass Smoking RecreationOrExercise) Mid-level-ontology.kif 16067-16067
(subclass Vacationing RecreationOrExercise) Mid-level-ontology.kif 20447-20447
(subclass Game RecreationOrExercise) Merge.kif 13373-13373


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