Function MAXIMUM-JUNCTION-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-Junction-Temperature Lm380-Audio-Power-Amplifier
                              (* 150 Degree-Celcius))

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

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