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 8242-8256
(subclass RecreationOrExercise IntentionalProcess) Merge.kif 10545-10545 PassatempoOEsercizio è una sottoclasse di ProcessoIntenzionale
(subclass FitnessExercise RecreationOrExercise) Sports.kif 559-559 FitnessExercise è una sottoclasse di PassatempoOEsercizio
(subclass Yoga RecreationOrExercise) Sports.kif 560-560 Yoga è una sottoclasse di PassatempoOEsercizio
(subclass SocialParty RecreationOrExercise) Mid-level-ontology.kif 15983-15983 SocialParty è una sottoclasse di PassatempoOEsercizio
(subclass Smoking RecreationOrExercise) Mid-level-ontology.kif 16066-16066 Smoking è una sottoclasse di PassatempoOEsercizio
(subclass Vacationing RecreationOrExercise) Mid-level-ontology.kif 20446-20446 Vacationing è una sottoclasse di PassatempoOEsercizio
(subclass Game RecreationOrExercise) Merge.kif 13395-13395 Gioco è una sottoclasse di PassatempoOEsercizio


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