A year-in-time must be an integer and integer can be a year-in-time |
A year-in-time must be an integer and integer can be a year-in-time |
•owl:Thing |
•PHILOSURFICAL-ENTITY |
•PRIMITIVE-VALUE |
•NUMBER |
•INTEGER |
•YEAR-IN-TIME |
•TIME-PRIMITIVE |
•YEAR-IN-TIME |
Class(YEAR-IN-TIME partial INTEGER TIME-PRIMITIVE)