|
|
   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 9400-9400 | |
| (documentation Second JapaneseLanguage "すべての丸々 Second の Class。") | japanese_format.kif 1559-1559 | |
| (relatedInternalConcept Second SecondDuration) | Merge.kif 9397-9397 | |
| (relatedInternalConcept Second SecondFn) | Merge.kif 9398-9398 | |
| (subclass Second TimeInterval) | Merge.kif 9396-9396 |
| appearance as argument number 2 |
|
|
| (rangeSubclass SecondFn Second) | Merge.kif 8704-8704 | |
| (termFormat ChineseLanguage Second "秒钟") | chinese_format.kif 1300-1300 | |
| (termFormat EnglishLanguage Second "second") | english_format.kif 1817-1817 | |
| (termFormat FrenchLanguage Second "seconde") | french_format.kif 978-978 | |
| (termFormat Hindi Second "sekanda") | terms-hindi.txt 513-513 | |
| (termFormat ItalianLanguage Second "Secondo") | terms-it.txt 517-517 | |
| (termFormat JapaneseLanguage Second "秒") | japanese_format.kif 2662-2662 | |
| (termFormat PortugueseLanguage Second "Segundo") | portuguese_format.kif 930-930 | |
| (termFormat cz Second "second") | terms-cz.txt 553-553 | |
| (termFormat ro Second "secundã") | relations-ro.kif 999-999 | |
| (termFormat tg Second "segundo") | terms-tg.txt 518-518 |
| antecedent |
|
|
| (=> (instance ?SECOND Second) (duration ?SECOND (MeasureFn 1 SecondDuration))) |
Merge.kif 9402-9404 |
| consequent |
|
|
| (=> (instance ?MINUTE Minute) (equal (CardinalityFn (TemporalCompositionFn ?MINUTE Second)) 60)) |
Merge.kif 9517-9519 |
|
|
|