| Hour(小时) | |
| appearance as argument number 1 |
|
|
| (documentation Hour ChineseLanguage "这是所有时钟 Hour 的 Class。") | chinese_format.kif 2816-2816 | |
| (documentation Hour EnglishLanguage "The Class of all clock Hours.") | Merge.kif 9253-9253 | |
| (relatedInternalConcept Hour HourDuration) | Merge.kif 9251-9251 | 小时 和 小时 是 内部相关 |
| (relatedInternalConcept Hour HourFn) | Merge.kif 9250-9250 | 小时 和 时函数 是 内部相关 |
| (subclass Hour TimeInterval) | Merge.kif 9249-9249 | 小时 是 时距 的 subclass |
| appearance as argument number 2 |
|
|
| (rangeSubclass HourFn Hour) | Merge.kif 8525-8525 | 时函数 的所得值 是 小时 的 subclass |
| (termFormat ChineseLanguage Hour "小时") | chinese_format.kif 1298-1298 | |
| (termFormat EnglishLanguage Hour "hour") | english_format.kif 1813-1813 |
| appearance as argument number 3 |
|
|
| (domainSubclass MinuteFn 2 Hour) | Merge.kif 8550-8550 | 分函数 的 2 数量 是 小时 的 subclass |
| antecedent |
|
|
| (=> (instance ?HOUR Hour) (duration ?HOUR (MeasureFn 1 HourDuration))) |
Merge.kif 9255-9257 | |
| (=> (instance ?HOUR Hour) (equal (CardinalityFn (TemporalCompositionFn ?HOUR Minute)) 60)) |
Merge.kif 9386-9388 |
| consequent |
|
|
| (=> (instance ?DAY Day) (equal (CardinalityFn (TemporalCompositionFn ?DAY Hour)) 24)) |
Merge.kif 9382-9384 |
|
|
|