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 4520-4522
(domain MultiplicationFn 1 Number) Merge.kif 4516-4516 domain MultiplicationFn, 1 and Number
(domain MultiplicationFn 2 Number) Merge.kif 4517-4517 domain MultiplicationFn, 2 and Number
(identityElement MultiplicationFn 1) Merge.kif 5017-5017 identityElement MultiplicationFn and 1
(instance MultiplicationFn AssociativeFunction) Merge.kif 4512-4512 instance MultiplicationFn and AssociativeFunction
(instance MultiplicationFn BinaryFunction) Merge.kif 4511-4511 instance MultiplicationFn and BinaryFunction
(instance MultiplicationFn CommutativeFunction) Merge.kif 4513-4513 instance MultiplicationFn and CommutativeFunction
(instance MultiplicationFn TotalValuedRelation) Merge.kif 4515-4515 instance MultiplicationFn and TotalValuedRelation
(range MultiplicationFn Number) Merge.kif 4518-4518 range MultiplicationFn and Number

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 39109-39109
(termFormat ChineseLanguage MultiplicationFn "乘法函数") chinese_format.kif 681-681
(termFormat ChineseTraditionalLanguage MultiplicationFn "乘法") domainEnglishFormat.kif 39108-39108
(termFormat EnglishLanguage MultiplicationFn "multiplication") domainEnglishFormat.kif 39107-39107

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 2040-2047
(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (arableLandArea ?REGION ?AMOUNT))
Geography.kif 2031-2038
(=>
    (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 11264-11274
(=>
    (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 2130-2137
(=>
    (and
        (otherLandUseArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (otherLandUseArea ?REGION ?AMOUNT))
Geography.kif 2121-2128
(=>
    (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 2088-2095
(=>
    (and
        (permanentCropLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (permanentCropLandArea ?REGION ?AMOUNT))
Geography.kif 2079-2086
(=>
    (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 531-540
(=>
    (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 550-556
(=>
    (equal ?N
        (MultiplicationFn 1 ?N))
    (equal
        (MeasureFn ?N MillenniumDuration)
        (MeasureFn
            (MultiplicationFn ?N 1000) YearDuration)))
Mid-level-ontology.kif 11299-11303
(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.151) Mile)))
Geography.kif 3719-3721
(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))
Geography.kif 3711-3713
(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1852) Meter)))
Geography.kif 3707-3709
(=>
    (equal ?NUM
        (MultiplicationFn 1 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 6076.1) FootLength)))
Geography.kif 3715-3717
(=>
    (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 16882-16886
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER DecadeDuration)
        (MeasureFn
            (MultiplicationFn ?NUMBER 10) YearDuration)))
Merge.kif 8233-8237
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Fathom)
        (MeasureFn
            (MultiplicationFn ?NUMBER 6) FootLength)))
Geography.kif 3679-3683
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER LongTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2240) PoundMass)))
Mid-level-ontology.kif 11245-11249
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Nanometer)
        (MeasureFn
            (MultiplicationFn ?NUMBER 0.000000001) Meter)))
Mid-level-ontology.kif 16899-16905
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER RegistryTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 100) CubicFoot)))
Mid-level-ontology.kif 11284-11288
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER TonMass)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2000) PoundMass)))
Mid-level-ontology.kif 11218-11222
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER YardLength)
        (MeasureFn
            (MultiplicationFn 3 ?NUMBER) FootLength)))
Mid-level-ontology.kif 16891-16895

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


(<=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
        (MultiplicationFn
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))
Geography.kif 3761-3765 instance UnitOfMeasure and UnitOfMeasure equal Number and MeasureFn 1 and SquareUnitFn UnitOfMeasure equal Number and MultiplicationFn MeasureFn 1 and UnitOfMeasure and MeasureFn 1 and UnitOfMeasure
(<=>
    (equal
        (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
    (equal
        (AdditionFn
            (MultiplicationFn
                (FloorFn
                    (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 4898-4900 equal RemainderFn Integer and Integer and Integer equal AdditionFn MultiplicationFn FloorFn DivisionFn Integer and Integer and Integer and Integer and Integer
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205) PoundMass)))
Mid-level-ontology.kif 11232-11238 measure Object and MeasureFn RealNumber and MetricTon measure Object and MeasureFn MultiplicationFn RealNumber and 2205 and PoundMass
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcMinute)))
Geography.kif 378-380 measure Object and MeasureFn RealNumber and AngularDegree measure Object and MeasureFn MultiplicationFn 60 and RealNumber and ArcMinute
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcSecond)))
Geography.kif 397-399 measure Object and MeasureFn RealNumber and ArcMinute measure Object and MeasureFn MultiplicationFn 60 and RealNumber and ArcSecond
(=>
    (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 2049-2059
(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T ?C)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))
ArabicCulture.kif 193-210
(=>
    (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 11193-11202
(=>
    (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 11204-11213
(=>
    (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 1092-1103
(=>
    (and
        (instance ?NUMBER Integer)
        (not
            (equal ?NUMBER 0)))
    (equal 1
        (MultiplicationFn ?NUMBER
            (ReciprocalFn ?NUMBER))))
Merge.kif 4880-4885
(=>
    (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 3070-3084
(=>
    (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 1137-1152
(=>
    (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 2139-2151
(=>
    (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 2097-2107
(=>
    (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 2160-2170
(=>
    (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 2172-2184
(=>
    (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 513-519
(=>
    (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 3253-3264
(=>
    (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 3277-3288
(=>
    (diameter ?CIRCLE ?LENGTH)
    (exists (?NHALF ?UHALF)
        (and
            (radius ?CIRCLE
                (MeasureFn ?NHALF ?UHALF))
            (equal
                (MeasureFn
                    (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7282-7287
(=>
    (equal
        (DiameterFn ?C)
        (MeasureFn ?L ?U))
    (exists (?R)
        (and
            (equal
                (RadiusFn ?C)
                (MeasureFn ?R ?U))
            (equal
                (MultiplicationFn ?R 2) ?L))))
Mid-level-ontology.kif 5255-5260
(=>
    (equal
        (SquareRootFn ?NUMBER1) ?NUMBER2)
    (equal
        (MultiplicationFn ?NUMBER2 ?NUMBER2) ?NUMBER1))
Merge.kif 4981-4983
(=>
    (equal ?AMOUNT
        (MeasureFn ?NUM NauticalMile))
    (equal ?AMOUNT
        (MeasureFn
            (MultiplicationFn ?NUM 1.151) Mile)))
Geography.kif 3703-3705

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 11256-11262 equal MeasureFn 1 and CubicFoot and MultiplicationFn MeasureFn 1 and FootLength and MultiplicationFn MeasureFn 1 and FootLength and MeasureFn 1 and FootLength
(equal
    (MeasureFn 1 SquareKilometer)
    (MultiplicationFn
        (MeasureFn 1
            (KiloFn Meter))
        (MeasureFn 1
            (KiloFn Meter))))
Geography.kif 624-625 equal MeasureFn 1 and SquareKilometer and MultiplicationFn MeasureFn 1 and KiloFn Meter and MeasureFn 1 and KiloFn Meter
(equal
    (MeasureFn 1 SquareMeter)
    (MultiplicationFn
        (MeasureFn 1 Meter)
        (MeasureFn 1 Meter)))
Geography.kif 3749-3750 equal MeasureFn 1 and SquareMeter and MultiplicationFn MeasureFn 1 and Meter and MeasureFn 1 and Meter
(equal
    (MeasureFn ?DEG ArcMinute)
    (MeasureFn
        (MultiplicationFn 60 ?DEG) ArcSecond))
Geography.kif 402-402 equal MeasureFn RealNumber and ArcMinute and MeasureFn MultiplicationFn 60 and RealNumber and ArcSecond
(equal
    (MeasureFn ?NUM AngularDegree)
    (MeasureFn
        (MultiplicationFn 60 ?NUM) ArcMinute))
Geography.kif 383-383 equal MeasureFn RealNumber and AngularDegree and MeasureFn MultiplicationFn 60 and RealNumber and ArcMinute
(equal
    (MeasureFn ?NUMBER Amu)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.6605402E-24) Gram))
Merge.kif 6860-6862 equal MeasureFn RealNumber and Amu and MeasureFn MultiplicationFn RealNumber and 1.6605402E-24 and Gram
(equal
    (MeasureFn ?NUMBER Angstrom)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.0E-10) Meter))
Merge.kif 6882-6884 equal MeasureFn RealNumber and Angstrom and MeasureFn MultiplicationFn RealNumber and 1.0E-10 and Meter
(equal
    (MeasureFn ?NUMBER AngularDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn Pi 180.0)) Radian))
Merge.kif 7076-7078 equal MeasureFn RealNumber and AngularDegree and MeasureFn MultiplicationFn RealNumber and DivisionFn Pi and 180.0 and Radian
(equal
    (MeasureFn ?NUMBER BritishThermalUnit)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1055.05585262) Joule))
Merge.kif 7062-7064 equal MeasureFn RealNumber and BritishThermalUnit and MeasureFn MultiplicationFn RealNumber and 1055.05585262 and Joule
(equal
    (MeasureFn ?NUMBER Byte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 8) Bit))
Merge.kif 7134-7136 equal MeasureFn RealNumber and Byte and MeasureFn MultiplicationFn RealNumber and 8 and Bit
(equal
    (MeasureFn ?NUMBER Calorie)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.1868) Joule))
Merge.kif 7054-7056 equal MeasureFn RealNumber and Calorie and MeasureFn MultiplicationFn RealNumber and 4.1868 and Joule
(equal
    (MeasureFn ?NUMBER Centimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) Meter))
Merge.kif 6493-6495 equal MeasureFn RealNumber and Centimeter and MeasureFn MultiplicationFn RealNumber and 0.01 and Meter
(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))
Merge.kif 6800-6802 equal MeasureFn RealNumber and DayDuration and MeasureFn MultiplicationFn RealNumber and 24 and HourDuration
(equal
    (MeasureFn ?NUMBER ElectronVolt)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))
Merge.kif 6870-6872 equal MeasureFn RealNumber and ElectronVolt and MeasureFn MultiplicationFn RealNumber and 1.60217733E-19 and Joule
(equal
    (MeasureFn ?NUMBER EuroCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) EuroDollar))
Merge.kif 7114-7116 equal MeasureFn RealNumber and EuroCent and MeasureFn MultiplicationFn RealNumber and 0.01 and EuroDollar
(equal
    (MeasureFn ?NUMBER FootLength)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.3048) Meter))
Merge.kif 6895-6897 equal MeasureFn RealNumber and FootLength and MeasureFn MultiplicationFn RealNumber and 0.3048 and Meter
(equal
    (MeasureFn ?NUMBER HourDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) MinuteDuration))
Merge.kif 6808-6810 equal MeasureFn RealNumber and HourDuration and MeasureFn MultiplicationFn RealNumber and 60 and MinuteDuration
(equal
    (MeasureFn ?NUMBER Inch)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0254) Meter))
Merge.kif 6902-6904 equal MeasureFn RealNumber and Inch and MeasureFn MultiplicationFn RealNumber and 0.0254 and Meter
(equal
    (MeasureFn ?NUMBER KiloByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) Byte))
Merge.kif 7144-7146 equal MeasureFn RealNumber and KiloByte and MeasureFn MultiplicationFn RealNumber and 1024 and Byte
(equal
    (MeasureFn ?NUMBER Kilogram)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Gram))
Merge.kif 6988-6991 equal MeasureFn RealNumber and Kilogram and MeasureFn MultiplicationFn RealNumber and 1000 and Gram
(equal
    (MeasureFn ?NUMBER Kilometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Meter))
Merge.kif 6512-6515 equal MeasureFn RealNumber and Kilometer and MeasureFn MultiplicationFn RealNumber and 1000 and Meter
(equal
    (MeasureFn ?NUMBER MegaByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) KiloByte))
Merge.kif 7154-7156 equal MeasureFn RealNumber and MegaByte and MeasureFn MultiplicationFn RealNumber and 1024 and KiloByte
(equal
    (MeasureFn ?NUMBER Micrometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0000001) Meter))
Geography.kif 6528-6531 equal MeasureFn RealNumber and Micrometer and MeasureFn MultiplicationFn RealNumber and 0.0000001 and Meter
(equal
    (MeasureFn ?NUMBER Mile)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1609.344) Meter))
Merge.kif 6909-6911 equal MeasureFn RealNumber and Mile and MeasureFn MultiplicationFn RealNumber and 1609.344 and Meter
(equal
    (MeasureFn ?NUMBER Millimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.001) Meter))
Merge.kif 6502-6505 equal MeasureFn RealNumber and Millimeter and MeasureFn MultiplicationFn RealNumber and 0.001 and Meter

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