![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation TimeDuration ChineseLanguage "这是任何量度时间的衡量,它可以是是基于通用时间轴的, 也可以是不基于通用时间轴的的。") | chinese_format.kif 1781-1782 | |
(documentation TimeDuration EnglishLanguage "Any measure of length of time, with or without respect to the universal timeline.") | Merge.kif 2015-2016 | |
(subclass TimeDuration TimeMeasure) | Merge.kif 2013-2013 | Time duration is a subclass of time measure |
appearance as argument number 2 |
![]() |
(instance DayDuration TimeDuration) | Merge.kif 6988-6988 | Day duration is an instance of time duration |
(instance DecadeDuration TimeDuration) | Merge.kif 8658-8658 | DecadeDuration is an instance of time duration |
(instance HourDuration TimeDuration) | Merge.kif 6996-6996 | Hour duration is an instance of time duration |
(instance MinuteDuration TimeDuration) | Merge.kif 7004-7004 | Minute duration is an instance of time duration |
(instance MonthDuration TimeDuration) | Merge.kif 7021-7021 | Month duration is an instance of time duration |
(instance SecondDuration TimeDuration) | Merge.kif 6613-6613 | Second duration is an instance of time duration |
(instance WeekDuration TimeDuration) | Merge.kif 7012-7012 | Week duration is an instance of time duration |
(instance YearDuration TimeDuration) | Merge.kif 7039-7039 | Year duration is an instance of time duration |
(termFormat ChineseLanguage TimeDuration "持续时间") | chinese_format.kif 878-878 | |
(termFormat EnglishLanguage TimeDuration "time duration") | english_format.kif 958-958 |
appearance as argument number 3 |
![]() |
consequent |
![]() |
![]() |
![]() |