Time Entity
type Abstract Class
Description (def-class TIME-ENTITY (intangible-thing) "WARNING: The constraint below ought to be extended to handle leap years. We use this generic notion of time entity which subsumes both time intervals and time points" ((minute-of :type minute-in-time :max-cardinality 1 ) (second-of :type second-in-time :max-cardinality 1 ) (hour-of :type hour-in-time :max-cardinality 1 ) (day-of :type day-in-time :max-cardinality 1) (month-of :type month-in-time :max-cardinality 1) (year-of :type year-in-time :max-cardinality 1 )) :constraint (and (not (and (month-of ?x 2) (> (the ?day (day-of ?x ?day)) 29))) (not (and (member-of ?x (4 6 9 11)) (> (the ?day (day-of ?x ?day)) 30)))))
Subclass-of(system)
Source Provider(real world) AKT Support Ontology v1.0
Authority (real world)
Example
Inclusion
Exclusion
Rules
Cross Reference(to class)
Modeller
Date
Status
Comment
Derived From IDEF0(function,input,output,control,mech)
IDEF0 Label
IDEF3 Label