Sigma KB Term Intersection

(=> (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	例 Process and RecreationOrExercise 儀器 Process and ProcessM 例 ProcessM and RowingMachine 體驗者 Process and AutonomousAgent 例 ProcessOW and 划船子過程 ProcessMOT and Process 子類 Class and BodyMotion 例 ProcessMOT and Class ProcessOWMOT 例 ProcessOWMOT and Class 子過程 ProcessOWMOT and Process agent ProcessOWMOT and AutonomousAgent
(subclass RecreationOrExercise IntentionalProcess)	Merge.kif 10523-10523	子類 RecreationOrExercise and IntentionalProcess
(subclass FitnessExercise RecreationOrExercise)	Sports.kif 559-559	子類 FitnessExercise and RecreationOrExercise
(subclass Yoga RecreationOrExercise)	Sports.kif 560-560	子類 Yoga and RecreationOrExercise
(subclass SocialParty RecreationOrExercise)	Mid-level-ontology.kif 15984-15984	子類社交聚會 and RecreationOrExercise
(subclass Smoking RecreationOrExercise)	Mid-level-ontology.kif 16067-16067	子類抽煙 and RecreationOrExercise
(subclass Vacationing RecreationOrExercise)	Mid-level-ontology.kif 20447-20447	子類度假 and RecreationOrExercise
(subclass Game RecreationOrExercise)	Merge.kif 13373-13373	子類 Game and RecreationOrExercise

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