Function MAXIMUM-LEAD-TEMPERATURE

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

Slots on this function:

Documentation: Not supplied yet.

Instance-Of: Function

Arity: 2

Domain: Semiconductor

Range: Temperature

Other Related Axioms:

(Maximum-Lead-Temperature Lm380-Audio-Power-Amplifier
                          (* 260 Degree-Celcius))

(=> (Maximum-Lead-Temperature $X $Y) (Temperature $Y))

(=> (Maximum-Lead-Temperature $X $Y) (Semiconductor $X))

(Maximum-Lead-Temperature Lm383-7-Watt-Audio-Power-Amplifier
                          (* 260 Degree-Celcius))

(Maximum-Lead-Temperature Lm383a-7-Watt-Audio-Amplifier
                          (* 260 Degree-Celcius))