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 2 Number) | Merge.kif 4517-4517 | |
(identityElement MultiplicationFn 1) | Merge.kif 5017-5017 | |
(instance MultiplicationFn AssociativeFunction) | Merge.kif 4512-4512 | |
(instance MultiplicationFn BinaryFunction) | Merge.kif 4511-4511 | |
(instance MultiplicationFn CommutativeFunction) | Merge.kif 4513-4513 | |
(instance MultiplicationFn TotalValuedRelation) | Merge.kif 4515-4515 | |
(range MultiplicationFn Number) | Merge.kif 4518-4518 |
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 | |
(<=> (equal (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER) (equal (AdditionFn (MultiplicationFn (FloorFn (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1)) |
Merge.kif 4898-4900 | |
(<=> (measure ?O (MeasureFn ?A MetricTon)) (measure ?O (MeasureFn (MultiplicationFn ?A 2205) PoundMass))) |
Mid-level-ontology.kif 11232-11238 | |
(<=> (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 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 |
![]() |
![]() |
![]() |