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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Second

Sigma KEE - Second
Second

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


(documentation Second ChineseLanguage "这是所有时钟 SecondClass。") chinese_format.kif 2818-2818
(documentation Second EnglishLanguage "The Class of all clock Seconds.") Merge.kif 9262-9262
(relatedInternalConcept Second SecondDuration) Merge.kif 9259-9259
(relatedInternalConcept Second SecondFn) Merge.kif 9260-9260
(subclass Second TimeInterval) Merge.kif 9258-9258

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


(rangeSubclass SecondFn Second) Merge.kif 8570-8570
(termFormat ChineseLanguage Second "秒钟") chinese_format.kif 1300-1300
(termFormat EnglishLanguage Second "second") english_format.kif 1817-1817

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


(=>
    (instance ?SECOND Second)
    (duration ?SECOND
        (MeasureFn 1 SecondDuration)))
Merge.kif 9264-9266

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


(=>
    (instance ?MINUTE Minute)
    (equal
        (CardinalityFn
            (TemporalCompositionFn ?MINUTE Second)) 60))
Merge.kif 9379-9381


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

Show without tree


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