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 4513-4515
(domain MultiplicationFn 1 Quantity) Merge.kif 4509-4509 乘法函数 的 1 数量 是 数量instance
(domain MultiplicationFn 2 Quantity) Merge.kif 4510-4510 乘法函数 的 2 数量 是 数量instance
(identityElement MultiplicationFn 1) Merge.kif 5010-5010 1 是 乘法函数 的单位元
(instance MultiplicationFn AssociativeFunction) Merge.kif 4505-4505 乘法函数结合函数instance
(instance MultiplicationFn BinaryFunction) Merge.kif 4504-4504 乘法函数二元函数instance
(instance MultiplicationFn CommutativeFunction) Merge.kif 4506-4506 乘法函数交换函数instance
(instance MultiplicationFn TotalValuedRelation) Merge.kif 4508-4508 乘法函数总值关系instance
(range MultiplicationFn Quantity) Merge.kif 4511-4511 乘法函数range数量 的实例

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

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 11262-11272
(=>
    (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 11297-11301
(=>
    (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 16877-16881
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER DecadeDuration)
        (MeasureFn
            (MultiplicationFn ?NUMBER 10) YearDuration)))
Merge.kif 8218-8222
(=>
    (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 11243-11247
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Nanometer)
        (MeasureFn
            (MultiplicationFn ?NUMBER 0.000000001) Meter)))
Mid-level-ontology.kif 16894-16900
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER RegistryTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 100) CubicFoot)))
Mid-level-ontology.kif 11282-11286
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER TonMass)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2000) PoundMass)))
Mid-level-ontology.kif 11216-11220
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER YardLength)
        (MeasureFn
            (MultiplicationFn 3 ?NUMBER) FootLength)))
Mid-level-ontology.kif 16886-16890

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 物理量 equal 1 那个 测量单位square 单位 若且唯若 那个 物理量 equal 1 那个 测量单位 和 1 那个 测量单位
(<=>
    (equal
        (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
    (equal
        (AdditionFn
            (MultiplicationFn
                (FloorFn
                    (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 4891-4893 整数 模除 另一个 整数 equal 第三 整数 若且唯若 (取 那个 整数那个 另外 整数 的底整数 和 那个 另外 整数那个 第三 整数) equal 那个 整数
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205) PoundMass)))
Mid-level-ontology.kif 11230-11236 客体measure 实数 公吨 若且唯若 那个 客体measure那个 实数 和 2205 磅质量
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcMinute)))
Geography.kif 378-380 客体measure 实数 圆周角度 若且唯若 那个 客体measure 是 60 和 那个 实数 弧分
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcSecond)))
Geography.kif 397-399 客体measure 实数 弧分 若且唯若 那个 客体measure 是 60 和 那个 实数 弧秒
(=>
    (and
        (Process ?WW WaterWave)
        (waveHeight ?WW ?WH))
    (exists (?LIST ?WA)
        (and
            (inList ?WH ?LIST)
            (instance ?WA WaterArea)
            (eventLocated ?WW ?WA)
            (significantWaveHeight ?WA
                (WhenFn ?WW)
                (MeasureFn ?SWH ?U))
            (equal ?SWH
                (MultiplicationFn 4
                    (StandardDeviationFn ?LIST))))))
Weather.kif 1131-1145
(=>
    (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 11191-11200
(=>
    (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 11202-11211
(=>
    (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 1089-1100
(=>
    (and
        (instance ?NUMBER Integer)
        (not
            (equal ?NUMBER 0)))
    (equal 1
        (MultiplicationFn ?NUMBER
            (ReciprocalFn ?NUMBER))))
Merge.kif 4873-4878
(=>
    (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
        (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 (?N__HALF ?U__HALF)
        (and
            (radius ?CIRCLE
                (MeasureFn ?N__HALF ?U__HALF))
            (equal
                (MeasureFn
                    (MultiplicationFn ?N__HALF 2) ?U__HALF) ?LENGTH))))
Merge.kif 7269-7274
(=>
    (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 4974-4976
(=>
    (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 11254-11260 1 立方英尺 equal 1 脚长 和 1 脚长 和 1 脚长
(equal
    (MeasureFn 1 SquareKilometer)
    (MultiplicationFn
        (MeasureFn 1
            (KiloFn Meter))
        (MeasureFn 1
            (KiloFn Meter))))
Geography.kif 624-625 1 平方千米 equal 1 仪表 的一千倍 和 1 仪表 的一千倍
(equal
    (MeasureFn 1 SquareMeter)
    (MultiplicationFn
        (MeasureFn 1 Meter)
        (MeasureFn 1 Meter)))
Geography.kif 3749-3750 1 平方米 equal 1 仪表 和 1 仪表
(equal
    (MeasureFn ?DEG ArcMinute)
    (MeasureFn
        (MultiplicationFn 60 ?DEG) ArcSecond))
Geography.kif 402-402 实数 弧分 equal 60 和 那个 实数 弧秒
(equal
    (MeasureFn ?NUM AngularDegree)
    (MeasureFn
        (MultiplicationFn 60 ?NUM) ArcMinute))
Geography.kif 383-383 实数 圆周角度 equal 60 和 那个 实数 弧分
(equal
    (MeasureFn ?NUMBER Amu)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.6605402E-24) Gram))
Merge.kif 6847-6849 实数 amu equal 那个 实数 和 1.6605402E-24 公克
(equal
    (MeasureFn ?NUMBER Angstrom)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.0E-10) Meter))
Merge.kif 6869-6871 实数 equal 那个 实数 和 1.0E-10 仪表
(equal
    (MeasureFn ?NUMBER AngularDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn Pi 180.0)) Radian))
Merge.kif 7063-7065 实数 圆周角度 equal 那个 实数圆周率 和 180.0 弧度
(equal
    (MeasureFn ?NUMBER BritishThermalUnit)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1055.05585262) Joule))
Merge.kif 7049-7051 实数 英国热量单位 equal 那个 实数 和 1055.05585262 焦耳
(equal
    (MeasureFn ?NUMBER Byte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 8) Bit))
Merge.kif 7121-7123 实数 字节 equal 那个 实数 和 8 位元
(equal
    (MeasureFn ?NUMBER Calorie)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.1868) Joule))
Merge.kif 7041-7043 实数 卡路里 equal 那个 实数 和 4.1868 焦耳
(equal
    (MeasureFn ?NUMBER Centimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) Meter))
Merge.kif 6482-6484 实数 厘米 equal 那个 实数 和 0.01 仪表
(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))
Merge.kif 6788-6790 实数 一天长度 equal 那个 实数 和 24 小时
(equal
    (MeasureFn ?NUMBER ElectronVolt)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))
Merge.kif 6857-6859 实数 电子伏特 equal 那个 实数 和 1.60217733E-19 焦耳
(equal
    (MeasureFn ?NUMBER EuroCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) EuroDollar))
Merge.kif 7101-7103 实数 欧元分 equal 那个 实数 和 0.01 欧元
(equal
    (MeasureFn ?NUMBER FootLength)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.3048) Meter))
Merge.kif 6882-6884 实数 脚长 equal 那个 实数 和 0.3048 仪表
(equal
    (MeasureFn ?NUMBER HourDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) MinuteDuration))
Merge.kif 6796-6798 实数 小时 equal 那个 实数 和 60 分钟
(equal
    (MeasureFn ?NUMBER Inch)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0254) Meter))
Merge.kif 6889-6891 实数 英寸 equal 那个 实数 和 0.0254 仪表
(equal
    (MeasureFn ?NUMBER KiloByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) Byte))
Merge.kif 7131-7133 实数 千位元 equal 那个 实数 和 1024 字节
(equal
    (MeasureFn ?NUMBER Kilogram)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Gram))
Merge.kif 6975-6978 实数 公斤 equal 那个 实数 和 1000 公克
(equal
    (MeasureFn ?NUMBER Kilometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Meter))
Merge.kif 6501-6504 实数 公里 equal 那个 实数 和 1000 仪表
(equal
    (MeasureFn ?NUMBER MegaByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) KiloByte))
Merge.kif 7141-7143 实数 兆位元 equal 那个 实数 和 1024 千位元
(equal
    (MeasureFn ?NUMBER Micrometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0000001) Meter))
Geography.kif 6435-6438 实数 微米 equal 那个 实数 和 0.0000001 仪表
(equal
    (MeasureFn ?NUMBER Mile)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1609.344) Meter))
Merge.kif 6896-6898 实数 英里 equal 那个 实数 和 1609.344 仪表
(equal
    (MeasureFn ?NUMBER Millimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.001) Meter))
Merge.kif 6491-6494 实数 毫米 equal 那个 实数 和 0.001 仪表

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