| Relation | |
| type | Abstract Class |
| Description | (def-class RELATION (set) "The class of defined relations. We assume fixed arity" :lisp-fun #'(lambda (x env) (let ((y (unbound-variable? x env))) (if y (mapcar #'(lambda (rel) (cons (cons y rel) env)) (all-relations)) (if (get-relation (instantiate x env)) ;;;make sure to instantiate x (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) | |