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 R�cr�ation ou exercice est une sous-classe de processus intentionnel
(subclass FitnessExercise RecreationOrExercise) Sports.kif 559-559 FitnessExercise est une sous-classe de r�cr�ation ou exercice
(subclass Yoga RecreationOrExercise) Sports.kif 560-560 Yoga est une sous-classe de r�cr�ation ou exercice
(subclass SocialParty RecreationOrExercise) Mid-level-ontology.kif 15984-15984 SocialParty est une sous-classe de r�cr�ation ou exercice
(subclass Smoking RecreationOrExercise) Mid-level-ontology.kif 16067-16067 Smoking est une sous-classe de r�cr�ation ou exercice
(subclass Vacationing RecreationOrExercise) Mid-level-ontology.kif 20447-20447 Vacationing est une sous-classe de r�cr�ation ou exercice
(subclass Game RecreationOrExercise) Merge.kif 13373-13373 Jeu est une sous-classe de r�cr�ation ou exercice


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