TreeView Knowledge Base Browser

antecedent

(=> (and (instance ?UNIT UnitOfMeasure) (equal ?MILLIUNIT (MilliFn ?UNIT))) (equal (MeasureFn 1 ?MILLIUNIT) (MeasureFn 0.001 ?UNIT)))	Merge.kif 6650-6654	If X is an instance of unit of measure and equal Y and one thousandth of a X, then equal 1 Y(s) and 0.001 X(s)
(=> (and (climateTypeInArea ?AREA TropicalClimateZone) (instance ?MO Month) (averageRainfallForPeriod ?AREA ?MO (MeasureFn ?AMOUNT (MilliFn Meter))) (greaterThanOrEqualTo ?AMOUNT 60.0)) (climateTypeInArea ?AREA WetTropicalClimateZone))	Geography.kif 2773-2780	If tropical climate zone is a climate type in area of X, Y is an instance of month, X average rainfall for period Y for Z one thousandth of a meter(s), and Z is greater than or equal to 60.0, then wet tropical climate zone is a climate type in area of X

consequent

(=>
    (climateTypeInArea ?AREA WetTropicalClimateZone)
    (forall (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageRainfallForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT
                    (MilliFn Meter)))
            (greaterThanOrEqualTo ?AMOUNT 60.0))))

If wet tropical climate zone is a climate type in area of X, then For all Month Y and RealNumber Z: X average rainfall for period Y for Z one thousandth of a meter(s) and Z is greater than or equal to 60.0

statement

(equal (MeasureFn ?X Milliradian) (MeasureFn ?X (MilliFn Radian)))	MilitaryDevices.kif 329-332	equal X milliradian(s) and X one thousandth of a radian(s)
(lethalDose Diacetoxyscirpenol (PerFn (MeasureFn 23.0 (MilliFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 1836-1836	The per of 23.0 one thousandth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of diacetoxyscirpenol
(lethalDose T2Toxin (PerFn (MeasureFn 5.2 (MilliFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 1841-1841	The per of 5.2 one thousandth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of t2 toxin