Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MultiplicationFn
MultiplicationFn

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


(documentation MultiplicationFn ChineseLanguage "如果 ?NUMBER1 和 ?NUMBER2 是 Number,那么 (MultiplicationFn ?NUMBER1 ?NUMBER2)就是这些数字的算术积。") chinese_format.kif 2212-2213
(documentation MultiplicationFn EnglishLanguage "If ?NUMBER1 and ?NUMBER2 are Numbers, then (MultiplicationFn ?NUMBER1 ?NUMBER2) is the arithmetical product of these numbers.") Merge.kif 4563-4565
(domain MultiplicationFn 1 Number) Merge.kif 4559-4559
(domain MultiplicationFn 2 Number) Merge.kif 4560-4560
(identityElement MultiplicationFn 1) Merge.kif 5094-5094
(instance MultiplicationFn AssociativeFunction) Merge.kif 4555-4555
(instance MultiplicationFn BinaryFunction) Merge.kif 4554-4554
(instance MultiplicationFn CommutativeFunction) Merge.kif 4556-4556
(instance MultiplicationFn TotalValuedRelation) Merge.kif 4558-4558
(range MultiplicationFn Number) Merge.kif 4561-4561

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


(format ChineseLanguage MultiplicationFn "%*[*]") chinese_format.kif 680-680
(format EnglishLanguage MultiplicationFn "%*[*]") english_format.kif 685-685
(termFormat ChineseLanguage MultiplicationFn "乘法") domainEnglishFormat.kif 39168-39168
(termFormat ChineseLanguage MultiplicationFn "乘法函数") chinese_format.kif 681-681
(termFormat ChineseTraditionalLanguage MultiplicationFn "乘法") domainEnglishFormat.kif 39167-39167
(termFormat EnglishLanguage MultiplicationFn "multiplication") domainEnglishFormat.kif 39166-39166

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


(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?AMOUNT
            (MeasureFn
                (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))
    (arableLandArea ?REGION ?AMOUNT))
Geography.kif 2061-2068
(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (arableLandArea ?REGION ?AMOUNT))
Geography.kif 2052-2059
(=>
    (and
        (equal ?N4
            (MultiplicationFn ?N1
                (MultiplicationFn ?N2 ?N3)))
        (equal ?QUANT
            (MultiplicationFn
                (MeasureFn ?N1 FootLength)
                (MultiplicationFn
                    (MeasureFn ?N2 FootLength)
                    (MeasureFn ?N3 FootLength)))))
    (equal ?QUANT
        (MeasureFn ?N4 CubicFoot)))
Mid-level-ontology.kif 12840-12850
(=>
    (and
        (otherLandUseArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?AMOUNT
            (MeasureFn
                (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))
    (otherLandUseArea ?REGION ?AMOUNT))
Geography.kif 2151-2158
(=>
    (and
        (otherLandUseArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (otherLandUseArea ?REGION ?AMOUNT))
Geography.kif 2142-2149
(=>
    (and
        (permanentCropLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?AMOUNT
            (MeasureFn
                (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))
    (permanentCropLandArea ?REGION ?AMOUNT))
Geography.kif 2109-2116
(=>
    (and
        (permanentCropLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (permanentCropLandArea ?REGION ?AMOUNT))
Geography.kif 2100-2107
(=>
    (and
        (principalAmount ?Account ?Balance)
        (fixedInterestRate ?Account ?Rate)
        (compoundInterest ?Account ?Interest ?Period)
        (equal ?Rate-Decimal
            (DivisionFn ?Rate 100))
        (equal ?Add
            (AdditionFn 1 ?Rate-Decimal))
        (equal ?Exponent
            (ExponentiationFn ?Add
                (MagnitudeFn ?Period)))
        (equal ?Multiply
            (MultiplicationFn ?Exponent ?Balance)))
    (equal ?Interest
        (SubtractionFn ?Multiply ?Balance)))
FinancialOntology.kif 532-541
(=>
    (and
        (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
        (totalGDPInPeriod ?AREA ?GDPAMOUNT ?PERIOD)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?GDPAMOUNT)))
    (sectorValueOfGDPInPeriod ?AREA ?SECTOR ?AMOUNT ?PERIOD))
Economy.kif 1103-1108
(=>
    (and
        (simpleInterest ?Account ?Interest ?Period)
        (principalAmount ?Account ?Principal)
        (equal ?Rate-Decimal
            (DivisionFn ?Interest ?Principal))
        (equal ?Rate
            (MultiplicationFn ?Rate-Decimal 100)))
    (interestRatePerPeriod ?Account ?Rate ?Period))
FinancialOntology.kif 551-557
(=>
    (equal ?N
        (MultiplicationFn 1 ?N))
    (equal
        (MeasureFn ?N MillenniumDuration)
        (MeasureFn
            (MultiplicationFn ?N 1000) YearDuration)))
Mid-level-ontology.kif 12875-12879
(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.151) Mile)))
Geography.kif 3762-3764
(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))
Geography.kif 3754-3756
(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1852) Meter)))
Geography.kif 3750-3752
(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 6076.1) FootLength)))
Geography.kif 3758-3760
(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM SquareKilometer)
        (MeasureFn
            (MultiplicationFn ?NUM 1000000) SquareMeter)))
Geography.kif 627-630
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER CenturyDuration)
        (MeasureFn
            (MultiplicationFn ?NUMBER 100) YearDuration)))
Mid-level-ontology.kif 18097-18101
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER DecadeDuration)
        (MeasureFn
            (MultiplicationFn ?NUMBER 10) YearDuration)))
Merge.kif 8402-8406
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Fathom)
        (MeasureFn
            (MultiplicationFn ?NUMBER 6) FootLength)))
Geography.kif 3722-3726
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER LongTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2240) PoundMass)))
Mid-level-ontology.kif 12821-12825
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Nanometer)
        (MeasureFn
            (MultiplicationFn ?NUMBER 0.000000001) Meter)))
Mid-level-ontology.kif 18116-18122
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER RegistryTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 100) CubicFoot)))
Mid-level-ontology.kif 12860-12864
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER TonMass)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2000) PoundMass)))
Mid-level-ontology.kif 12794-12798
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER YardLength)
        (MeasureFn
            (MultiplicationFn 3 ?NUMBER) FootLength)))
Mid-level-ontology.kif 18106-18110

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


(<=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
        (MultiplicationFn
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))
Geography.kif 3804-3808
(<=>
    (equal
        (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
    (equal
        (AdditionFn
            (MultiplicationFn
                (FloorFn
                    (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 4941-4943
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205) PoundMass)))
Mid-level-ontology.kif 12808-12814
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcMinute)))
Geography.kif 378-380
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcSecond)))
Geography.kif 397-399
(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?ARABLE)
        (and
            (instance ?ARABLE ArableLand)
            (geographicSubregion ?ARABLE ?REGION)
            (measure ?ARABLE
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2070-2080
(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T ?U)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T
                    (MeasureFn ?C ?U))
                (instance ?U UnitOfCurrency)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))
ArabicCulture.kif 193-212
(=>
    (and
        (comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2)
        (instance ?UNIT UnitOfArea)
        (measure ?REGION1
            (MeasureFn ?NUM1 ?UNIT))
        (measure ?REGION2
            (MeasureFn ?NUM2 ?UNIT)))
    (?RELATION
        (MeasureFn ?NUM1 ?UNIT)
        (MeasureFn
            (MultiplicationFn ?FACTOR ?NUM2) ?UNIT)))
Geography.kif 658-668
(=>
    (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 12769-12778
(=>
    (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 .5)))) Unlikely))
Mid-level-ontology.kif 12780-12789
(=>
    (and
        (equal ?VA
            (VarianceAverageFn ?M ?L))
        (equal 1
            (ListLengthFn ?L)))
    (equal ?VA
        (MultiplicationFn
            (SubtractionFn ?M
                (ListOrderFn ?L 1))
            (SubtractionFn ?M
                (ListOrderFn ?L 1)))))
Weather.kif 1485-1496
(=>
    (and
        (instance ?NUMBER Integer)
        (not
            (equal ?NUMBER 0)))
    (equal 1
        (MultiplicationFn ?NUMBER
            (ReciprocalFn ?NUMBER))))
Merge.kif 4923-4928
(=>
    (and
        (instance ?T ElectricalTransformer)
        (instance ?WC1 WireCoil)
        (instance ?WC2 WireCoil)
        (coilCount ?WC1 ?N1)
        (coilCount ?WC2 ?N2)
        (holdsDuring ?T
            (measure ?WC1
                (MeasureFn Volt ?V1))))
    (and
        (holdsDuring ?T
            (measure ?WC2
                (MeasureFn Volt ?V2)))
        (equal ?V2
            (MultiplicationFn ?V1
                (DivisionFn ?N2 ?N1)))))
Cars.kif 3095-3109
(=>
    (and
        (instance ?WW WaterWave)
        (waveHeight ?WW ?WH))
    (exists (?LIST ?WA ?U)
        (and
            (inList ?WH ?LIST)
            (instance ?WA WaterArea)
            (eventLocated ?WW ?WA)
            (instance ?U LengthMeasure)
            (significantWaveHeight ?WA
                (WhenFn ?WW)
                (MeasureFn ?SWH ?U))
            (equal ?SWH
                (MultiplicationFn 4
                    (StandardDeviationFn ?LIST))))))
Weather.kif 1531-1546
(=>
    (and
        (otherLandUseArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?OTHER)
        (and
            (instance ?OTHER LandArea)
            (not
                (instance ?OTHER ArableLand))
            (not
                (instance ?OTHER PermanentCropLand))
            (geographicSubregion ?OTHER ?REGION)
            (measure ?OTHER
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2160-2172
(=>
    (and
        (permanentCropLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?PERMCROP)
        (and
            (instance ?PERMCROP PermanentCropLand)
            (geographicSubregion ?PERMCROP ?REGION)
            (measure ?PERMCROP
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2118-2128
(=>
    (and
        (possesses ?Agent ?Stocks)
        (measure ?Stocks
            (MeasureFn ?Number ShareUnit))
        (splitFor ?Event ?N1 ?N2))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?Event))
        (and
            (equal ?N3
                (MultiplicationFn ?Number ?N2))
            (equal ?NewNumber
                (DivisionFn ?N3 ?N1))
            (measure ?Stocks
                (MeasureFn ?NewNumber ShareUnit)))))
FinancialOntology.kif 2200-2210
(=>
    (and
        (price ?Stocks
            (MeasureFn ?Number UnitedStatesDollar) ?Time)
        (exists (?Event)
            (and
                (splitFor ?Event ?N1 ?N2)
                (equal
                    (WhenFn ?Event) ?TimeOfSplit))))
    (and
        (equal ?N3
            (MultiplicationFn ?Number ?N1))
        (equal ?NewNumber
            (DivisionFn ?N3 ?N2))
        (price ?Stocks
            (MeasureFn ?NewNumber UnitedStatesDollar) ?TimeAfterSplit)
        (meetsTemporally ?Time ?TimeOfSplit)
        (meetsTemporally ?TimeOfSplit ?TimeAfterSplit)))
FinancialOntology.kif 2212-2224
(=>
    (and
        (principalAmount ?Account ?Balance)
        (fixedInterestRate ?Account ?Rate)
        (simpleInterest ?Account ?Amount ?Period)
        (equal ?Rate-Decimal
            (DivisionFn
                (MagnitudeFn ?Rate) 100)))
    (equal ?Amount
        (MultiplicationFn
            (MultiplicationFn
                (MagnitudeFn ?Period) ?Balance) ?Rate-Decimal)))
FinancialOntology.kif 514-520
(=>
    (and
        (relativeAngle ?O1 ?O2
            (MeasureFn ?N AngularDegree))
        (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
                    (MultiplicationFn ?N1 ?N2))))))
Merge.kif 17186-17212
(=>
    (attribute ?F Flat)
    (and
        (side ?S1 ?F)
        (side ?S2 ?F)
        (meetsSpatially ?S1 ?S2)
        (not
            (equal ?S1 ?S2))
        (height ?F
            (MeasureFn ?HF ?U))
        (height ?S1
            (MeasureFn ?H1 ?U))
        (height ?S2
            (MeasureFn ?H2 ?U))
        (greaterThan ?H1
            (MultiplicationFn 2 ?HF))
        (greaterThan ?H2
            (MultiplicationFn 2 ?HF))))
Mid-level-ontology.kif 2720-2731
(=>
    (attribute ?F LongAndThin)
    (and
        (side ?S1 ?F)
        (side ?S2 ?F)
        (meetsSpatially ?S1 ?S2)
        (not
            (equal ?S1 ?S2))
        (length ?F
            (MeasureFn ?HF ?U))
        (length ?S1
            (MeasureFn ?H1 ?U))
        (length ?S2
            (MeasureFn ?H2 ?U))
        (lessThan ?H1
            (MultiplicationFn 3 ?HF))
        (lessThan ?H2
            (MultiplicationFn 3 ?HF))))
Mid-level-ontology.kif 2739-2750
(=>
    (circumfrence ?CIRCLE ?LENGTH)
    (exists (?D ?UNIT)
        (and
            (diameter ?CIRCLE
                (MeasureFn ?D ?UNIT))
            (equal
                (MeasureFn
                    (MultiplicationFn ?D 3.14) ?UNIT) ?LENGTH))))
Mid-level-ontology.kif 30184-30192
(=>
    (diameter ?CIRCLE ?LENGTH)
    (exists (?NHALF ?UHALF)
        (and
            (radius ?CIRCLE
                (MeasureFn ?NHALF ?UHALF))
            (equal
                (MeasureFn
                    (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7447-7452
(=>
    (equal
        (DiameterFn ?C)
        (MeasureFn ?L ?U))
    (exists (?R)
        (and
            (equal
                (RadiusFn ?C)
                (MeasureFn ?R ?U))
            (equal
                (MultiplicationFn ?R 2) ?L))))
Mid-level-ontology.kif 4651-4656

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(equal
    (MeasureFn 1 CubicFoot)
    (MultiplicationFn
        (MeasureFn 1 FootLength)
        (MultiplicationFn
            (MeasureFn 1 FootLength)
            (MeasureFn 1 FootLength))))
Mid-level-ontology.kif 12832-12838
(equal
    (MeasureFn 1 SquareKilometer)
    (MultiplicationFn
        (MeasureFn 1
            (KiloFn Meter))
        (MeasureFn 1
            (KiloFn Meter))))
Geography.kif 624-625
(equal
    (MeasureFn 1 SquareMeter)
    (MultiplicationFn
        (MeasureFn 1 Meter)
        (MeasureFn 1 Meter)))
Geography.kif 3792-3793
(equal
    (MeasureFn ?DEG ArcMinute)
    (MeasureFn
        (MultiplicationFn 60 ?DEG) ArcSecond))
Geography.kif 402-402
(equal
    (MeasureFn ?NUM AngularDegree)
    (MeasureFn
        (MultiplicationFn 60 ?NUM) ArcMinute))
Geography.kif 383-383
(equal
    (MeasureFn ?NUMBER Amu)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.6605402E-24) Gram))
Merge.kif 6937-6939
(equal
    (MeasureFn ?NUMBER Angstrom)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.0E-10) Meter))
Merge.kif 6959-6961
(equal
    (MeasureFn ?NUMBER AngularDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn Pi 180.0)) Radian))
Merge.kif 7153-7155
(equal
    (MeasureFn ?NUMBER BritishThermalUnit)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1055.05585262) Joule))
Merge.kif 7139-7141
(equal
    (MeasureFn ?NUMBER Byte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 8) Bit))
Merge.kif 7211-7213
(equal
    (MeasureFn ?NUMBER Calorie)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.1868) Joule))
Merge.kif 7131-7133
(equal
    (MeasureFn ?NUMBER Centimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) Meter))
Merge.kif 6570-6572
(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))
Merge.kif 6877-6879
(equal
    (MeasureFn ?NUMBER ElectronVolt)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))
Merge.kif 6947-6949
(equal
    (MeasureFn ?NUMBER EuroCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) EuroDollar))
Merge.kif 7191-7193
(equal
    (MeasureFn ?NUMBER FootLength)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.3048) Meter))
Merge.kif 6972-6974
(equal
    (MeasureFn ?NUMBER HourDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) MinuteDuration))
Merge.kif 6885-6887
(equal
    (MeasureFn ?NUMBER Inch)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0254) Meter))
Merge.kif 6979-6981
(equal
    (MeasureFn ?NUMBER KiloByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) Byte))
Merge.kif 7221-7223
(equal
    (MeasureFn ?NUMBER Kilogram)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Gram))
Merge.kif 7065-7068
(equal
    (MeasureFn ?NUMBER Kilometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Meter))
Merge.kif 6589-6592
(equal
    (MeasureFn ?NUMBER MegaByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) KiloByte))
Merge.kif 7231-7233
(equal
    (MeasureFn ?NUMBER Micrometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0000001) Meter))
Geography.kif 6627-6630
(equal
    (MeasureFn ?NUMBER Mile)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1609.344) Meter))
Merge.kif 6986-6988
(equal
    (MeasureFn ?NUMBER Millimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.001) Meter))
Merge.kif 6579-6582

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 is open source software produced by Articulate Software and its partners