Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RecreationOrExercise
RecreationOrExercise(recreation or exercise)April_fool, Bacchanalia, Dionysia, Fat_Tuesday, Kegel_exercises, Kwanza, Kwanzaa, Mardi_Gras, Oktoberfest, Pythian_Games, Royal_National_Eisteddfod, Saturnalia, Swedish_massage, aerophilatelic, amusement, antic, avocation, bacchanal, bacchanalia, bag, beat, bed_rest, bedrest, beguilement, bench_press, bender, binge, blowout, booze-up, bopeep, bout, break, burn, burn_off, burn_up, busman's_holiday, bust, by-line, cabaret, caper, caravanning, carnival, carousal, carouse, cat's_cradle, catch, child's_play, clean, clean_and_jerk, conditioner...

appearance as argument number 1
-------------------------


s__documentation(s__RecreationOrExercise,s__ChineseLanguage,'"这是一个以娱乐或运动为目而进行的 Process。 因为 RecreationOrExerciseIntentionalProcess 的子类别,过程的意图决定它是否属于这个类别的 实例。故此,假如约翰和比利在看同样的电视节目,约翰看着锅里电视是为了放松,而比利看这电视纯粹是为了满足教育 要求,那么约翰看的电视是 RecreationOrExercise 的一个实例,但是对比利来说这就不是(可是两人看电视节目 的活动都属于 Seeing 的类别,因为后者不需要意图来成立作为它的一个实例。)"')

chinese_format.kif 2937-2941
s__documentation(s__RecreationOrExercise,s__EnglishLanguage,'"A Process that is carried out for the purpose of recreation or exercise. Since RecreationOrExercise is a subclass of IntentionalProcess, the intent of a process determines whether or not it is an instance of the class. Hence, if John and Bill watch the same program on television, and John watches it to relax while Bill watches it solely to satisfy an educational requirement, then Johns watching the movie is an instance of RecreationOrExercise, while Bills is not (both cases of watching the television program would however be in the class of Seeing, since being an instance of this latter class is not determined by intention)."')

Merge.kif 10083-10091
s__subclass(s__RecreationOrExercise,s__IntentionalProcess)

s__instance(s__IntentionalProcess,s__SetOrClass)

s__instance(s__RecreationOrExercise,s__SetOrClass)

Merge.kif 10081-10081 Recreation or exercise is a subclass of intentional process

appearance as argument number 2
-------------------------


s__instance(s__FitnessExercise,s__SetOrClass)

s__subclass(s__FitnessExercise,s__RecreationOrExercise)

s__instance(s__RecreationOrExercise,s__SetOrClass)

Sports.kif 445-445 FitnessExercise is a subclass of recreation or exercise
s__instance(s__Game,s__SetOrClass)

s__subclass(s__Game,s__RecreationOrExercise)

s__instance(s__RecreationOrExercise,s__SetOrClass)

Merge.kif 12717-12717 Game is a subclass of recreation or exercise
s__instance(s__Smoking,s__SetOrClass)

s__instance(s__RecreationOrExercise,s__SetOrClass)

s__subclass(s__Smoking,s__RecreationOrExercise)

Mid-level-ontology.kif 14372-14372 Smoking is a subclass of recreation or exercise
s__subclass(s__SocialParty,s__RecreationOrExercise)

s__instance(s__SocialParty,s__SetOrClass)

s__instance(s__RecreationOrExercise,s__SetOrClass)

Mid-level-ontology.kif 14289-14289 Social party is a subclass of recreation or exercise
s__subclass(s__Vacationing,s__RecreationOrExercise)

s__instance(s__Vacationing,s__SetOrClass)

s__instance(s__RecreationOrExercise,s__SetOrClass)

Mid-level-ontology.kif 18556-18556 Vacationing is a subclass of recreation or exercise
s__subclass(s__Yoga,s__RecreationOrExercise)

s__instance(s__Yoga,s__SetOrClass)

s__instance(s__RecreationOrExercise,s__SetOrClass)

Sports.kif 446-446 Yoga is a subclass of recreation or exercise
s__termFormat(s__ChineseLanguage,s__RecreationOrExercise,'"娱乐或锻炼"')

chinese_format.kif 1093-1093
s__termFormat(s__EnglishLanguage,s__RecreationOrExercise,'"recreation or exercise"')

english_format.kif 1402-1402

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 8535-8556
No TPTP formula. May not be expressible in strict first order. naics.kif 11463-11475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20622-20628
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2478-2487
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2313-2319
No TPTP formula. May not be expressible in strict first order. Sports.kif 880-886
No TPTP formula. May not be expressible in strict first order. Dining.kif 940-948
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7468-7474


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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