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