|
|
   Second
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Second ChineseLanguage "这是所有时钟 Second 的 Class。") | chinese_format.kif 2818-2818 | |
| (documentation Second EnglishLanguage "The Class of all clock Seconds.") | Merge.kif 9262-9262 | |
| (relatedInternalConcept Second SecondDuration) | Merge.kif 9259-9259 | |
| (relatedInternalConcept Second SecondFn) | Merge.kif 9260-9260 | |
| (subclass Second TimeInterval) | Merge.kif 9258-9258 |
| appearance as argument number 2 |
|
|
| (rangeSubclass SecondFn Second) | Merge.kif 8570-8570 | |
| (termFormat ChineseLanguage Second "秒钟") | chinese_format.kif 1300-1300 | |
| (termFormat EnglishLanguage Second "second") | english_format.kif 1817-1817 |
| antecedent |
|
|
| (=> (instance ?SECOND Second) (duration ?SECOND (MeasureFn 1 SecondDuration))) |
Merge.kif 9264-9266 |
| consequent |
|
|
| (=> (instance ?MINUTE Minute) (equal (CardinalityFn (TemporalCompositionFn ?MINUTE Second)) 60)) |
Merge.kif 9379-9381 |
|
|
|