Class PACKAGE-TYPE

• Defined in theory: National-semiconductor-product-theory
• Source code: national-semiconductor-product-theory.lisp

Slots on this class:

Documentation:

A type of package that semiconductors can be packaged in.

Instance-Of: Class

Subclass-Of: Class, Individual, Thing

Domain-Of: Devices-with-this-package

Has-Instance:

14-pin-dip, 8-pin-dip, Dual-package, Package, Single-package

Range-Of: Available-packages

Other Related Axioms:

(=> (Available-Packages $X $Y) (Package-Type $Y))

(=> (Devices-With-This-Package $X $Y) (Package-Type $X))