Class
type Abstract Class
Description (def-class CLASS (unary-relation) "The class of all classes. We consider a class as a unary relation, true for all its instances" :lisp-fun #'(lambda (x env) (let ((y (unbound-variable? x env))) (if y (mapcar #'(lambda (rel) (cons (cons y rel) env)) (all-ocml-classes)) (if (get-ocml-class (instantiate x env)) (list env) :fail)))))
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