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	Wenn Process ist ein fall von RecreationOrExercise %n{nicht} und ProcessM ist ein instrument fuer Process %n{nicht} und ProcessM ist ein fall von RowingMachine %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und ProcessOW ist ein fall von Rowing %n{nicht} und ProcessMOT ist ein subProzess von Process und Class ist eine teilkategorie von BodyMotion und ProcessMOT ist ein fall von Class %n{nicht}, dann es gibt ProcessOWMOT um ProcessOWMOT ist ein fall von Class %n{nicht} und ProcessOWMOT ist ein subProzess von Process und ProcessOWMOT ist der agent von AutonomousAgent %n{nicht}
(subclass RecreationOrExercise IntentionalProcess)	Merge.kif 10523-10523	RecreationOrExercise ist eine teilkategorie von IntentionalProcess
(subclass FitnessExercise RecreationOrExercise)	Sports.kif 559-559	FitnessExercise ist eine teilkategorie von RecreationOrExercise
(subclass Yoga RecreationOrExercise)	Sports.kif 560-560	Yoga ist eine teilkategorie von RecreationOrExercise
(subclass SocialParty RecreationOrExercise)	Mid-level-ontology.kif 15984-15984	SocialParty ist eine teilkategorie von RecreationOrExercise
(subclass Smoking RecreationOrExercise)	Mid-level-ontology.kif 16067-16067	Smoking ist eine teilkategorie von RecreationOrExercise
(subclass Vacationing RecreationOrExercise)	Mid-level-ontology.kif 20447-20447	Vacationing ist eine teilkategorie von RecreationOrExercise
(subclass Game RecreationOrExercise)	Merge.kif 13373-13373	Game ist eine teilkategorie von 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