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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Second
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 8958-8958
(relatedInternalConcept Second SecondDuration) Merge.kif 8955-8955 Second is internally related to second duration
(relatedInternalConcept Second SecondFn) Merge.kif 8956-8956 Second is internally related to second
(subclass Second TimeInterval) Merge.kif 8954-8954 Second is a subclass of time interval

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


(rangeSubclass SecondFn Second) Merge.kif 8278-8278 The values returned by second are subclasses of second
(termFormat ChineseLanguage Second "秒钟") chinese_format.kif 1300-1300
(termFormat EnglishLanguage Second "second") english_format.kif 1826-1826

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


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

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


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


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