Class-Partition
type Abstract Class
Description (def-class CLASS-PARTITION (enumerated-set) ?set-of-classes "A set of mutually disjoint classes. Disjointness of classes is a special case of disjointness of sets." :constraint (enumerated-set ?set-of-classes) :iff-def (and (enumerated-set ?set-of-classes) (forall ?C (=> (element-of ?C ?set-of-classes) (class ?C))) (forall (?C1 ?C2) (=> (and (element-of ?C1 ?set-of-classes) (element-of ?C2 ?set-of-classes) (not (= ?C1 ?C2))) (forall (?i) (=> (instance-of ?i ?C1) (not (instance-of ?i ?C2))))))) :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