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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Second

Sigma KEE - Second
Second(seconde)

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 9364-9364
(documentation Second JapaneseLanguage "すべての丸々 Second の Class。") japanese_format.kif 1559-1559
(relatedInternalConcept Second SecondDuration) Merge.kif 9361-9361 Seconde est reli� � l'int�rieur de SUMO � SecondDuration
(relatedInternalConcept Second SecondFn) Merge.kif 9362-9362 Seconde est reli� � l'int�rieur de SUMO � SecondFn
(subclass Second TimeInterval) Merge.kif 9360-9360 Seconde est une sous-classe de interval temporel

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


(rangeSubclass SecondFn Second) Merge.kif 8668-8668 Les valeurs retourn�es par SecondFn sont des sous-classes de seconde
(termFormat ChineseLanguage Second "秒钟") chinese_format.kif 1300-1300
(termFormat EnglishLanguage Second "second") english_format.kif 1817-1817
(termFormat FrenchLanguage Second "seconde") french_format.kif 978-978
(termFormat Hindi Second "sekanda") terms-hindi.txt 513-513
(termFormat ItalianLanguage Second "Secondo") terms-it.txt 517-517
(termFormat JapaneseLanguage Second "秒") japanese_format.kif 2662-2662
(termFormat PortugueseLanguage Second "Segundo") portuguese_format.kif 930-930
(termFormat cz Second "second") terms-cz.txt 553-553
(termFormat ro Second "secundã") relations-ro.kif 999-999
(termFormat tg Second "segundo") terms-tg.txt 518-518

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


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

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


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


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