![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
|
| (subclass TimeZone RelationalAttribute) | Merge.kif 17513-17513 | Time zone is a subclass of relational attribute |
| (documentation TimeZone EnglishLanguage "An Attribute which is used to specify coordinates in which time measures are uniform, i.e. all time devices are synchronized to the same TimePositions.") | Merge.kif 17514-17516 | Time zone is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain RelativeTimeFn 2 TimeZone) | Merge.kif 17580-17580 | The number 2 argument of relative time is an instance of time zone |