Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Minute
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Minute TimeInterval) | Merge.kif 9575-9575 | Minute is a subclass of timeframe |
| (relatedInternalConcept Minute MinuteFn) | Merge.kif 9576-9576 | Minute is internally related to minute |
| (relatedInternalConcept Minute MinuteDuration) | Merge.kif 9577-9577 | Minute is internally related to minute duration |
| (documentation Minute EnglishLanguage "The Class of all clock Minutes.") | Merge.kif 9579-9579 | Minute is internally related to minute duration |
| appearance as argument number 2 |
|
|
| (rangeSubclass MinuteFn Minute) | Merge.kif 8843-8843 | The values returned by minute are subclasses of minute |
| (termFormat EnglishLanguage Minute "minute") | english_format.kif 1819-1819 | The values returned by minute are subclasses of minute |
| appearance as argument number 3 |
|
|
| (domainSubclass SecondFn 2 Minute) | Merge.kif 8869-8869 | The number 2 argument of second is a subclass of minute |
| antecedent |
|
|
| (=> (instance ?MINUTE Minute) (duration ?MINUTE (MeasureFn 1 MinuteDuration))) |
Merge.kif 9581-9583 | If X is an instance of minute, then duration of X is 1 minute duration(s) |
| (=> (instance ?MINUTE Minute) (equal (CardinalityFn (TemporalCompositionFn ?MINUTE Second)) 60)) |
Merge.kif 9706-9708 | If X is an instance of minute, then equal the number of instances in decomposition of X into seconds and 60 |
| (=> (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 (instance ?T Tachycardia) (experiencer ?T ?P) (instance ?H Heart) (part ?H ?P) (instance ?I Minute) (heartRate ?H ?I ?N)) (greaterThan ?N 100)) |
Medicine.kif 2825-2833 | If All of the following hold: (1) X is an instance of tachyarrhythmia (2) Y experiences X (3) Z is an instance of heart (4) Z is a part of Y (5) W is an instance of minute (6) Z beats at a rate of V beats per W, then V is greater than 100 |
| (=> (and (instance ?T Bradycardia) (experiencer ?T ?P) (instance ?H Heart) (part ?H ?P) (instance ?I Minute) (heartRate ?H ?I ?N)) (greaterThan 50 ?N)) |
Medicine.kif 2853-2861 | If All of the following hold: (1) X is an instance of Bradycardia (2) Y experiences X (3) Z is an instance of heart (4) Z is a part of Y (5) W is an instance of minute (6) Z beats at a rate of V beats per W, then 50 is greater than V |
| consequent |
|
|
| (=> (instance ?HOUR Hour) (equal (CardinalityFn (TemporalCompositionFn ?HOUR Minute)) 60)) |
Merge.kif 9702-9704 | If X is an instance of hour, then equal the number of instances in decomposition of X into minutes and 60 |
| (=> (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 123-137 | If the resting heart rate of X is Y, Z is an instance of heart, and Z is a part of X, then there exists W such that there doesn't exist V such that V is an instance of recreation or exercise, X is an agent of V, W takes place during the time of existence of V, W is an instance of minute, and X beats at a rate of Y beats per W |
| (=> (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 332-347 | If the resting breathing rate of X is Y, Z is an instance of lung, and Z is a part of X, then there exists W such that there doesn't exist V such that V is an instance of recreation or exercise, X is an agent of V, W takes place during the time of existence of V, W is an instance of minute, and X breathes at a rate of Y breaths per W |
|