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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RecreationOrExercise
RecreationOrExercise(r�cr�ation ou exercice)

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


(documentation RecreationOrExercise ChineseLanguage "这是一个以娱乐或运动为目而进行的 Process。 因为 RecreationOrExerciseIntentionalProcess 的子类别,过程的意图决定它是否属于这个类别的 实例。故此,假如约翰和比利在看同样的电视节目,约翰看着锅里电视是为了放松,而比利看这电视纯粹是为了满足教育 要求,那么约翰看的电视是 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 10525-10533
(documentation RecreationOrExercise JapaneseLanguage "Process は、レクリエーションまたは エクササイズのために実行される。よって、そのプロセスがクラスのインスタンスであるかどうかを決定する。 したがって、ジョンとビルがテレビで同じ番組を見て、ビルが教育要件を満たすためだけにそれを見ている間、 ジョンはリラックスするためにそれを見ているなら、ジョンが映画を見ることはROEのインスタンスであり、 ビルはそうではない (両方の場合はテレビを見ている。しかし、この後者のクラスのインスタンスは意図に よって決定されないため、プログラムは S のクラスに含まれる。)") japanese_format.kif 1689-1694
(subclass RecreationOrExercise IntentionalProcess) Merge.kif 10523-10523 R�cr�ation ou exercice est une sous-classe de processus intentionnel

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


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

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
(=>
    (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
(=>
    (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

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


(=>
    (and
        (instance ?G Garden)
        (plantInArea Plant ?G))
    (hasPurpose ?G
        (exists (?R)
            (and
                (instance ?R RecreationOrExercise)
                (eventLocated ?R ?G)))))
Mid-level-ontology.kif 8154-8162
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (holdsDuring ?T
        (attribute ?P PostExertionalMalaise))
    (exists (?R)
        (and
            (instance ?R RecreationOrExercise)
            (agent ?R ?A)
            (earlier
                (WhenFn ?R) ?T))))
Medicine.kif 1469-1477
(=>
    (instance ?BUILDING EntertainmentBuilding)
    (hasPurpose ?BUILDING
        (exists (?REC)
            (and
                (instance ?REC RecreationOrExercise)
                (eventLocated ?REC ?BUILDING)))))
Mid-level-ontology.kif 22394-22400
(=>
    (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 2471-2480
(=>
    (instance ?D RecreationOrExerciseDevice)
    (hasPurpose ?D
        (exists (?E)
            (and
                (instance ?E RecreationOrExercise)
                (instrument ?E ?D)))))
Mid-level-ontology.kif 2377-2383
(=>
    (instance ?G MiniatureGolf)
    (hasPurpose ?G
        (exists (?REC)
            (and
                (instance ?REC RecreationOrExercise)
                (eventLocated ?REC ?G)))))
Sports.kif 1027-1033
(=>
    (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
(=>
    (instance ?PARK Park)
    (hasPurpose ?PARK
        (exists (?REC)
            (and
                (instance ?REC RecreationOrExercise)
                (eventLocated ?REC ?PARK)))))
Mid-level-ontology.kif 8108-8114


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