Integer
type Abstract Class
Description (def-class INTEGER (number) "The class of all integers" :lisp-fun #'(lambda (x env) (let ((y (unbound-variable? x env))) (if y ;;if y is unbound we return a sample integer (list (cons (cons y 0) env)) (if (integerp (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)