PowerMeasure - Sigma Knowledge base Browser

appearance as argument number 1

(subclass PowerMeasure ConstantQuantity)

appearance as argument number 2

(termFormat EnglishLanguage PowerMeasure "power measure")

appearance as argument number 3

(domain idleStatePowerConsumption 2 PowerMeasure)	HouseholdAppliances.kif 1348-1348	The number 2 argument of idle power consumption is an instance of power measure
(domain videoPlaybackPowerConsumption 2 PowerMeasure)	HouseholdAppliances.kif 1745-1745	The number 2 argument of power consumption during video playback is an instance of power measure
(domain videoRecordingPowerConsumption 2 PowerMeasure)	HouseholdAppliances.kif 1761-1761	The number 2 argument of power consumption during video recording is an instance of power measure
(domain audioPlaybackPowerConsumption 2 PowerMeasure)	HouseholdAppliances.kif 1777-1777	The number 2 argument of power consumption during audio playback is an instance of power measure
(domain audioRecordingPowerConsumption 2 PowerMeasure)	HouseholdAppliances.kif 1793-1793	The number 2 argument of power consumption during audio recording is an instance of power measure
(domain amplifierEfficiency 2 PowerMeasure)	HouseholdAppliances.kif 1810-1810	The number 2 argument of amplifier efficiency is an instance of power measure
(domain radarEmissionPowerCapability 2 PowerMeasure)	Transportation.kif 5516-5516	The number 2 argument of radar emission power capability is an instance of power measure

consequent

(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfPower))
    (instance ?QUANT PowerMeasure))