Class: YEAR-IN-TIME

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

Super Classes

INTEGER
TIME-PRIMITIVE

Abstract Syntax

Class(YEAR-IN-TIME partial INTEGER
                          TIME-PRIMITIVE)

Usage

Class Description/Definition (Necessary Conditions)

CALENDAR-DATE, TIME-POINT
Generated with OWLDoc