MinuteDuration
|
|
appearance as argument number 1 |
(documentation MinuteDuration ChineseLanguage "这是时间单位,1分钟 = 60秒。 ") | chinese_format.kif 2581-2581 | |
(documentation MinuteDuration EnglishLanguage "Time unit. 1 minute = 60 seconds. ") | Merge.kif 7101-7101 | |
(documentation MinuteDuration JapaneseLanguage "時間単位。1分 = 60秒。 ") | japanese_format.kif 1288-1288 | |
(instance MinuteDuration TimeDuration) | Merge.kif 7100-7100 | |
(instance MinuteDuration UnitOfDuration) | Merge.kif 7099-7099 |
appearance as argument number 2 |
(relatedInternalConcept Minute MinuteDuration) | Merge.kif 9374-9374 | |
(termFormat ChineseLanguage MinuteDuration "分钟") | domainEnglishFormat.kif 37949-37949 | |
(termFormat ChineseTraditionalLanguage MinuteDuration "分鐘") | domainEnglishFormat.kif 37948-37948 | |
(termFormat EnglishLanguage MinuteDuration "minute duration") | domainEnglishFormat.kif 37947-37947 |
antecedent |
(=> (and (instance ?MB MeasuringBreathing) (agent ?MB ?A) (instance ?L Lung) (part ?L ?P) (instance ?T TimeInterval) (during ?T (WhenFn ?MB)) (duration ?T MinuteDuration) (patient ?MB ?P)) (holdsDuring (ImmediateFutureFn (WhenFn ?MB)) (exists (?BR) (knows ?A (breathingRate ?L ?T ?BR))))) |
Medicine.kif 466-482 | |
(=> (and (instance ?T TimePeriod) (duration ?T (MeasureFn ?N MinuteDuration)) (greaterThan ?N 5.0) (instance ?H Human) (not (exists (?B) (and (instance ?B Breathing) (during (WhenFn ?B) ?T) (patient ?B ?H))))) (modalAttribute (exists (?D) (and (instance ?D Death) (experiencer ?D ?H) (meetsTemporally ?T (WhenFn ?D)))) Likely)) |
Medicine.kif 5997-6017 |
consequent |
statement |
(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration)) |
Merge.kif 7095-7097 | |
(equal (MeasureFn ?NUMBER MinuteDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration)) |
Merge.kif 7103-7105 |