| appearance as argument number 1 |
|
| (documentation Second ChineseLanguage "这是所有时钟 Second 的 Class。") | chinese_format.kif 2818-2818 | |
| (documentation Second EnglishLanguage "The Class of all clock Seconds.") | Merge.kif 9429-9429 | |
| (documentation Second JapaneseLanguage "すべての丸々 Second の Class。") | japanese_format.kif 1559-1559 | |
| (relatedInternalConcept Second SecondDuration) | Merge.kif 9426-9426 | Second is internally related to second duration |
| (relatedInternalConcept Second SecondFn) | Merge.kif 9427-9427 | Second is internally related to second |
| (subclass Second TimeInterval) | Merge.kif 9425-9425 | Second is a subclass of time interval |
| appearance as argument number 2 |
|
|
| (rangeSubclass SecondFn Second) | Merge.kif 8710-8710 | The values returned by second are subclasses of second |
| (termFormat ChineseLanguage Second "秒钟") | chinese_format.kif 1300-1300 | The values returned by second are subclasses of second |
| (termFormat EnglishLanguage Second "second") | english_format.kif 1817-1817 | The values returned by second are subclasses of second |
| (termFormat FrenchLanguage Second "seconde") | french_format.kif 978-978 | The values returned by second are subclasses of second |
| (termFormat Hindi Second "sekanda") | terms-hindi.txt 513-513 | The values returned by second are subclasses of second |
| (termFormat ItalianLanguage Second "Secondo") | terms-it.txt 517-517 | The values returned by second are subclasses of second |
| (termFormat JapaneseLanguage Second "秒") | japanese_format.kif 2662-2662 | The values returned by second are subclasses of second |
| (termFormat PortugueseLanguage Second "Segundo") | portuguese_format.kif 930-930 | The values returned by second are subclasses of second |
| (termFormat cz Second "second") | terms-cz.txt 553-553 | The values returned by second are subclasses of second |
| (termFormat de Second "Sekunde") | terms-de.txt 812-812 | The values returned by second are subclasses of second |
| (termFormat ro Second "secundã") | relations-ro.kif 999-999 | The values returned by second are subclasses of second |
| (termFormat tg Second "segundo") | terms-tg.txt 518-518 | The values returned by second are subclasses of second |
| antecedent |
|
|
| (=> (instance ?SECOND Second) (duration ?SECOND (MeasureFn 1 SecondDuration))) |
Merge.kif 9431-9433 |
|
| consequent |
|
|
| (=> (instance ?MINUTE Minute) (equal (CardinalityFn (TemporalCompositionFn ?MINUTE Second)) 60)) |
Merge.kif 9546-9548 |
|
|
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