Second - Sigma Knowledge base Browser

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	Second is internally related to second duration
(relatedInternalConcept Second SecondFn)	Merge.kif 9398-9398	Second is internally related to second
(subclass Second TimeInterval)	Merge.kif 9396-9396	Second is a subclass of time interval

appearance as argument number 2

(rangeSubclass SecondFn Second)	Merge.kif 8704-8704	The values returned by second are subclasses of second
(termFormat ChineseLanguage Second "秒钟")	chinese_format.kif 1300-1300	The values returned by second are subclasses of second
(termFormat EnglishLanguage Second "second")	english_format.kif 1817-1817	The values returned by second are subclasses of second
(termFormat FrenchLanguage Second "seconde")	french_format.kif 978-978	The values returned by second are subclasses of second
(termFormat Hindi Second "sekanda")	terms-hindi.txt 513-513	The values returned by second are subclasses of second
(termFormat ItalianLanguage Second "Secondo")	terms-it.txt 517-517	The values returned by second are subclasses of second
(termFormat JapaneseLanguage Second "秒")	japanese_format.kif 2662-2662	The values returned by second are subclasses of second
(termFormat PortugueseLanguage Second "Segundo")	portuguese_format.kif 930-930	The values returned by second are subclasses of second
(termFormat cz Second "second")	terms-cz.txt 553-553	The values returned by second are subclasses of second
(termFormat ro Second "secundã")	relations-ro.kif 999-999	The values returned by second are subclasses of second
(termFormat tg Second "segundo")	terms-tg.txt 518-518	The values returned by second are subclasses of second

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