Second In Time
type Abstract Class
Description (def-class SECOND-IN-TIME (non-negative-integer)?x "A second-in-time is an integer in the interval 0-59" :iff-def (and (non-negative-integer ?x)(< ?x 60) ) :avoid-infinite-loop t)
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)