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 4731-4733 | |
(documentation MultiplicationFn JapaneseLanguage "?NUMBER1 と ?NUMBER2 が Number の場合、 (MultiplicationFn ?NUMBER1 ?NUMBER2) はこれらの数値の算術積である。") | japanese_format.kif 876-877 | |
(domain MultiplicationFn 1 RealNumber) | Merge.kif 4727-4727 | 乘法函数 的 1 数量 是 实数 的 instance |
(domain MultiplicationFn 2 RealNumber) | Merge.kif 4728-4728 | 乘法函数 的 2 数量 是 实数 的 instance |
(identityElement MultiplicationFn 1) | Merge.kif 5322-5322 | 1 是 乘法函数 的单位元 |
(instance MultiplicationFn AssociativeFunction) | Merge.kif 4723-4723 | 乘法函数 是 结合函数 的 instance |
(instance MultiplicationFn BinaryFunction) | Merge.kif 4722-4722 | 乘法函数 是 二元函数 的 instance |
(instance MultiplicationFn CommutativeFunction) | Merge.kif 4724-4724 | 乘法函数 是 交换函数 的 instance |
(instance MultiplicationFn TotalValuedRelation) | Merge.kif 4726-4726 | 乘法函数 是 总值关系 的 instance |
(range MultiplicationFn RealNumber) | Merge.kif 4729-4729 | 乘法函数 的 range 是 实数 的实例 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage MultiplicationFn "%*[*]") | chinese_format.kif 680-680 | |
(format EnglishLanguage MultiplicationFn "%*[*]") | english_format.kif 682-682 | |
(format FrenchLanguage MultiplicationFn "%*[*]") | french_format.kif 413-413 | |
(format ItalianLanguage MultiplicationFn "%*[*]") | relations-it.txt 196-196 | |
(format JapaneseLanguage MultiplicationFn "%*[*]") | japanese_format.kif 2130-2130 | |
(format PortugueseLanguage MultiplicationFn "%*[*]") | portuguese_format.kif 365-365 | |
(format cz MultiplicationFn "%*[*]") | relations-cz.txt 422-422 | |
(format de MultiplicationFn "%*[*]") | relations-de.txt 887-887 | |
(format hi MultiplicationFn "%*[*]") | relations-hindi.txt 234-234 | |
(format ro MultiplicationFn "%*[*]") | relations-ro.kif 435-435 | |
(format sv MultiplicationFn "%*[*]") | relations-sv.txt 457-457 | |
(format tg MultiplicationFn "%*[*]") | relations-tg.txt 377-377 | |
(termFormat ChineseLanguage MultiplicationFn "乘法") | domainEnglishFormat.kif 39196-39196 | |
(termFormat ChineseLanguage MultiplicationFn "乘法函数") | chinese_format.kif 681-681 | |
(termFormat ChineseTraditionalLanguage MultiplicationFn "乘法") | domainEnglishFormat.kif 39195-39195 | |
(termFormat EnglishLanguage MultiplicationFn "multiplication") | domainEnglishFormat.kif 39194-39194 | |
(termFormat de MultiplicationFn "MultiplikationFn") | terms-de.txt 262-262 | |
(termFormat tg MultiplicationFn "tungkulin ng pagpaparami") | relations-tg.txt 378-378 |
antecedent |
![]() |
(=> (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 2238-2248 | |
(=> (and (not (equal ?NUMBER2 0)) (equal (AdditionFn (MultiplicationFn (FloorFn (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1)) (equal (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)) |
Merge.kif 5145-5156 | |
(=> (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 2323-2334 | |
(=> (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 2283-2294 | |
(=> (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 1198-1206 | |
(=> (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 589-599 | |
(=> (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 5985-5999 |
|
(=> (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 5967-5979 |
|
(=> (equal ?N (MultiplicationFn 1 ?N)) (equal (MeasureFn ?N MillenniumDuration) (MeasureFn (MultiplicationFn ?N 1000) YearDuration))) |
Mid-level-ontology.kif 15054-15058 | |
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.151) Mile))) |
Geography.kif 4163-4170 | |
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter)))) |
Geography.kif 4145-4152 | |
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1852.0) Meter))) |
Geography.kif 4136-4143 | |
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 6076.1) FootLength))) |
Geography.kif 4154-4161 | |
(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER CenturyDuration) (MeasureFn (MultiplicationFn ?NUMBER 100) YearDuration))) |
Mid-level-ontology.kif 20635-20639 | |
(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER DecadeDuration) (MeasureFn (MultiplicationFn ?NUMBER 10) YearDuration))) |
Merge.kif 8872-8876 | |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Acre) (MeasureFn (MultiplicationFn 4840.0 ?NUMBER) SquareYard))) |
Mid-level-ontology.kif 15063-15069 | |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER CubicFoot) (MeasureFn (MultiplicationFn ?NUMBER (MultiplicationFn ?NUMBER ?NUMBER)) FootLength))) |
Mid-level-ontology.kif 15001-15008 | |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Fathom) (MeasureFn (MultiplicationFn ?NUMBER 6.0) FootLength))) |
Geography.kif 4095-4099 | |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER LongTon) (MeasureFn (MultiplicationFn ?NUMBER 2240.0) PoundMass))) |
Mid-level-ontology.kif 14957-14961 | |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Nanometer) (MeasureFn (MultiplicationFn ?NUMBER 0.000000001) Meter))) |
Mid-level-ontology.kif 20654-20660 | |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER RegistryTon) (MeasureFn (MultiplicationFn ?NUMBER 100.0) CubicFoot))) |
Mid-level-ontology.kif 15039-15043 | |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER TonMass) (MeasureFn (MultiplicationFn ?NUMBER 2205.0) PoundMass))) |
Mid-level-ontology.kif 14930-14934 | |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER YardLength) (MeasureFn (MultiplicationFn 3.0 ?NUMBER) FootLength))) |
Mid-level-ontology.kif 20644-20648 |
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn ?DEG ArcMinute) (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond)) |
Geography.kif 572-572 | equal 实数 弧分 and 60.0 和 那个 实数 弧秒 |
(equal (MeasureFn ?NUM AngularDegree) (MeasureFn (MultiplicationFn 60.0 ?NUM) ArcMinute)) |
Geography.kif 553-553 | equal 实数 圆周角度 and 60.0 和 那个 实数 弧分 |
(equal (MeasureFn ?NUMBER Amu) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn (DivisionFn (DivisionFn (DivisionFn 1.6605402 1000000.0) 1000000.0) 1000000.0) 1000000.0)) Gram)) |
Merge.kif 7177-7187 | equal 实数 amu and 那个 实数 和 1.6605402 和 1000000.0 和 1000000.0 和 1000000.0 和 1000000.0 公克 |
(equal (MeasureFn ?NUMBER Angstrom) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn (DivisionFn 1.0 100000.0) 100000.0)) Meter)) |
Merge.kif 7213-7219 | equal 实数 埃 and 那个 实数 和 1.0 和 100000.0 和 100000.0 仪表 |
(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian)) |
Merge.kif 7411-7413 | equal 实数 圆周角度 and 那个 实数 和 圆周率 和 180.0 弧度 |
(equal (MeasureFn ?NUMBER BritishThermalUnit) (MeasureFn (MultiplicationFn ?NUMBER 1055.05585262) Joule)) |
Merge.kif 7397-7399 | equal 实数 英国热量单位 and 那个 实数 和 1055.05585262 焦耳 |
(equal (MeasureFn ?NUMBER Byte) (MeasureFn (MultiplicationFn ?NUMBER 8) Bit)) |
Merge.kif 7469-7471 | equal 实数 字节 and 那个 实数 和 8 位元 |
(equal (MeasureFn ?NUMBER Calorie) (MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule)) |
Merge.kif 7389-7391 | equal 实数 卡路里 and 那个 实数 和 4.1868 焦耳 |
(equal (MeasureFn ?NUMBER Centimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.01) Meter)) |
Merge.kif 6805-6807 | equal 实数 厘米 and 那个 实数 和 0.01 仪表 |
(equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration)) |
Merge.kif 7112-7114 | equal 实数 一天长度 and 那个 实数 和 24 小时 |
(equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn (DivisionFn (DivisionFn 1.60217733 1000000.0) 1000000.0) 10000000.0)) Joule)) |
Merge.kif 7195-7203 | equal 实数 电子伏特 and 那个 实数 和 1.60217733 和 1000000.0 和 1000000.0 和 10000000.0 焦耳 |
(equal (MeasureFn ?NUMBER EuroCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) EuroDollar)) |
Merge.kif 7449-7451 | equal 实数 欧元分 and 那个 实数 和 0.01 欧元 |
(equal (MeasureFn ?NUMBER FootLength) (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter)) |
Merge.kif 7230-7232 | equal 实数 脚长 and 那个 实数 和 0.3048 仪表 |
(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration)) |
Merge.kif 7120-7122 | equal 实数 小时 and 那个 实数 和 60 分钟 |
(equal (MeasureFn ?NUMBER Inch) (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter)) |
Merge.kif 7237-7239 | equal 实数 英寸 and 那个 实数 和 0.0254 仪表 |
(equal (MeasureFn ?NUMBER KiloByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) Byte)) |
Merge.kif 7479-7481 | equal 实数 千位元 and 那个 实数 和 1024 字节 |
(equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram)) |
Merge.kif 7323-7326 | equal 实数 公斤 and 那个 实数 和 1000 公克 |
(equal (MeasureFn ?NUMBER KilogramForce) (MeasureFn (MultiplicationFn ?NUMBER 9.80665) Newton)) |
Mid-level-ontology.kif 5298-5301 | equal 实数 KilogramForce and 那个 实数 和 9.80665 牛顿 |
(equal (MeasureFn ?NUMBER Kilometer) (MeasureFn (MultiplicationFn ?NUMBER 1000) Meter)) |
Merge.kif 6824-6827 | equal 实数 公里 and 那个 实数 和 1000 仪表 |
(equal (MeasureFn ?NUMBER MegaByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte)) |
Merge.kif 7489-7491 | equal 实数 兆位元 and 那个 实数 和 1024 千位元 |
(equal (MeasureFn ?NUMBER Micrometer) (MeasureFn (MultiplicationFn ?NUMBER 0.0000001) Meter)) |
Geography.kif 7434-7437 | equal 实数 微米 and 那个 实数 和 0.0000001 仪表 |
(equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter)) |
Merge.kif 7244-7246 | equal 实数 英里 and 那个 实数 和 1609.344 仪表 |
(equal (MeasureFn ?NUMBER Millimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.001) Meter)) |
Merge.kif 6814-6817 | equal 实数 毫米 and 那个 实数 和 0.001 仪表 |
(equal (MeasureFn ?NUMBER MinuteDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration)) |
Merge.kif 7128-7130 | equal 实数 分钟 and 那个 实数 和 60 第二期 |
(equal (MeasureFn ?NUMBER PoundForce) (MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton)) |
Merge.kif 7379-7381 | equal 实数 磅力 and 那个 实数 和 4.448222 牛顿 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |