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	工程はレクリエーションまたは運動の instance では %n 工程M は工程の instrument では %n 工程M は RowingMachine の instance では %n AutonomousAgent が工程を experiences %n{ない} 工程OW は Rowing の instance では %n 工程MOT は工程% の subprocess では %n クラスは動作の subclass では %n 工程MOT はクラスの instance では %n 工程OWMOT 工程OWMOT はクラスの instance では %n 工程OWMOT は工程% の subprocess では %n AutonomousAgent は工程OWMOT の agent では %n
(subclass RecreationOrExercise IntentionalProcess)	Merge.kif 10523-10523	レクリエーションまたは運動は意図的なプロセスの subclass では %n
(subclass FitnessExercise RecreationOrExercise)	Sports.kif 559-559	FitnessExercise はレクリエーションまたは運動の subclass では %n
(subclass Yoga RecreationOrExercise)	Sports.kif 560-560	Yoga はレクリエーションまたは運動の subclass では %n
(subclass SocialParty RecreationOrExercise)	Mid-level-ontology.kif 15984-15984	SocialParty はレクリエーションまたは運動の subclass では %n
(subclass Smoking RecreationOrExercise)	Mid-level-ontology.kif 16067-16067	Smoking はレクリエーションまたは運動の subclass では %n
(subclass Vacationing RecreationOrExercise)	Mid-level-ontology.kif 20447-20447	Vacationing はレクリエーションまたは運動の subclass では %n
(subclass Game RecreationOrExercise)	Merge.kif 13373-13373	ゲームはレクリエーションまたは運動の subclass では %n

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