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 8242-8256	例 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 10545-10545	子類 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 15983-15983	子類社交聚會 and RecreationOrExercise
(subclass Smoking RecreationOrExercise)	Mid-level-ontology.kif 16066-16066	子類抽煙 and RecreationOrExercise
(subclass Vacationing RecreationOrExercise)	Mid-level-ontology.kif 20446-20446	子類度假 and RecreationOrExercise
(subclass Game RecreationOrExercise)	Merge.kif 13395-13395	子類 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