Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Second
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Second TimeInterval) | Merge.kif 9585-9585 | Second is a subclass of timeframe |
| (relatedInternalConcept Second SecondDuration) | Merge.kif 9586-9586 | Second is internally related to second duration |
| (relatedInternalConcept Second SecondFn) | Merge.kif 9587-9587 | Second is internally related to second |
| (documentation Second EnglishLanguage "The Class of all clock Seconds.") | Merge.kif 9589-9589 | Second is internally related to second |
| appearance as argument number 2 |
|
|
| (rangeSubclass SecondFn Second) | Merge.kif 8870-8870 | The values returned by second are subclasses of second |
| (termFormat EnglishLanguage Second "second") | english_format.kif 1821-1821 | The values returned by second are subclasses of second |
| antecedent |
|
|
| (=> (instance ?SECOND Second) (duration ?SECOND (MeasureFn 1 SecondDuration))) |
Merge.kif 9591-9593 | If X is an instance of second, then duration of X is 1 second duration(s) |
| consequent |
|
|
| (=> (instance ?MINUTE Minute) (equal (CardinalityFn (TemporalCompositionFn ?MINUTE Second)) 60)) |
Merge.kif 9706-9708 | If X is an instance of minute, then equal the number of instances in decomposition of X into seconds and 60 |
|