Relation DEVICES-WITH-THIS-PACKAGE

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

Slots on this relation:

Documentation:

The devices that are packaged in this type of package.

Instance-Of: Relation

Arity: 2

Domain: Package-type

Inverse: Available-packages

Range: Semiconductor

Other Related Axioms:

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

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

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

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

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