Class: TIME-POINT

•owl:Thing
        •PHILOSURFICAL-ENTITY
                •CRM-ENTITY
                        •TIME-SPECIFICATION
                                •TIME-POINT

Super Classes

TIME-SPECIFICATION
YEAR-OF ONLY YEAR-IN-TIME
MONTH-OF ONLY MONTH-IN-TIME
DAY-OF ONLY DAY-IN-TIME
HOUR-OF ONLY HOUR-IN-TIME
MINUTE-OF ONLY MINUTE-IN-TIME
SECOND-OF ONLY SECOND-IN-TIME

Abstract Syntax

Class(TIME-POINT partial TIME-SPECIFICATION
                        restriction(YEAR-OF allValuesFrom(YEAR-IN-TIME))
                        restriction(MONTH-OF allValuesFrom(MONTH-IN-TIME))
                        restriction(DAY-OF allValuesFrom(DAY-IN-TIME))
                        restriction(HOUR-OF allValuesFrom(HOUR-IN-TIME))
                        restriction(MINUTE-OF allValuesFrom(MINUTE-IN-TIME))
                        restriction(SECOND-OF allValuesFrom(SECOND-IN-TIME)))

Usage

Class Description/Definition (Necessary Conditions)

CALENDAR-DATE, TIME-INTERVAL

Domain of

DAY-OF, HOUR-OF, MINUTE-OF, MONTH-OF, SECOND-OF, YEAR-OF
Generated with OWLDoc