List
type Abstract Class
Description A class representing lists. (def-class LIST (Intangible-Thing) ?x "A class representing lists." :iff-def (or (= ?x nil) (= ?x (?a . ?b))))
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