| Individual | |
| type | Abstract Class |
| Description | (def-class INDIVIDUAL (Thing) ?x "Something which is not a set. For instance an instance of a class." :iff-def (not (set ?x)) ;;;the definitions below are effective ways to prove whether ;;;somebody is an individual in OCML :prove-by (or (and (variable-bound ?x) (not (set ?x))) (= ?x nil)) :no-proofs-by (:iff-def)) ;;;:iff-def above is not a good way to prove things! |
| 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 | |