| 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 | |
| OWL Tag | |
| OWL Equal (other class name) | |
| OWL Equivalent (other class name) | |
| OWL (Property) Symmetric (true/false) | |
| OWL (Property) Transitive (true/false) | |