RecreationOrExercise - Sigma Knowledge base Browser

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

(documentation RecreationOrExercise ChineseLanguage "这是一个以娱乐或运动为目而进行的 Process。因为 RecreationOrExercise 是 IntentionalProcess 的子类别，过程的意图决定它是否属于这个类别的实例。故此，假如约翰和比利在看同样的电视节目，约翰看着锅里电视是为了放松，而比利看这电视纯粹是为了满足教育要求，那么约翰看的电视是 RecreationOrExercise 的一个实例，但是对比利来说这就不是(可是两人看电视节目的活动都属于 Seeing 的类别，因为后者不需要意图来成立作为它的一个实例。)")	chinese_format.kif 2937-2941
(documentation RecreationOrExercise 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 John's watching the movie is an instance of RecreationOrExercise, while Bill's 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 10559-10567
(documentation RecreationOrExercise JapaneseLanguage "Process は、レクリエーションまたはエクササイズのために実行される。よって、そのプロセスがクラスのインスタンスであるかどうかを決定する。したがって、ジョンとビルがテレビで同じ番組を見て、ビルが教育要件を満たすためだけにそれを見ている間、ジョンはリラックスするためにそれを見ているなら、ジョンが映画を見ることはROEのインスタンスであり、ビルはそうではない　(両方の場合はテレビを見ている。しかし、この後者のクラスのインスタンスは意図によって決定されないため、プログラムは S のクラスに含まれる。)")	japanese_format.kif 1689-1694
(subclass RecreationOrExercise IntentionalProcess)	Merge.kif 10557-10557	Recreation or exercise is a subclass of intentional process

appearance as argument number 2

(subclass FitnessExercise RecreationOrExercise)	Sports.kif 559-559	Fitness exercise is a subclass of recreation or exercise
(subclass Game RecreationOrExercise)	Merge.kif 13419-13419	Game is a subclass of recreation or exercise
(subclass Smoking RecreationOrExercise)	Mid-level-ontology.kif 16285-16285	Smoking is a subclass of recreation or exercise
(subclass SocialParty RecreationOrExercise)	Mid-level-ontology.kif 16202-16202	Social party is a subclass of recreation or exercise
(subclass Vacationing RecreationOrExercise)	Mid-level-ontology.kif 20705-20705	Vacationing is a subclass of recreation or exercise
(subclass Yoga RecreationOrExercise)	Sports.kif 560-560	Yoga is a subclass of recreation or exercise
(termFormat ChineseLanguage RecreationOrExercise "娱乐或锻炼")	chinese_format.kif 1093-1093	Yoga is a subclass of recreation or exercise
(termFormat EnglishLanguage RecreationOrExercise "recreation or exercise")	english_format.kif 1397-1397	Yoga is a subclass of recreation or exercise
(termFormat FrenchLanguage RecreationOrExercise "r�cr�ation ou exercice")	french_format.kif 771-771	Yoga is a subclass of recreation or exercise
(termFormat Hindi RecreationOrExercise "manoranjana yaa vyaayaama")	terms-hindi.txt 303-303	Yoga is a subclass of recreation or exercise
(termFormat ItalianLanguage RecreationOrExercise "PassatempoOEsercizio")	terms-it.txt 306-306	Yoga is a subclass of recreation or exercise
(termFormat JapaneseLanguage RecreationOrExercise "レクリエーションまたは運動")	japanese_format.kif 2455-2455	Yoga is a subclass of recreation or exercise
(termFormat PortugueseLanguage RecreationOrExercise "Recreacao ou Exercicio")	portuguese_format.kif 723-723	Yoga is a subclass of recreation or exercise
(termFormat cz RecreationOrExercise "recreation or exercise")	terms-cz.txt 342-342	Yoga is a subclass of recreation or exercise
(termFormat ro RecreationOrExercise "recreaþie sau exerciþiu")	relations-ro.kif 792-792	Yoga is a subclass of recreation or exercise
(termFormat tg RecreationOrExercise "pag-aaliw o diversiyon o pagsasanay")	terms-tg.txt 307-307	Yoga is a subclass of recreation or exercise

antecedent

(=> (and (breathingRate ?H ?T ?R) (instance ?T Minute) (not (exists (?R) (and (instance ?R RecreationOrExercise) (agent ?R ?H) (during ?T (WhenFn ?R))))) (holdsDuring ?T (attribute ?H HumanAdult)) (or (greaterThan ?R 16) (lessThan ?R 12))) (holdsDuring ?T (not (attribute ?H Healthy))))	Medicine.kif 367-385	If an agent breathes at a rate of an integer breaths per a time interval and the time interval is an instance of minute and there doesn't exist the integer such that the integer is an instance of recreation or exercise and the agent is an agent of the integer and the time interval takes place during the time of existence of the integer and human adult is an attribute of the agent holds during the time interval and the integer is greater than 16 or the integer is less than 12, then healthy is not an attribute of the agent holds during the time interval
(=> (and (holdsDuring ?T (attribute ?H ChronicFatigueSyndrome)) (instance ?R RecreationOrExercise) (agent ?R ?H) (during (WhenFn ?R) ?T)) (modalAttribute (and (holdsDuring ?T2 (attribute ?H PostExertionalMalaise)) (earlier (WhenFn ?R) ?T2)) Likely))	Medicine.kif 1500-1512	If ME/CFS is an attribute of an agent holds during a time interval and a process is an instance of recreation or exercise and the agent is an agent of the process and the time of existence of the process takes place during the time interval, then the statement PEM is an attribute of the agent holds during the time interval2 and the time of existence of the process happens earlier than the time interval2 has the modal force of likely
(=> (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 8461-8475	If a process is an instance of recreation or exercise and the processM is an instrument for the process and the processM is an instance of ergometer and an agent experiences the process and the processOW is an instance of rowing and the processMOT is a subprocess of the process and a class is a subclass of body motion and the processMOT is an instance of the class, then there exists the processOWMOT such that the processOWMOT is an instance of the class and the processOWMOT is a subprocess of the process and the agent is an agent of the processOWMOT

consequent

(=> (and (instance ?G Garden) (plantInArea Plant ?G)) (hasPurpose ?G (exists (?R) (and (instance ?R RecreationOrExercise) (eventLocated ?R ?G)))))	Mid-level-ontology.kif 8372-8380	If a cultivated land area is an instance of garden and plant Located in the cultivated land area., then the cultivated land area has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at the cultivated land area
(=> (and (instance ?ORG Organization) (attribute ?ORG ScenicAndSightseeingTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?TRANS ?VEH) (and (instance ?TRANS Transportation) (instance ?TRANS RecreationOrExercise) (patient ?TRANS ?P) (possesses ?ORG ?VEH) (instance ?VEH Vehicle))) ?MEM ?P))))))	naics.kif 8528-8549	If a collection is an instance of organization and scenic and sightseeing transportation is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the entity is an instance of recreation or exercise and the cognitive agent is a patient of the entity and the collection possesses the other entity and the other entity is an instance of vehicle
(=> (and (instance ?T Ticket) (possesses ?T ?CUST) (issuedBy ?T ?ORG) (attribute ?ORG AmusementGamblingAndRecreationIndustries) (located ?ORG ?LOC)) (confersNorm ?ORG (exists (?REC) (and (instance ?REC RecreationOrExercise) (experiencer ?REC ?CUST) (eventLocated ?REC ?LOC))) Permission))	naics.kif 11456-11468	If an agent is an instance of ticket and the agent possesses an object and a cognitive agent is an issued by of the agent and amusement gambling and recreation industries is an attribute of the cognitive agent and the cognitive agent is located at another object, then the cognitive agent confers norm there exists an entity such that the entity is an instance of recreation or exercise and the object experiences the entity and the entity is located at the other object for permission
(=> (and (restingBreathingRate ?H ?R) (instance ?L Lung) (part ?L ?H)) (exists (?T) (and (not (exists (?REC) (and (instance ?REC RecreationOrExercise) (agent ?REC ?H) (during ?T (WhenFn ?REC))))) (instance ?T Minute) (breathingRate ?H ?T ?R))))	Medicine.kif 342-357	If the resting breathing rate of a mammal is an integer and an object is an instance of lung and the object is a part of the mammal, then there exists a time interval such that there doesn't exist the integerEC such that the integerEC is an instance of recreation or exercise and the mammal is an agent of the integerEC and the time interval takes place during the time of existence of the integerEC and the time interval is an instance of minute and the mammal breathes at a rate of the integer breaths per the time interval
(=> (and (restingHeartRate ?H ?R) (instance ?HEART Heart) (part ?HEART ?H)) (exists (?T) (and (not (exists (?REC) (and (instance ?REC RecreationOrExercise) (agent ?REC ?H) (during ?T (WhenFn ?REC))))) (instance ?T Minute) (heartRate ?H ?T ?R))))	Medicine.kif 122-136	If the resting heart rate of a mammal is an integer and the mammalEART is an instance of heart and the mammalEART is a part of the mammal, then there exists a time interval such that there doesn't exist the integerEC such that the integerEC is an instance of recreation or exercise and the mammal is an agent of the integerEC and the time interval takes place during the time of existence of the integerEC and the time interval is an instance of minute and the mammal beats at a rate of the integer beats per the time interval
(=> (holdsDuring ?T (attribute ?P PostExertionalMalaise)) (exists (?R) (and (instance ?R RecreationOrExercise) (agent ?R ?A) (earlier (WhenFn ?R) ?T))))	Medicine.kif 1469-1477	If PEM is an attribute of an entity holds during a time interval, then there exists a process such that the process is an instance of recreation or exercise and an agent is an agent of the process and the time of existence of the process happens earlier than the time interval
(=> (instance ?BUILDING EntertainmentBuilding) (hasPurpose ?BUILDING (exists (?REC) (and (instance ?REC RecreationOrExercise) (eventLocated ?REC ?BUILDING)))))	Mid-level-ontology.kif 22677-22683	If a physical is an instance of entertainment building, then the physical has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at the physical
(=> (instance ?C CruiseShip) (hasPurpose ?C (exists (?E ?A ?O) (and (instance ?E RecreationOrExercise) (possesses ?O ?C) (agent ?E ?A) (customer ?O ?A) (eventLocated ?E ?C)))))	Transportation.kif 2656-2665	If a physical is an instance of cruise ship, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of recreation or exercise and the third entity possesses the physical and the other entity is an agent of the entity and the other entity is a customer of the third entity and the entity is located at the physical
(=> (instance ?D RecreationOrExerciseDevice) (hasPurpose ?D (exists (?E) (and (instance ?E RecreationOrExercise) (instrument ?E ?D)))))	Mid-level-ontology.kif 2370-2376	If a physical is an instance of recreation or exercise device, then the physical has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the physical is an instrument for the entity
(=> (instance ?G MiniatureGolf) (hasPurpose ?G (exists (?REC) (and (instance ?REC RecreationOrExercise) (eventLocated ?REC ?G)))))	Sports.kif 1028-1034	If a physical is an instance of miniature golf, then the physical has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at the physical
(=> (instance ?P PlayArea) (hasPurpose ?P (exists (?K ?REC) (and (instance ?REC RecreationOrExercise) (eventLocated ?REC ?P) (instance ?K HumanChild) (agent ?REC ?K)))))	Dining.kif 987-995	If a physical is an instance of playground, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of recreation or exercise and the other entity is located at the physical and the entity is an instance of human child and the entity is an agent of the other entity
(=> (instance ?PARK Park) (hasPurpose ?PARK (exists (?REC) (and (instance ?REC RecreationOrExercise) (eventLocated ?REC ?PARK)))))	Mid-level-ontology.kif 8326-8332	If a physical is an instance of park, then the physical has the purpose there exists an entity such that the entity is an instance of recreation or exercise and the entity is located at the physical

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