Minute - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Minute ChineseLanguage "这是所有时钟 Minute 的 Class。")	chinese_format.kif 2817-2817
(documentation Minute EnglishLanguage "The Class of all clock Minutes.")	Merge.kif 8796-8796
(relatedInternalConcept Minute MinuteDuration)	Merge.kif 8794-8794	Minute is internally related to minute duration
(relatedInternalConcept Minute MinuteFn)	Merge.kif 8793-8793	Minute is internally related to minute
(subclass Minute TimeInterval)	Merge.kif 8792-8792	Minute is a subclass of time interval

appearance as argument number 2

(rangeSubclass MinuteFn Minute)	Merge.kif 8101-8101	The values returned by minute are subclasses of minute
(termFormat ChineseLanguage Minute "分钟")	chinese_format.kif 1299-1299
(termFormat EnglishLanguage Minute "minute")	english_format.kif 1824-1824

appearance as argument number 3

(domainSubclass SecondFn 2 Minute)

Merge.kif 8127-8127

The number 2 argument of second is a subclass of minute

antecedent

(=> (instance ?MINUTE Minute) (duration ?MINUTE (MeasureFn 1 MinuteDuration)))	Merge.kif 8798-8800	If a time interval is an instance of minute, then duration of the time interval is 1 minute duration(s)
(=> (instance ?MINUTE Minute) (equal (CardinalityFn (TemporalCompositionFn ?MINUTE Second)) 60))	Merge.kif 8923-8925	If a time interval is an instance of minute, then the number of instances in decomposition of the time interval into seconds is equal to 60

consequent

(=>
    (instance ?HOUR Hour)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?HOUR Minute)) 60))

Merge.kif 8919-8921