radarEmissionPowerCapability - Sigma Knowledge base Browser

appearance as argument number 1

(instance radarEmissionPowerCapability BinaryPredicate)	Transportation.kif 5512-5512	radar emission power capability is an instance of binary predicate
(documentation radarEmissionPowerCapability EnglishLanguage "(radarEmissionPowerCapability ?R ?W) means that the Radar has a maximium emission power of ?W.")	Transportation.kif 5513-5514	radar emission power capability is an instance of binary predicate
(domain radarEmissionPowerCapability 1 Radar)	Transportation.kif 5515-5515	The number 1 argument of radar emission power capability is an instance of radar
(domain radarEmissionPowerCapability 2 PowerMeasure)	Transportation.kif 5516-5516	The number 2 argument of radar emission power capability is an instance of power measure

appearance as argument number 2

(format EnglishLanguage radarEmissionPowerCapability "%1 has the maximium emission capacity of %2")	Transportation.kif 5517-5517
(termFormat EnglishLanguage radarEmissionPowerCapability "radar emission power capability")	Transportation.kif 5518-5518

antecedent

(=>
    (and
        (radarEmissionPowerCapability ?R ?W)
        (instance ?E RadiatingElectromagnetic)
        (instrument ?E ?R)
        (measure ?E ?W)
        (equal ?W
            (MeasureFn ?X Watt)))
    (not
        (exists (?Y)
            (greaterThan ?Y ?X))))

If X has the maximium emission capacity of Y, Z is an instance of radiating electromagnetic, X is an instrument for Z, the measure of Z is Y, and equal Y and W watt(s), then there doesn't exist V such that V is greater than W