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	工程はレクリエーションまたは運動の 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 10545-10545	レクリエーションまたは運動は意図的なプロセスの 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 15983-15983	SocialParty はレクリエーションまたは運動の subclass では %n
(subclass Smoking RecreationOrExercise)	Mid-level-ontology.kif 16066-16066	Smoking はレクリエーションまたは運動の subclass では %n
(subclass Vacationing RecreationOrExercise)	Mid-level-ontology.kif 20446-20446	Vacationing はレクリエーションまたは運動の subclass では %n
(subclass Game RecreationOrExercise)	Merge.kif 13395-13395	ゲームはレクリエーションまたは運動の 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