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 Recreation or exercise is a subclass of intentional process
(subclass FitnessExercise RecreationOrExercise) Sports.kif 559-559 Fitness exercise is a subclass of recreation or exercise
(subclass Yoga RecreationOrExercise) Sports.kif 560-560 Yoga is a subclass of recreation or exercise
(subclass SocialParty RecreationOrExercise) Mid-level-ontology.kif 15984-15984 Social party is a subclass of recreation or exercise
(subclass Smoking RecreationOrExercise) Mid-level-ontology.kif 16067-16067 Smoking is a subclass of recreation or exercise
(subclass Vacationing RecreationOrExercise) Mid-level-ontology.kif 20447-20447 Vacationing is a subclass of recreation or exercise
(subclass Game RecreationOrExercise) Merge.kif 13373-13373 Game is a subclass of recreation or exercise


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