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 | MinuteDuration は 時間分 の instance では %n |
(instance MinuteDuration UnitOfDuration) | Merge.kif 7099-7099 | MinuteDuration は UnitOfDuration の instance では %n |
appearance as argument number 2 |
(relatedInternalConcept Minute MinuteDuration) | Merge.kif 9352-9352 | 分 は MinuteDuration に internally 関連して %n |
(termFormat ChineseLanguage MinuteDuration "分钟") | domainEnglishFormat.kif 37949-37949 | |
(termFormat ChineseTraditionalLanguage MinuteDuration "分鐘") | domainEnglishFormat.kif 37948-37948 | |
(termFormat EnglishLanguage MinuteDuration "minute duration") | domainEnglishFormat.kif 37947-37947 |
antecedent |
consequent |
statement |
(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration)) |
Merge.kif 7095-7097 | 実数 の HourDuration(s) は 実数 + 60 の MinuteDuration(s) と equal では %n |
(equal (MeasureFn ?NUMBER MinuteDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration)) |
Merge.kif 7103-7105 | 実数 の MinuteDuration(s) は 実数 + 60 の SecondDuration(s) と equal では %n |