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