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