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