MultiplicationFn |
appearance as argument number 1 |
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 39183-39183 | |
(termFormat ChineseLanguage MultiplicationFn "乘法函数") | chinese_format.kif 681-681 | |
(termFormat ChineseTraditionalLanguage MultiplicationFn "乘法") | domainEnglishFormat.kif 39182-39182 | |
(termFormat EnglishLanguage MultiplicationFn "multiplication") | domainEnglishFormat.kif 39181-39181 | |
(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 2080-2090 | |
(=> (and (not (equal ?NUMBER2 0)) (equal (AdditionFn (MultiplicationFn (FloorFn (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1)) (equal (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)) |
Merge.kif 5117-5128 | |
(=> (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 2165-2176 | |
(=> (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 2125-2136 | |
(=> (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 1107-1115 |
|
(=> (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 587-597 |
|
(=> (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 5968-5982 | |
(=> (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 5950-5962 | |
(=> (equal ?N (MultiplicationFn 1 ?N)) (equal (MeasureFn ?N MillenniumDuration) (MeasureFn (MultiplicationFn ?N 1000) YearDuration))) |
Mid-level-ontology.kif 13683-13687 |
|
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.151) Mile))) |
Geography.kif 3912-3919 | |
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter)))) |
Geography.kif 3894-3901 | |
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1852.0) Meter))) |
Geography.kif 3885-3892 | |
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 6076.1) FootLength))) |
Geography.kif 3903-3910 |
|
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM SquareKilometer) (MeasureFn (MultiplicationFn ?NUM 1000000.0) SquareMeter))) |
Geography.kif 625-631 |
|
(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER CenturyDuration) (MeasureFn (MultiplicationFn ?NUMBER 100) YearDuration))) |
Mid-level-ontology.kif 19064-19068 |
|
(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER DecadeDuration) (MeasureFn (MultiplicationFn ?NUMBER 10) YearDuration))) |
Merge.kif 8759-8763 |
|
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Fathom) (MeasureFn (MultiplicationFn ?NUMBER 6.0) FootLength))) |
Geography.kif 3844-3848 | |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER LongTon) (MeasureFn (MultiplicationFn ?NUMBER 2240.0) PoundMass))) |
Mid-level-ontology.kif 13618-13622 | |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Nanometer) (MeasureFn (MultiplicationFn ?NUMBER 0.000000001) Meter))) |
Mid-level-ontology.kif 19083-19089 | |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER RegistryTon) (MeasureFn (MultiplicationFn ?NUMBER 100.0) CubicFoot))) |
Mid-level-ontology.kif 13668-13672 | |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER TonMass) (MeasureFn (MultiplicationFn ?NUMBER 2205.0) PoundMass))) |
Mid-level-ontology.kif 13591-13595 | |
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER YardLength) (MeasureFn (MultiplicationFn 3.0 ?NUMBER) FootLength))) |
Mid-level-ontology.kif 19073-19077 |
|
consequent |
statement |
(equal (MeasureFn ?DEG ArcMinute) (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond)) |
Geography.kif 402-402 | 実数 の ArcMinute(s) は 60.0 + 実数 の ArcSecond(s) と equal では %n |
(equal (MeasureFn ?NUM AngularDegree) (MeasureFn (MultiplicationFn 60.0 ?NUM) ArcMinute)) |
Geography.kif 383-383 | 実数 の AngularDegree(s) は 60.0 + 実数 の ArcMinute(s) と equal では %n |
(equal (MeasureFn ?NUMBER Amu) (MeasureFn (MultiplicationFn ?NUMBER 1.6605402E-24) Gram)) |
Merge.kif 7151-7153 | 実数 の Amu(s) は 実数 + 1.6605402E-24 の Gram(s) と equal では %n |
(equal (MeasureFn ?NUMBER Angstrom) (MeasureFn (MultiplicationFn ?NUMBER 1.0E-10) Meter)) |
Merge.kif 7173-7175 | 実数 の Angstrom(s) は 実数 + 1.0E-10 の Meter(s) と equal では %n |
(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian)) |
Merge.kif 7367-7369 | 実数 の AngularDegree(s) は 実数 + パイ + 180.0 の Radian(s) と equal では %n |
(equal (MeasureFn ?NUMBER BritishThermalUnit) (MeasureFn (MultiplicationFn ?NUMBER 1055.05585262) Joule)) |
Merge.kif 7353-7355 | 実数 の BritishThermalUnit(s) は 実数 + 1055.05585262 の Joule(s) と equal では %n |
(equal (MeasureFn ?NUMBER Byte) (MeasureFn (MultiplicationFn ?NUMBER 8) Bit)) |
Merge.kif 7425-7427 | 実数 の Byte(s) は 実数 + 8 の Bit(s) と equal では %n |
(equal (MeasureFn ?NUMBER Calorie) (MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule)) |
Merge.kif 7345-7347 | 実数 の Calorie(s) は 実数 + 4.1868 の Joule(s) と equal では %n |
(equal (MeasureFn ?NUMBER Centimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.01) Meter)) |
Merge.kif 6780-6782 | 実数 の Centimeter(s) は 実数 + 0.01 の Meter(s) と equal では %n |
(equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration)) |
Merge.kif 7087-7089 | 実数 の DayDuration(s) は 実数 + 24 の HourDuration(s) と equal では %n |
(equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER 1.60217733E-19) Joule)) |
Merge.kif 7161-7163 | 実数 の ElectronVolt(s) は 実数 + 1.60217733E-19 の Joule(s) と equal では %n |
(equal (MeasureFn ?NUMBER EuroCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) EuroDollar)) |
Merge.kif 7405-7407 | 実数 の EuroCent(s) は 実数 + 0.01 の EuroDollar(s) と equal では %n |
(equal (MeasureFn ?NUMBER FootLength) (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter)) |
Merge.kif 7186-7188 | 実数 の FootLength(s) は 実数 + 0.3048 の Meter(s) と equal では %n |
(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration)) |
Merge.kif 7095-7097 | 実数 の HourDuration(s) は 実数 + 60 の MinuteDuration(s) と equal では %n |
(equal (MeasureFn ?NUMBER Inch) (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter)) |
Merge.kif 7193-7195 | 実数 の Inch(s) は 実数 + 0.0254 の Meter(s) と equal では %n |
(equal (MeasureFn ?NUMBER KiloByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) Byte)) |
Merge.kif 7435-7437 | 実数 の KiloByte(s) は 実数 + 1024 の Byte(s) と equal では %n |
(equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram)) |
Merge.kif 7279-7282 | 実数 の Kilogram(s) は 実数 + 1000 の Gram(s) と equal では %n |
(equal (MeasureFn ?NUMBER Kilometer) (MeasureFn (MultiplicationFn ?NUMBER 1000) Meter)) |
Merge.kif 6799-6802 | 実数 の Kilometer(s) は 実数 + 1000 の Meter(s) と equal では %n |
(equal (MeasureFn ?NUMBER MegaByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte)) |
Merge.kif 7445-7447 | 実数 の MegaByte(s) は 実数 + 1024 の KiloByte(s) と equal では %n |
(equal (MeasureFn ?NUMBER Micrometer) (MeasureFn (MultiplicationFn ?NUMBER 0.0000001) Meter)) |
Geography.kif 7097-7100 | 実数 の Micrometer(s) は 実数 + 0.0000001 の Meter(s) と equal では %n |
(equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter)) |
Merge.kif 7200-7202 | 実数 の Mile(s) は 実数 + 1609.344 の Meter(s) と equal では %n |
(equal (MeasureFn ?NUMBER Millimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.001) Meter)) |
Merge.kif 6789-6792 | 実数 の Millimeter(s) は 実数 + 0.001 の Meter(s) と equal では %n |
(equal (MeasureFn ?NUMBER MinuteDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration)) |
Merge.kif 7103-7105 | 実数 の MinuteDuration(s) は 実数 + 60 の SecondDuration(s) と equal では %n |
(equal (MeasureFn ?NUMBER PoundForce) (MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton)) |
Merge.kif 7335-7337 | 実数 の PoundForce(s) は 実数 + 4.448222 の Newton(s) と equal では %n |
(equal (MeasureFn ?NUMBER PoundMass) (MeasureFn (MultiplicationFn ?NUMBER 453.59237) Gram)) |
Merge.kif 7296-7298 | 実数 の PoundMass(s) は 実数 + 453.59237 の Gram(s) と equal では %n |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |