Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MultiplicationFn
MultiplicationFn

appearance as argument number 1
-------------------------


(instance MultiplicationFn BinaryFunction) Merge.kif 4806-4806 Multiplication is an instance of binary function
(instance MultiplicationFn AssociativeFunction) Merge.kif 4807-4807 Multiplication is an instance of associative function
(instance MultiplicationFn CommutativeFunction) Merge.kif 4808-4808 Multiplication is an instance of commutative function
(instance MultiplicationFn TotalValuedRelation) Merge.kif 4810-4810 Multiplication is an instance of total valued relation
(domain MultiplicationFn 1 RealNumber) Merge.kif 4811-4811 The number 1 argument of multiplication is an instance of real number
(domain MultiplicationFn 2 RealNumber) Merge.kif 4812-4812 The number 2 argument of multiplication is an instance of real number
(range MultiplicationFn RealNumber) Merge.kif 4813-4813 The range of multiplication is an instance of real number
(documentation MultiplicationFn EnglishLanguage "If ?NUMBER1 and ?NUMBER2 are Numbers, then (MultiplicationFn ?NUMBER1 ?NUMBER2) is the arithmetical product of these numbers.") Merge.kif 4815-4817 The range of multiplication is an instance of real number
(identityElement MultiplicationFn 1) Merge.kif 5417-5417 1 is an identity element of multiplication

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage MultiplicationFn "multiplication") domainEnglishFormat.kif 39187-39187
(termFormat ChineseTraditionalLanguage MultiplicationFn "乘法") domainEnglishFormat.kif 39188-39188
(termFormat ChineseLanguage MultiplicationFn "乘法") domainEnglishFormat.kif 39189-39189
(format EnglishLanguage MultiplicationFn "%*[*]") english_format.kif 682-682

antecedent
-------------------------


(=>
    (and
        (not
            (equal ?NUMBER2 0))
        (equal
            (AdditionFn
                (MultiplicationFn
                    (FloorFn
                        (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
    (equal
        (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER))		 Merge.kif 5229-5240 If equal X and 0 and equal (the largest integer less than or equal to Y and X and X and Z) and Y, then equal Y mod X and Z
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER DecadeDuration)
        (MeasureFn
            (MultiplicationFn ?NUMBER 10) YearDuration)))		 Merge.kif 8961-8965 If equal X, 1, and X, then equal X decade duration(s) and X and 10 year duration(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER TonMass)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2205.0) PoundMass)))		 Mid-level-ontology.kif 15154-15158 If equal X, 1.0, and X, then equal X ton mass(s) and X and 2205.0 pound mass(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER LongTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2240.0) PoundMass)))		 Mid-level-ontology.kif 15181-15185 If equal X, 1.0, and X, then equal X long ton(s) and X and 2240.0 pound mass(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER CubicFoot)
        (MeasureFn
            (MultiplicationFn ?NUMBER
                (MultiplicationFn ?NUMBER ?NUMBER)) FootLength)))		 Mid-level-ontology.kif 15225-15232 If equal X, 1.0, and X, then equal X cubic foot(s) and X and X and X foot length(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER RegistryTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 100.0) CubicFoot)))		 Mid-level-ontology.kif 15263-15267 If equal X, 1.0, and X, then equal X registry ton(s) and X and 100.0 cubic foot(s)
(=>
    (equal ?N
        (MultiplicationFn 1 ?N))
    (equal
        (MeasureFn ?N MillenniumDuration)
        (MeasureFn
            (MultiplicationFn ?N 1000) YearDuration)))		 Mid-level-ontology.kif 15278-15282 If equal X, 1, and X, then equal X millennium(s) and X and 1000 year duration(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Acre)
        (MeasureFn
            (MultiplicationFn 4840.0 ?NUMBER) SquareYard)))		 Mid-level-ontology.kif 15287-15293 If equal X, 1.0, and X, then equal X acre(s) and 4840.0 and X square yard(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER CenturyDuration)
        (MeasureFn
            (MultiplicationFn ?NUMBER 100) YearDuration)))		 Mid-level-ontology.kif 21001-21005 If equal X, 1, and X, then equal X century duration(s) and X and 100 year duration(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER YardLength)
        (MeasureFn
            (MultiplicationFn 3.0 ?NUMBER) FootLength)))		 Mid-level-ontology.kif 21010-21014 If equal X, 1.0, and X, then equal X yard length(s) and 3.0 and X foot length(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Nanometer)
        (MeasureFn
            (MultiplicationFn ?NUMBER 0.000000001) Meter)))		 Mid-level-ontology.kif 21020-21026 If equal X, 1.0, and X, then equal X nanometer(s) and X and 0.000000001 meter(s)
(=>
    (and
        (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
        (totalGDPInPeriod ?AREA
            (MeasureFn ?GDPAMOUNT ?CUNIT) ?PERIOD)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?GDPAMOUNT)))
    (sectorValueOfGDPInPeriod ?AREA ?SECTOR
        (MeasureFn ?AMOUNT ?CUNIT) ?PERIOD))		 Economy.kif 1196-1204 If X is the sector composition of GDP in period Y for Z with W, X is totalGDP in period V U(s) for W, and equal T, Z, and V, then X is sector value of GDP in period Y for T U(s) with W
(=>
    (and
        (simpleInterest ?Account
            (MeasureFn ?Interest ?CUNIT) ?Period)
        (principalAmount ?Account
            (MeasureFn ?Principal ?CUNIT))
        (equal ?Rate_Decimal
            (DivisionFn ?Interest ?Principal))
        (equal ?Rate
            (MultiplicationFn ?Rate_Decimal 100.0)))
    (interestRatePerPeriod ?Account ?Rate ?Period))		 FinancialOntology.kif 608-618 If X is simple interest Y Z(s) for W, V Z(s) is a principal amount of X, equal ?Rate_Decimal, Y, and V, and equal U, ?Rate_Decimal, and 100.0, then X is interest rate per period U for W
(=>
    (and
        (arableLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (arableLandArea ?REGION
        (MeasureFn ?AMOUNT ?UNIT)))		 Geography.kif 3535-3545 If X Y(s) is an arable land area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, W is an instance of area measure, and equal V, X, and W, then V Y(s) is an arable land area of Z
(=>
    (and
        (permanentCropLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (permanentCropLandArea ?REGION
        (MeasureFn ?AMOUNT ?UNIT)))		 Geography.kif 3580-3591 If X Y(s) is a permanent crop land area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, Y is an instance of unit of area, and equal V, X, and W, then V Y(s) is a permanent crop land area of Z
(=>
    (and
        (otherLandUseArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (otherLandUseArea ?REGION
        (MeasureFn ?AMOUNT ?UNIT)))		 Geography.kif 3620-3631 If X Y(s) is an other land use area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, Y is an instance of unit of area, and equal V, X, and W, then V Y(s) is an other land use area of Z
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Fathom)
        (MeasureFn
            (MultiplicationFn ?NUMBER 6.0) FootLength)))		 Geography.kif 5379-5383 If equal X, 1.0, and X, then equal X fathom(s) and X and 6.0 foot length(s)
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1852.0) Meter)))		 Geography.kif 5420-5427 If equal X, 1.0, and X, then equal X nautical mile(s) and X and 1852.0 meter(s)
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))		 Geography.kif 5429-5436 If equal X, 1.0, and X, then equal X nautical mile(s) and X and 1.852 1 thousand meters(s)
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 6076.1) FootLength)))		 Geography.kif 5438-5445 If equal X, 1.0, and X, then equal X nautical mile(s) and X and 6076.1 foot length(s)
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.151) Mile)))		 Geography.kif 5447-5454 If equal X, 1.0, and X, then equal X nautical mile(s) and X and 1.151 mile(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER KilowattHour)
        (MeasureFn
            (MultiplicationFn ?NUMBER 3600000) Joule)))		 HouseholdAppliances.kif 1201-1207 If equal X, 1, and X, then equal X kilowatt hour(s) and X and 3600000 joule(s)
(=>
    (and
        (typicalBloodVolume ?M
            (MeasureFn ?N ?U))
        (holdsDuring ?T
            (bloodVolume ?H
                (MeasureFn ?N2 ?U)))
        (instance ?H ?M)
        (lessThan
            (MultiplicationFn ?N2 2.0) ?N))
    (holdsDuring ?T
        (attribute ?H CatastrophicBloodLoss)))		 Medicine.kif 5981-5993 If the typical volume of blood of a X is Y Z(s), W has V Z(s) of blood holds during U, W is an instance of X, and V and 2.0 is less than Y, then catastrophic blood loss is an attribute of W holds during U
(=>
    (and
        (typicalBloodVolume ?M
            (MeasureFn ?N ?U))
        (holdsDuring ?T
            (bloodVolume ?H
                (MeasureFn ?N2 ?U)))
        (instance ?H ?M)
        (greaterThan
            (MultiplicationFn ?N2 2.0) ?N)
        (lessThan ?N2
            (MultiplicationFn 0.8 ?N)))
    (holdsDuring ?T
        (attribute ?H SevereBloodLoss)))		 Medicine.kif 5999-6013 If the typical volume of blood of a X is Y Z(s), W has V Z(s) of blood holds during U, W is an instance of X, V and 2.0 is greater than Y, and V is less than 0.8 and Y, then severe blood loss is an attribute of W holds during U
(=>
    (and
        (instance ?ROBOT CarryBot)
        (instance ?INSTANCE ?OBJECT)
        (subclass ?OBJECT Object)
        (widthLimit ?ROBOT
            (MeasureFn ?WIDTHLIMIT ?UNIT))
        (or
            (and
                (defaultMaximumLength ?OBJECT
                    (MeasureFn ?LENGTH ?UNIT))
                (defaultMaximumWidth ?OBJECT
                    (MeasureFn ?WIDTH ?UNIT))
                (defaultMaximumHeight ?OBJECT
                    (MeasureFn ?HEIGHT ?UNIT))
                (greaterThan ?LENGTH ?WIDTHLIMIT)
                (greaterThan ?WIDTH ?WIDTHLIMIT)
                (greaterThan ?HEIGHT ?WIDTHLIMIT))
            (and
                (defaultMaximumSphereRadius ?OBJECT
                    (MeasureFn ?RADIUS ?UNIT))
                (greaterThan
                    (MultiplicationFn ?RADIUS 2) ?WIDTHLIMIT))))
    (not
        (canCarry ?ROBOT ?INSTANCE)))		 Robot.kif 28-52 If X is an instance of CarryBot, Y is an instance of Z, Z is a subclass of object, widthLimit X and W V(s), and All of the following hold: (1) the maximum expected length of Z is U V(s) (2) the maximum expected width of Z is T V(s) (3) the maximum expected height of Z is S V(s) (4) U is greater than W (5) T is greater than W (6) S is greater than W or the maximum expected radius of Z is R V(s) and R and 2 is greater than W, then canCarry X and Y

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (multiplicativeFactor ?N1 ?N2)
    (exists (?I)
        (and
            (instance ?I Integer)
            (equal ?N2
                (MultiplicationFn ?N1 ?I)))))		 Merge.kif 5011-5016 If X is a multiplicative factor of Y, then there exists Z such that Z is an instance of integer, equal X, Y, and Z
(=>
    (and
        (instance ?NUMBER Integer)
        (not
            (equal ?NUMBER 0)))
    (equal 1
        (MultiplicationFn ?NUMBER
            (ReciprocalFn ?NUMBER))))		 Merge.kif 5198-5203 If X is an instance of integer and equal X and 0, then equal 1, X, and the reciprocal of X
(=>
    (and
        (equal
            (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
        (not
            (equal ?NUMBER2 0)))
    (equal
        (AdditionFn
            (MultiplicationFn
                (FloorFn
                    (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))		 Merge.kif 5216-5227 If equal X mod Y and Z and equal Y and 0, then equal (the largest integer less than or equal to X and Y and Y and Z) and X
(=>
    (equal
        (SquareRootFn ?NUMBER1) ?NUMBER2)
    (equal
        (MultiplicationFn ?NUMBER2 ?NUMBER2) ?NUMBER1))		 Merge.kif 5337-5339 If equal the squareRoot of X and Y, then equal Y, Y, and X
(=>
    (equal
        (CubicFn ?NUMBER1) ?NUMBER2)
    (equal
        (MultiplicationFn ?NUMBER1
            (MultiplicationFn ?NUMBER1 ?NUMBER1)) ?NUMBER2))		 Merge.kif 5348-5350 If equal CubicFn X and Y, then equal X, X, X, and Y
(=>
    (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)
(=>
    (diameter ?CIRCLE ?LENGTH)
    (exists (?NHALF ?UHALF)
        (and
            (radius ?CIRCLE
                (MeasureFn ?NHALF ?UHALF))
            (equal
                (MeasureFn
                    (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH))))		 Merge.kif 7842-7847 If the diameter of X is Y, then there exist Z and W such that the radius of X is Z W(s) and equal Z and 2 W(s) and Y
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER DecadeDuration)
        (MeasureFn
            (MultiplicationFn ?NUMBER 10) YearDuration)))		 Merge.kif 8961-8965 If equal X, 1, and X, then equal X decade duration(s) and X and 10 year duration(s)
(=>
    (and
        (relativeAngle ?O1 ?O2 ?N)
        (physicalEnd ?E1 ?O1)
        (physicalEnd ?E2 ?O1)
        (not
            (equal ?E1 ?E2))
        (length ?O1
            (MeasureFn ?N1 ?U))
        (length ?O2
            (MeasureFn ?N2 ?U))
        (distance ?E1 ?E3
            (MeasureFn ?N3 ?U))
        (physicalEnd ?E3 ?O2)
        (physicalEnd ?E4 ?O2)
        (not
            (equal ?E3 ?E4))
        (not
            (meetsSpatially ?E1 ?E3)))
    (equal ?N
        (ArcCosineFn
            (DivisionFn
                (SubtractionFn
                    (SubtractionFn
                        (MultiplicationFn ?N3 ?N3)
                        (MultiplicationFn ?N1 ?N1))
                    (MultiplicationFn ?N2 ?N2))
                (MultiplicationFn 2.0
                    (MultiplicationFn ?N1 ?N2))))))		 Merge.kif 18247-18272 If All of the following hold: (1) the relative angle between X and Y is Z (2) one end of X is W (3) one end of X is V (4) equal W and V (5) the length of X is U T(s) (6) the length of Y is S T(s) (7) the distance between W and R is Q T(s) (8) one end of Y is R (9) one end of Y is P (10) equal R and P (11) W doesn't meet R, then equal Z and the arccosine of ((Q and Q and U and U) and S and S) and 2.0 and U and S
(=>
    (attribute ?F Flat)
    (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
        (and
            (side ?S1 ?F)
            (side ?S2 ?F)
            (meetsSpatially ?S1 ?S2)
            (not
                (equal ?S1 ?S2))
            (instance ?U UnitOfLength)
            (height ?F
                (MeasureFn ?HF ?U))
            (height ?S1
                (MeasureFn ?H1 ?U))
            (height ?S2
                (MeasureFn ?H2 ?U))
            (greaterThan ?H1
                (MultiplicationFn 2.0 ?HF))
            (greaterThan ?H2
                (MultiplicationFn 2.0 ?HF)))))		 Mid-level-ontology.kif 3382-3395 If flat is an attribute of X, then there exist Y, Z,, , W,, , V,, , U and T such that a side of X is Y and a side of X is Z and Y meets Z and equal Y and Z and T is an instance of unit of length and the height of X is W T(s) and the height of Y is V T(s) and the height of Z is U T(s) and V is greater than 2.0 and W and U is greater than 2.0 and W
(=>
    (attribute ?F LongAndThin)
    (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
        (and
            (side ?S1 ?F)
            (side ?S2 ?F)
            (meetsSpatially ?S1 ?S2)
            (not
                (equal ?S1 ?S2))
            (instance ?U UnitOfLength)
            (length ?F
                (MeasureFn ?HF ?U))
            (length ?S1
                (MeasureFn ?H1 ?U))
            (length ?S2
                (MeasureFn ?H2 ?U))
            (lessThan ?H1
                (MultiplicationFn 3.0 ?HF))
            (lessThan ?H2
                (MultiplicationFn 3.0 ?HF)))))		 Mid-level-ontology.kif 3403-3416 If long and thin is an attribute of X, then there exist Y, Z,, , W,, , V,, , U and T such that a side of X is Y and a side of X is Z and Y meets Z and equal Y and Z and T is an instance of unit of length and the length of X is W T(s) and the length of Y is V T(s) and the length of Z is U T(s) and V is less than 3.0 and W and U is less than 3.0 and W
(=>
    (equal
        (DiameterFn ?C)
        (MeasureFn ?L ?U))
    (exists (?R)
        (and
            (equal
                (RadiusFn ?C)
                (MeasureFn ?R ?U))
            (equal
                (MultiplicationFn ?R 2.0) ?L))))		 Mid-level-ontology.kif 5717-5722 If equal the diameter of X and Y Z(s), then there exists W such that equal the radius of X and W Z(s) and equal W and 2.0 and Y
(=>
    (and
        (defaultMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (greaterThan ?QUANTITY
                    (MultiplicationFn ?Q 1.5)))) Unlikely))		 Mid-level-ontology.kif 15129-15138 If the expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is greater than Y and 1.5 has the modal force of unlikely
(=>
    (and
        (defaultMeasure ?OBJECT
            (MeasureFn ?Q ?UNIT))
        (instance ?UNIT CompositeUnitOfMeasure))
    (modalAttribute
        (exists (?INST ?QUANTITY)
            (and
                (instance ?INST ?OBJECT)
                (measure ?INST
                    (MeasureFn ?QUANTITY ?UNIT))
                (lessThan ?QUANTITY
                    (MultiplicationFn ?Q 0.5)))) Unlikely))		 Mid-level-ontology.kif 15140-15149 If the expected value of X is Y Z(s) and Z is an instance of composite unit of measure, then the statement there exist W and V such that W is an instance of X and the measure of W is V Z(s) and V is less than Y and 0.5 has the modal force of unlikely
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER TonMass)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2205.0) PoundMass)))		 Mid-level-ontology.kif 15154-15158 If equal X, 1.0, and X, then equal X ton mass(s) and X and 2205.0 pound mass(s)
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205.0) PoundMass)))		 Mid-level-ontology.kif 15168-15174 The measure of X is Y metric ton(s) if and only if the measure of X is Y and 2205.0 pound mass(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER LongTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2240.0) PoundMass)))		 Mid-level-ontology.kif 15181-15185 If equal X, 1.0, and X, then equal X long ton(s) and X and 2240.0 pound mass(s)
(=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?SQUAREUNIT
            (SquareUnitFn ?UNIT)))
    (exists (?NUM)
        (and
            (instance ?NUM RealNumber)
            (equal
                (MeasureFn ?NUM ?SQUAREUNIT)
                (MeasureFn
                    (MultiplicationFn ?NUM ?NUM) ?UNIT)))))		 Mid-level-ontology.kif 15195-15206 If X is an instance of unit of measure and equal Y and the square unit of X, then there exists Z such that Z is an instance of real number and equal Z Y(s) and Z and Z X(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER CubicFoot)
        (MeasureFn
            (MultiplicationFn ?NUMBER
                (MultiplicationFn ?NUMBER ?NUMBER)) FootLength)))		 Mid-level-ontology.kif 15225-15232 If equal X, 1.0, and X, then equal X cubic foot(s) and X and X and X foot length(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER RegistryTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 100.0) CubicFoot)))		 Mid-level-ontology.kif 15263-15267 If equal X, 1.0, and X, then equal X registry ton(s) and X and 100.0 cubic foot(s)
(=>
    (equal ?N
        (MultiplicationFn 1 ?N))
    (equal
        (MeasureFn ?N MillenniumDuration)
        (MeasureFn
            (MultiplicationFn ?N 1000) YearDuration)))		 Mid-level-ontology.kif 15278-15282 If equal X, 1, and X, then equal X millennium(s) and X and 1000 year duration(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Acre)
        (MeasureFn
            (MultiplicationFn 4840.0 ?NUMBER) SquareYard)))		 Mid-level-ontology.kif 15287-15293 If equal X, 1.0, and X, then equal X acre(s) and 4840.0 and X square yard(s)
(=>
    (and
        (resourceConsumption ?PROC ?QUANT)
        (instance ?QUANT FunctionQuantity)
        (resource ?PROC ?RES)
        (equal ?QUANT
            (PerFn
                (MeasureFn ?Q ?U)
                (MeasureFn ?DC ?DU)))
        (duration
            (WhenFn ?PROC)
            (MeasureFn ?T ?DU))
        (holdsDuring
            (BeginFn
                (WhenFn ?PROC))
            (measure ?RES
                (MeasureFn ?X ?U)))
        (holdsDuring
            (EndFn
                (WhenFn ?PROC))
            (measure ?RES
                (MeasureFn ?Y ?U))))
    (equal ?Y
        (MeasureFn
            (SubtractionFn ?X
                (MultiplicationFn ?T
                    (DivisionFn ?Q ?DC))) ?U)))		 Mid-level-ontology.kif 18957-18983 If All of the following hold: (1) X amount as resource for the Process Y (2) X is an instance of function quantity (3) Z is a resource for Y (4) equal X and the per of W V(s) and U T(s) (5) duration of the time of existence of Y is S T(s) (6) the measure of Z is R V(s) holds during the beginning of the time of existence of Y (7) the measure of Z is Q V(s) holds during the end of the time of existence of Y, then equal Q and (R and S and W and U) V(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER CenturyDuration)
        (MeasureFn
            (MultiplicationFn ?NUMBER 100) YearDuration)))		 Mid-level-ontology.kif 21001-21005 If equal X, 1, and X, then equal X century duration(s) and X and 100 year duration(s)
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER YardLength)
        (MeasureFn
            (MultiplicationFn 3.0 ?NUMBER) FootLength)))		 Mid-level-ontology.kif 21010-21014 If equal X, 1.0, and X, then equal X yard length(s) and 3.0 and X foot length(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


(equal
    (MeasureFn ?NUMBER Centimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) Meter))		 Merge.kif 6899-6901 equal X centimeter(s) and X and 0.01 meter(s)
(equal
    (MeasureFn ?NUMBER Millimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.001) Meter))		 Merge.kif 6908-6911 equal X millimeter(s) and X and 0.001 meter(s)
(equal
    (MeasureFn ?NUMBER Kilometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Meter))		 Merge.kif 6918-6921 equal X kilometer(s) and X and 1000 meter(s)
(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))		 Merge.kif 7206-7208 equal X day duration(s) and X and 24 hour duration(s)
(equal
    (MeasureFn ?NUMBER HourDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) MinuteDuration))		 Merge.kif 7214-7216 equal X hour duration(s) and X and 60 minute duration(s)
(equal
    (MeasureFn ?NUMBER MinuteDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) SecondDuration))		 Merge.kif 7222-7224 equal X minute duration(s) and X and 60 second duration(s)
(equal
    (MeasureFn ?NUMBER Amu)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn
                (DivisionFn
                    (DivisionFn
                        (DivisionFn 1.6605402 1000000.0) 1000000.0) 1000000.0) 1000000.0)) Gram))		 Merge.kif 7271-7281 equal X amu(s) and X and 1.6605402 and 1000000.0 and 1000000.0 and 1000000.0 and 1000000.0 gram(s)
(equal
    (MeasureFn ?NUMBER ElectronVolt)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn
                (DivisionFn
                    (DivisionFn 1.60217733 1000000.0) 1000000.0) 10000000.0)) Joule))		 Merge.kif 7289-7297 equal X electron volt(s) and X and 1.60217733 and 1000000.0 and 1000000.0 and 10000000.0 joule(s)
(equal
    (MeasureFn ?NUMBER Angstrom)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn
                (DivisionFn 1.0 100000.0) 100000.0)) Meter))		 Merge.kif 7307-7313 equal X angstrom(s) and X and 1.0 and 100000.0 and 100000.0 meter(s)
(equal
    (MeasureFn ?NUMBER FootLength)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.3048) Meter))		 Merge.kif 7324-7326 equal X foot length(s) and X and 0.3048 meter(s)
(equal
    (MeasureFn ?NUMBER Inch)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0254) Meter))		 Merge.kif 7331-7333 equal X inch(s) and X and 0.0254 meter(s)
(equal
    (MeasureFn ?NUMBER Mile)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1609.344) Meter))		 Merge.kif 7338-7340 equal X mile(s) and X and 1609.344 meter(s)
(equal
    (MeasureFn ?NUMBER UnitedStatesGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 3.785411784) Liter))		 Merge.kif 7350-7352 equal X united states gallon(s) and X and 3.785411784 liter(s)
(equal
    (MeasureFn ?NUMBER UnitedKingdomGallon)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.54609) Liter))		 Merge.kif 7395-7397 equal X united kingdom gallon(s) and X and 4.54609 liter(s)
(equal
    (MeasureFn ?NUMBER Kilogram)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Gram))		 Merge.kif 7417-7420 equal X kilogram(s) and X and 1000 gram(s)
(equal
    (MeasureFn ?NUMBER PoundMass)
    (MeasureFn
        (MultiplicationFn ?NUMBER 453.59237) Gram))		 Merge.kif 7434-7436 equal X pound mass(s) and X and 453.59237 gram(s)
(equal
    (MeasureFn ?NUMBER Slug)
    (MeasureFn
        (MultiplicationFn ?NUMBER 14593.90) Gram))		 Merge.kif 7442-7444 equal X slug(s) and X and 14593.90 gram(s)
(equal
    (MeasureFn ?NUMBER RankineDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.8) KelvinDegree))		 Merge.kif 7454-7456 equal X rankine degree(s) and X and 1.8 kelvin degree(s)
(equal
    (MeasureFn ?NUMBER PoundForce)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.448222) Newton))		 Merge.kif 7473-7475 equal X pound force(s) and X and 4.448222 newton(s)
(equal
    (MeasureFn ?NUMBER Calorie)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.1868) Joule))		 Merge.kif 7483-7485 equal X calorie(s) and X and 4.1868 joule(s)
(equal
    (MeasureFn ?NUMBER BritishThermalUnit)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1055.05585262) Joule))		 Merge.kif 7491-7493 equal X british thermal unit(s) and X and 1055.05585262 joule(s)
(equal
    (MeasureFn ?NUMBER AngularDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn Pi 180.0)) Radian))		 Merge.kif 7505-7507 equal X angular degree(s) and X and pi and 180.0 radian(s)
(equal
    (MeasureFn ?NUMBER UnitedStatesCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) UnitedStatesDollar))		 Merge.kif 7529-7531 equal X united states cent(s) and X and 0.01 united states dollar(s)
(equal
    (MeasureFn ?NUMBER EuroCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) EuroDollar))		 Merge.kif 7543-7545 equal X euro cent(s) and X and 0.01 euro dollar(s)
(equal
    (MeasureFn ?NUMBER Byte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 8) Bit))		 Merge.kif 7563-7565 equal X byte(s) and X and 8 bit(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners