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 7850-7864
(subclass RecreationOrExercise IntentionalProcess) Merge.kif 10434-10434 Recreation or exercise is a subclass of intentional process
(subclass FitnessExercise RecreationOrExercise) Sports.kif 490-490 FitnessExercise is a subclass of recreation or exercise
(subclass Yoga RecreationOrExercise) Sports.kif 491-491 Yoga is a subclass of recreation or exercise
(subclass SocialParty RecreationOrExercise) Mid-level-ontology.kif 15433-15433 Social party is a subclass of recreation or exercise
(subclass Smoking RecreationOrExercise) Mid-level-ontology.kif 15516-15516 Smoking is a subclass of recreation or exercise
(subclass Vacationing RecreationOrExercise) Mid-level-ontology.kif 19794-19794 Vacationing is a subclass of recreation or exercise
(subclass Game RecreationOrExercise) Merge.kif 13133-13133 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