Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SinglesChart
|
|
|
| appearance as argument number 1 |
|
|
| (subclass RecreationOrExercise IntentionalProcess) | Merge.kif 10769-10769 | Recreation or exercise is a subclass of intentional process |
| (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 10771-10779 | Recreation or exercise is a subclass of intentional process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 9564-9578 | If All of the following hold: (1) X is an instance of recreation or exercise (2) Y is an instrument for X (3) Y is an instance of ergometer (4) Z experiences X (5) W is an instance of rowing (6) V is a subprocess of X (7) U is a subclass of body motion (8) V is an instance of U, then there exists T such that T is an instance of U, T is a subprocess of X, and Z is an agent of T |
| (=> (and (breathingRate ?H ?T ?R) (instance ?T Minute) (not (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 357-374 | If X breathes at a rate of Y breaths per Z, Z is an instance of minute, At least one of the following holds: (1) ~{ Y is an instance of recreation or exercise } (2) ~{ X is an agent of Y } (3) ~{ Z takes place during the time of existence of Y }, human adult is an attribute of X holds during Z, and Y is greater than 16 or Y is less than 12, then healthy is not an attribute of X holds during Z |
| (=> (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 1483-1495 | If ME/CFS is an attribute of X holds during Y, Z is an instance of recreation or exercise, X is an agent of Z, and the time of existence of Z takes place during Y, then the statement PEM is an attribute of X holds during W and the time of existence of Z happens earlier than W has the modal force of likely |
| consequent |
|
|
|