Enumerated Set
type Abstract Class
Description (def-class ENUMERATED-SET (set) ?x "A set represented as (:set-of el1 el_2...el_n), where no el_i is repeated" :constraint (list ?x) :iff-def (and (= ?x (:set . ?elements)) (not (exists ?el (and (member ?el ?elements) (member ?el (remove1 ?el ?elements)))))))
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