TreeView Knowledge Base Browser

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

consequent

(=> (instance ?N RealNumber) (equal (MeasureFn ?N Horsepower) (MeasureFn (MultiplicationFn ?N 746) Watt)))	Merge.kif 7021-7025	If X is an instance of real number, then equal X horsepower(s) and X and 746 watt(s)
(=> (equal ?AMOUNT (MeasureFn ?X Joule)) (equal ?AMOUNT (MeasureFn (MultiplicationFn 0.0002778 ?X) Watt)))	Economy.kif 2251-2253	If equal X and Y joule(s), then equal X and 0.0002778 and Y watt(s)

(instance Watt CompositeUnitOfMeasure)	Merge.kif 7008-7008	Watt is an instance of composite unit of measure
(instance Watt SystemeInternationalUnit)	Merge.kif 7009-7009	Watt is an instance of systeme international unit
(documentation Watt EnglishLanguage "SI power measure. Symbol: W. A UnitOfMeasure that measures power, i.e. energy produced or expended divided by TimeDuration. It is the power which gives rise to the production of energy (or work) at the rate of one Joule per SecondDuration. Watt = J/ s = m^2kgs^(-3).")	Merge.kif 7011-7015	Watt is an instance of systeme international unit
(instance Watt UnitOfPower)	HouseholdAppliances.kif 1224-1224	Watt is an instance of unit of power
(documentation Watt EnglishLanguage "The Watt is an UnitOfPower. Symbol: W. One watt is equal to energy of one Joule produced during one second.")	HouseholdAppliances.kif 1225-1225	Watt is an instance of unit of power

(termFormat EnglishLanguage Watt "watt")	domainEnglishFormat.kif 62530-62530
(termFormat ChineseTraditionalLanguage Watt "瓦")	domainEnglishFormat.kif 62531-62531
(termFormat ChineseLanguage Watt "瓦")	domainEnglishFormat.kif 62532-62532