Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Minute
Minute(minute)

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(rangeSubclass MinuteFn Minute) Merge.kif 8068-8068 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 8094-8094 The number 2 argument of second is a subclass of minute

antecedent
-------------------------


(=>
    (instance ?MINUTE Minute)
    (duration ?MINUTE
        (MeasureFn 1 MinuteDuration)))
Merge.kif 8765-8767
(=>
    (instance ?MINUTE Minute)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MINUTE Second)) 60))
Merge.kif 8890-8892

consequent
-------------------------


(=>
    (instance ?HOUR Hour)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?HOUR Minute)) 60))
Merge.kif 8886-8888


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners