Function MINIMUM-OUTPUT-POWER

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

Slots on this function:

Documentation:

The mimimum power that this device outputs.

Instance-Of: Function

Arity: 2

Domain: Device

Range: Power

Other Related Axioms:

(Minimum-Output-Power Lm380-Audio-Power-Amplifier (* 2.5 Watt))

(=> (Minimum-Output-Power $X $Y) (Power $Y))

(=> (Minimum-Output-Power $X $Y) (Device $X))