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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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 8827-8827
(relatedInternalConcept Minute MinuteDuration) Merge.kif 8825-8825
(relatedInternalConcept Minute MinuteFn) Merge.kif 8824-8824
(subclass Minute TimeInterval) Merge.kif 8823-8823

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


(rangeSubclass MinuteFn Minute) Merge.kif 8130-8130
(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 8156-8156

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


(=>
    (instance ?MINUTE Minute)
    (duration ?MINUTE
        (MeasureFn 1 MinuteDuration)))
Merge.kif 8829-8831
(=>
    (instance ?MINUTE Minute)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MINUTE Second)) 60))
Merge.kif 8954-8956

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


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


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 3.0 is open source software produced by Articulate Software and its partners