Relation AVAILABLE-PACKAGES

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

Slots on this relation:

Documentation:

The packages that this type of semiconductor is available in.

Instance-Of: Relation

Arity: 2

Domain: Semiconductor

Inverse: Devices-with-this-package

Range: Package-type

Implication Axioms:

(=> (Logand (Available-Packages ?X ?Y) (Subclass-Of ?Y ?Z))
    (Available-Packages ?X ?Z))

Other Related Axioms:

(Available-Packages Lm380-Audio-Power-Amplifier 8-Pin-Dip)

(Available-Packages Lm380-Audio-Power-Amplifier 14-Pin-Dip)

(=> (Logand (Available-Packages ?X ?Y) (Subclass-Of ?Y ?Z))
    (Available-Packages ?X ?Z))

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

(<=> (Available-Packages $Arg1 $Arg2)
     (Devices-With-This-Package $Arg2 $Arg1))

(=> (Available-Packages $X $Y) (Semiconductor $X))

(<=> (Devices-With-This-Package $Arg1 $Arg2)
     (Available-Packages $Arg2 $Arg1))

(Inverse Devices-With-This-Package Available-Packages)

(=> (Maximum-Package-Dissipation-14-Pin-Dip ?X ?Y)
    (Available-Packages ?X 14-Pin-Dip))

(=> (Maximum-Package-Dissipation-8-Pin-Dip ?X ?Y)
    (Available-Packages ?X 8-Pin-Dip))

(Available-Packages Lm383-7-Watt-Audio-Power-Amplifier 5-Pin-To-220)

(Available-Packages Lm383a-7-Watt-Audio-Amplifier 5-Pin-To-220)