MultiplicationFn - Sigma Knowledge base Browser

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	The number 1 argument of multiplication is an instance of real number
(domain MultiplicationFn 2 RealNumber)	Merge.kif 4728-4728	The number 2 argument of multiplication is an instance of real number
(identityElement MultiplicationFn 1)	Merge.kif 5322-5322	1 is an identity element of multiplication
(instance MultiplicationFn AssociativeFunction)	Merge.kif 4723-4723	Multiplication is an instance of associative function
(instance MultiplicationFn BinaryFunction)	Merge.kif 4722-4722	Multiplication is an instance of binary function
(instance MultiplicationFn CommutativeFunction)	Merge.kif 4724-4724	Multiplication is an instance of commutative function
(instance MultiplicationFn TotalValuedRelation)	Merge.kif 4726-4726	Multiplication is an instance of total valued relation
(range MultiplicationFn RealNumber)	Merge.kif 4729-4729	The range of multiplication is an instance of real number

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	If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the other real number is an instance of area measure and equal a third real number and the real number and the other real number, then the third real number the unit of measure(s) is an arable land area of the geographic area
(=> (and (not (equal ?NUMBER2 0)) (equal (AdditionFn (MultiplicationFn (FloorFn (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1)) (equal (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER))	Merge.kif 5145-5156	If equal an integer and 0 and equal (the largest integer less than or equal to another integer and the integer and the integer and a third integer) and the other integer, then equal the other integer mod the integer and the third integer
(=> (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	If a real number an unit of measure(s) is an other land use area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area and equal a third real number and the real number and the other real number, then the third real number the unit of measure(s) is an other land use area of the geographic area
(=> (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	If a real number an unit of measure(s) is a permanent crop land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area and equal a third real number and the real number and the other real number, then the third real number the unit of measure(s) is a permanent crop land area of the geographic area
(=> (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	If a geopolitical area is the sector composition of GDP in period an industry attribute for a real number with a kind of time interval and the geopolitical area is totalGDP in period another real number an unit of measure(s) for a kind of time interval and equal a third real number and the real number and the other real number, then the geopolitical area is sector value of GDP in period the industry attribute for the third real number the unit of measure(s) with the kind of time interval
(=> (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	If a financial account is simple interest a real number an unit of measure(s) for a time interval and another real number the unit of measure(s) is a principal amount of the financial account and equal a third real number_Decimal and the real number and the other real number and equal the third real number and the third real number_Decimal and 100.0, then the financial account is interest rate per period the third real number for the time interval
(=> (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	If the typical volume of blood of a a kind of mammal is a real number an unit of measure(s) and an entity has the real number2 the unit of measure(s) of blood holds during a time position and the entity is an instance of a kind of mammal and the real number2 and 2.0 is greater than the real number and the real number2 is less than 0.8 and the real number, then severe blood loss is an attribute of the entity holds during the time position
(=> (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	If the typical volume of blood of a a kind of mammal is a real number an unit of measure(s) and an entity has the real number2 the unit of measure(s) of blood holds during a time position and the entity is an instance of a kind of mammal and the real number2 and 2.0 is less than the real number, then catastrophic blood loss is an attribute of the entity holds during the time position
(=> (equal ?N (MultiplicationFn 1 ?N)) (equal (MeasureFn ?N MillenniumDuration) (MeasureFn (MultiplicationFn ?N 1000) YearDuration)))	Mid-level-ontology.kif 15054-15058	If equal a real number and 1 and the real number, then equal the real number millennium duration(s) and the real number and 1000 year duration(s)
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.151) Mile)))	Geography.kif 4163-4170	If equal a real number and 1.0 and the real number, then equal the real number nautical mile(s) and the real number and 1.151 mile(s)
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter))))	Geography.kif 4145-4152	If equal a real number and 1.0 and the real number, then equal the real number nautical mile(s) and the real number and 1.852 1 thousand meters(s)
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1852.0) Meter)))	Geography.kif 4136-4143	If equal a real number and 1.0 and the real number, then equal the real number nautical mile(s) and the real number and 1852.0 meter(s)
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 6076.1) FootLength)))	Geography.kif 4154-4161	If equal a real number and 1.0 and the real number, then equal the real number nautical mile(s) and the real number and 6076.1 foot length(s)
(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER CenturyDuration) (MeasureFn (MultiplicationFn ?NUMBER 100) YearDuration)))	Mid-level-ontology.kif 20635-20639	If equal a real number and 1 and the real number, then equal the real number century duration(s) and the real number and 100 year duration(s)
(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER DecadeDuration) (MeasureFn (MultiplicationFn ?NUMBER 10) YearDuration)))	Merge.kif 8872-8876	If equal a real number and 1 and the real number, then equal the real number decade duration(s) and the real number and 10 year duration(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Acre) (MeasureFn (MultiplicationFn 4840.0 ?NUMBER) SquareYard)))	Mid-level-ontology.kif 15063-15069	If equal a real number and 1.0 and the real number, then equal the real number acre(s) and 4840.0 and the real number square yard(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER CubicFoot) (MeasureFn (MultiplicationFn ?NUMBER (MultiplicationFn ?NUMBER ?NUMBER)) FootLength)))	Mid-level-ontology.kif 15001-15008	If equal a real number and 1.0 and the real number, then equal the real number cubic foot(s) and the real number and the real number and the real number foot length(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Fathom) (MeasureFn (MultiplicationFn ?NUMBER 6.0) FootLength)))	Geography.kif 4095-4099	If equal a real number and 1.0 and the real number, then equal the real number fathom(s) and the real number and 6.0 foot length(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER LongTon) (MeasureFn (MultiplicationFn ?NUMBER 2240.0) PoundMass)))	Mid-level-ontology.kif 14957-14961	If equal a real number and 1.0 and the real number, then equal the real number long ton(s) and the real number and 2240.0 pound mass(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Nanometer) (MeasureFn (MultiplicationFn ?NUMBER 0.000000001) Meter)))	Mid-level-ontology.kif 20654-20660	If equal a real number and 1.0 and the real number, then equal the real number nanometer(s) and the real number and 0.000000001 meter(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER RegistryTon) (MeasureFn (MultiplicationFn ?NUMBER 100.0) CubicFoot)))	Mid-level-ontology.kif 15039-15043	If equal a real number and 1.0 and the real number, then equal the real number registry ton(s) and the real number and 100.0 cubic foot(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER TonMass) (MeasureFn (MultiplicationFn ?NUMBER 2205.0) PoundMass)))	Mid-level-ontology.kif 14930-14934	If equal a real number and 1.0 and the real number, then equal the real number ton mass(s) and the real number and 2205.0 pound mass(s)
(=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER YardLength) (MeasureFn (MultiplicationFn 3.0 ?NUMBER) FootLength)))	Mid-level-ontology.kif 20644-20648	If equal a real number and 1.0 and the real number, then equal the real number yard length(s) and 3.0 and the real number foot length(s)

consequent

(<=> (measure ?O (MeasureFn ?A MetricTon)) (measure ?O (MeasureFn (MultiplicationFn ?A 2205.0) PoundMass)))	Mid-level-ontology.kif 14944-14950	The measure of a physical is a real number metric ton(s) if and only if the measure of the physical is the real number and 2205.0 pound mass(s)
(<=> (measure ?OBJ (MeasureFn ?DEG AngularDegree)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcMinute)))	Geography.kif 548-550	The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60.0 and the real number arc minute(s)
(<=> (measure ?OBJ (MeasureFn ?DEG ArcMinute)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond)))	Geography.kif 567-569	The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60.0 and the real number arc second(s)
(=> (and (arableLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.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 2250-2264	If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area, then there exists another geographic area such that the other geographic area is an instance of arable land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the real number and the other real number the unit of measure(s)
(=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T ?U ?Y ?C) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T (MeasureFn ?C ?U)) (instance ?U UnitOfCurrency) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation))	ArabicCulture.kif 204-223	If muslim is an attribute of an agent and equal value of belongings of the agent and a currency measure, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of zakat and the fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the fourth entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is the fifth entity the third entity(s) and the third entity is an instance of unit of currency and the fifth entity is greater than the currency measure and 0.025 has the modal force of obligation
(=> (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 825-835	If a geographic area comparative area a binary relation extended to quantities for a positive real number with another geographic area and an unit of measure is an instance of unit of area and the measure of the geographic area is a real number the unit of measure(s) and the measure of the other geographic area is another real number the unit of measure(s), then the binary relation extended to quantities the real number the unit of measure(s) and the positive real number and the other real number the unit of measure(s)
(=> (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 14905-14914	If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number and 1.5 has the modal force of unlikely
(=> (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 0.5)))) Unlikely))	Mid-level-ontology.kif 14916-14925	If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is less than the real number and 0.5 has the modal force of unlikely
(=> (and (equal (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER) (not (equal ?NUMBER2 0))) (equal (AdditionFn (MultiplicationFn (FloorFn (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))	Merge.kif 5132-5143	If equal an integer mod another integer and a third integer and equal the other integer and 0, then equal (the largest integer less than or equal to the integer and the other integer and the other integer and the third integer) and the integer
(=> (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 2211-2222	If equal a real number and VarianceAverageFn of a list with the mean of another real number and equal 1 and length of the list, then equal the real number and (the other real number and 1th element of the list) and (the other real number and 1th element of the list)
(=> (and (instance ?H HumanAdult) (measure ?H (MeasureFn ?N Pounds))) (and (bloodVolume ?H (MeasureFn ?N2 Liter)) (equal ?N2 (DivisionFn (MultiplicationFn ?N 0.07) 2.33))))	Medicine.kif 5931-5940	If a human is an instance of human adult and the measure of the human is a real number Pounds(s), then the human has the real number2 liter(s) of blood and equal the real number2 and the real number and 0.07 and 2.33
(=> (and (instance ?M OnePercentMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (equal ?N2 (MultiplicationFn 0.01 ?N)))))	Food.kif 2976-2993	If an object is an instance of one percent milk and the measure of the object is a real number an unit of measure(s) and the unit of measure is an instance of unit of volume, then there exist another object and the real number2 such that the other object is an instance of butter fat and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of butter fat and equal the other object and the third object and the third object is a part of the object and the measure of the other object is the real number2 the unit of measure(s) and equal the real number2 and 0.01 and the real number
(=> (and (instance ?M SemiSkimmedMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (greaterThanOrEqualTo ?N2 (MultiplicationFn 0.015 ?N)) (lessThanOrEqualTo ?N2 (MultiplicationFn 0.02 ?N)))))	Food.kif 3000-3018	If an object is an instance of semi skimmed milk and the measure of the object is a real number an unit of measure(s) and the unit of measure is an instance of unit of volume, then there exist another object and the real number2 such that the other object is an instance of butter fat and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of butter fat and equal the other object and the third object and the third object is a part of the object and the measure of the other object is the real number2 the unit of measure(s) and the real number2 is greater than or equal to 0.015 and the real number and the real number2 is less than or equal to 0.02 and the real number
(=> (and (instance ?M SkimmedMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (greaterThanOrEqualTo ?N2 (MultiplicationFn 0.0 ?N)) (lessThanOrEqualTo ?N2 (MultiplicationFn 0.005 ?N)))))	Food.kif 3025-3043	If an object is an instance of skimmed milk and the measure of the object is a real number an unit of measure(s) and the unit of measure is an instance of unit of volume, then there exist another object and the real number2 such that the other object is an instance of butter fat and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of butter fat and equal the other object and the third object and the third object is a part of the object and the measure of the other object is the real number2 the unit of measure(s) and the real number2 is greater than or equal to 0.0 and the real number and the real number2 is less than or equal to 0.005 and the real number
(=> (and (instance ?M TwoPercentMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (equal ?N2 (MultiplicationFn 0.02 ?N)))))	Food.kif 2952-2969	If an object is an instance of two percent milk and the measure of the object is a real number an unit of measure(s) and the unit of measure is an instance of unit of volume, then there exist another object and the real number2 such that the other object is an instance of butter fat and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of butter fat and equal the other object and the third object and the third object is a part of the object and the measure of the other object is the real number2 the unit of measure(s) and equal the real number2 and 0.02 and the real number
(=> (and (instance ?M WholeMilk) (measure ?M (MeasureFn ?N ?U)) (instance ?U UnitOfVolume)) (exists (?BF ?N2) (and (instance ?BF ButterFat) (part ?BF ?M) (not (exists (?F2) (and (instance ?F2 ButterFat) (not (equal ?BF ?F2)) (part ?F2 ?M)))) (measure ?BF (MeasureFn ?N2 ?U)) (greaterThanOrEqualTo ?N2 (MultiplicationFn 0.0325 ?N)) (lessThanOrEqualTo ?N2 (MultiplicationFn 0.05 ?N)))))	Food.kif 2858-2876	If an object is an instance of whole milk and the measure of the object is a real number an unit of measure(s) and the unit of measure is an instance of unit of volume, then there exist another object and the real number2 such that the other object is an instance of butter fat and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of butter fat and equal the other object and the third object and the third object is a part of the object and the measure of the other object is the real number2 the unit of measure(s) and the real number2 is greater than or equal to 0.0325 and the real number and the real number2 is less than or equal to 0.05 and the real number
(=> (and (instance ?NUMBER Integer) (not (equal ?NUMBER 0))) (equal 1 (MultiplicationFn ?NUMBER (ReciprocalFn ?NUMBER))))	Merge.kif 5114-5119	If a real number is an instance of integer and equal the real number and 0, then equal 1 and the real number and the reciprocal of the real number
(=> (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 3155-3169	If a time position is an instance of transformer and a wire coil is an instance of wire coil and another wire coil is an instance of wire coil and the number of coils in the wire coil is an integer and the number of coils in the other wire coil is another integer and the measure of the wire coil is volt a real number(s) holds during the time position, then the measure of the other wire coil is volt another real number(s) holds during the time position and equal the other real number and the real number and the other integer and the integer
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?SQUAREUNIT (SquareUnitFn ?UNIT))) (exists (?NUM) (and (instance ?NUM RealNumber) (equal (MeasureFn ?NUM ?SQUAREUNIT) (MeasureFn (MultiplicationFn ?NUM ?NUM) ?UNIT)))))	Mid-level-ontology.kif 14971-14982	If an unit of measure is an instance of unit of measure and equal another unit of measure and the square unit of the unit of measure, then there exists a real number such that the real number is an instance of real number and equal the real number the other unit of measure(s) and the real number and the real number the unit of measure(s)
(=> (and (instance ?WW WaterWave) (waveHeight ?WW ?WH)) (exists (?LIST ?WA ?U ?SWH) (and (inList ?WH ?LIST) (instance ?WA WaterArea) (eventLocated ?WW ?WA) (instance ?U UnitOfLength) (significantWaveHeight ?WA (WhenFn ?WW) (MeasureFn ?SWH ?U)) (equal ?SWH (MultiplicationFn 4.0 (StandardDeviationFn ?LIST))))))	Weather.kif 2256-2271	If a water wave is an instance of water wave and The waveHeight of the water wave a length measure., then there exist a list, a water area,, , an unit of measure and a real number such that the length measure is a member of the list and the water area is an instance of water area and the water wave is located at the water area and the unit of measure is an instance of unit of length and significantWaveHeight in the water area during the time of existence of the water wave is the real number the unit of measure(s). and equal the real number and 4.0 and The StandardDeviationFn of the list
(=> (and (otherLandUseArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.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 2336-2354	If a real number an unit of measure(s) is an other land use area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area, then there exists another geographic area such that the other geographic area is an instance of land area and the other geographic area is not an instance of arable land and the other geographic area is not an instance of permanent crop land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the real number and the other real number the unit of measure(s)
(=> (and (permanentCropLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.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 2296-2310	If a real number an unit of measure(s) is a permanent crop land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area, then there exists another geographic area such that the other geographic area is an instance of permanent crop land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the real number and the other real number the unit of measure(s)
(=> (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 2246-2256	If an agent possesses an object and the measure of the object is a real number share unit(s) and a stock split is split for an integer for another integer, then equal an entity and the real number and the other integer and equal another entity and the entity and the integer and the measure of the object is the other entity share unit(s) holds during immediately after the time of existence of the stock split
(=> (and (principalAmount ?Account (MeasureFn ?Balance ?CUNIT)) (fixedInterestRate ?Account ?Rate) (simpleInterest ?Account (MeasureFn ?Amount ?CUNIT) ?Period) (equal ?Rate_Decimal (DivisionFn ?Rate 100))) (equal ?Amount (MultiplicationFn ?Balance ?Rate_Decimal)))	FinancialOntology.kif 540-550	If a real number an unit of measure(s) is a principal amount of a financial account and another real number is a fixed interest rate of the financial account and the financial account is simple interest a third real number the unit of measure(s) for a time interval and equal the other real number_Decimal and the other real number and 100, then equal the third real number and the real number and the other real number_Decimal
(=> (and (relativeAngle ?O1 ?O2 ?N) (physicalEnd ?E1 ?O1) (physicalEnd ?E2 ?O1) (not (equal ?E1 ?E2)) (length ?O1 (MeasureFn ?N1 ?U)) (length ?O2 (MeasureFn ?N2 ?U)) (distance ?E1 ?E3 (MeasureFn ?N3 ?U)) (physicalEnd ?E3 ?O2) (physicalEnd ?E4 ?O2) (not (equal ?E3 ?E4)) (not (meetsSpatially ?E1 ?E3))) (equal ?N (ArcCosineFn (DivisionFn (SubtractionFn (SubtractionFn (MultiplicationFn ?N3 ?N3) (MultiplicationFn ?N1 ?N1)) (MultiplicationFn ?N2 ?N2)) (MultiplicationFn 2.0 (MultiplicationFn ?N1 ?N2))))))	Merge.kif 18089-18114	If the relative angle between an object and another object is a real number and one end of the object is a third object and one end of the object is a fourth object and equal the third object and the fourth object and the length of the object is the real number1 an unit of measure(s) and the length of the other object is the real number2 the unit of measure(s) and the distance between the third object and a fifth object is the real number3 the unit of measure(s) and one end of the other object is the fifth object and one end of the other object is a sixth object and equal the fifth object and the sixth object and the third object doesn't meet the fifth object, then equal the real number and the arccosine of ((the real number3 and the real number3 and the real number1 and the real number1) and the real number2 and the real number2) and 2.0 and the real number1 and the real number2

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(equal (MeasureFn ?DEG ArcMinute) (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond))	Geography.kif 572-572	equal a real number arc minute(s) and 60.0 and the real number arc second(s)
(equal (MeasureFn ?NUM AngularDegree) (MeasureFn (MultiplicationFn 60.0 ?NUM) ArcMinute))	Geography.kif 553-553	equal a real number angular degree(s) and 60.0 and the real number arc minute(s)
(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 a real number amu(s) and the real number and 1.6605402 and 1000000.0 and 1000000.0 and 1000000.0 and 1000000.0 gram(s)
(equal (MeasureFn ?NUMBER Angstrom) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn (DivisionFn 1.0 100000.0) 100000.0)) Meter))	Merge.kif 7213-7219	equal a real number angstrom(s) and the real number and 1.0 and 100000.0 and 100000.0 meter(s)
(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian))	Merge.kif 7411-7413	equal a real number angular degree(s) and the real number and pi and 180.0 radian(s)
(equal (MeasureFn ?NUMBER BritishThermalUnit) (MeasureFn (MultiplicationFn ?NUMBER 1055.05585262) Joule))	Merge.kif 7397-7399	equal a real number british thermal unit(s) and the real number and 1055.05585262 joule(s)
(equal (MeasureFn ?NUMBER Byte) (MeasureFn (MultiplicationFn ?NUMBER 8) Bit))	Merge.kif 7469-7471	equal a real number byte(s) and the real number and 8 bit(s)
(equal (MeasureFn ?NUMBER Calorie) (MeasureFn (MultiplicationFn ?NUMBER 4.1868) Joule))	Merge.kif 7389-7391	equal a real number calorie(s) and the real number and 4.1868 joule(s)
(equal (MeasureFn ?NUMBER Centimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.01) Meter))	Merge.kif 6805-6807	equal a real number centimeter(s) and the real number and 0.01 meter(s)
(equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration))	Merge.kif 7112-7114	equal a real number day duration(s) and the real number and 24 hour duration(s)
(equal (MeasureFn ?NUMBER ElectronVolt) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn (DivisionFn (DivisionFn 1.60217733 1000000.0) 1000000.0) 10000000.0)) Joule))	Merge.kif 7195-7203	equal a real number electron volt(s) and the real number and 1.60217733 and 1000000.0 and 1000000.0 and 10000000.0 joule(s)
(equal (MeasureFn ?NUMBER EuroCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) EuroDollar))	Merge.kif 7449-7451	equal a real number euro cent(s) and the real number and 0.01 euro dollar(s)
(equal (MeasureFn ?NUMBER FootLength) (MeasureFn (MultiplicationFn ?NUMBER 0.3048) Meter))	Merge.kif 7230-7232	equal a real number foot length(s) and the real number and 0.3048 meter(s)
(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration))	Merge.kif 7120-7122	equal a real number hour duration(s) and the real number and 60 minute duration(s)
(equal (MeasureFn ?NUMBER Inch) (MeasureFn (MultiplicationFn ?NUMBER 0.0254) Meter))	Merge.kif 7237-7239	equal a real number inch(s) and the real number and 0.0254 meter(s)
(equal (MeasureFn ?NUMBER KiloByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) Byte))	Merge.kif 7479-7481	equal a real number kilo byte(s) and the real number and 1024 byte(s)
(equal (MeasureFn ?NUMBER Kilogram) (MeasureFn (MultiplicationFn ?NUMBER 1000) Gram))	Merge.kif 7323-7326	equal a real number kilogram(s) and the real number and 1000 gram(s)
(equal (MeasureFn ?NUMBER KilogramForce) (MeasureFn (MultiplicationFn ?NUMBER 9.80665) Newton))	Mid-level-ontology.kif 5298-5301	equal a real number kilogram force(s) and the real number and 9.80665 newton(s)
(equal (MeasureFn ?NUMBER Kilometer) (MeasureFn (MultiplicationFn ?NUMBER 1000) Meter))	Merge.kif 6824-6827	equal a real number kilometer(s) and the real number and 1000 meter(s)
(equal (MeasureFn ?NUMBER MegaByte) (MeasureFn (MultiplicationFn ?NUMBER 1024) KiloByte))	Merge.kif 7489-7491	equal a real number mega byte(s) and the real number and 1024 kilo byte(s)
(equal (MeasureFn ?NUMBER Micrometer) (MeasureFn (MultiplicationFn ?NUMBER 0.0000001) Meter))	Geography.kif 7434-7437	equal a real number micrometer(s) and the real number and 0.0000001 meter(s)
(equal (MeasureFn ?NUMBER Mile) (MeasureFn (MultiplicationFn ?NUMBER 1609.344) Meter))	Merge.kif 7244-7246	equal a real number mile(s) and the real number and 1609.344 meter(s)
(equal (MeasureFn ?NUMBER Millimeter) (MeasureFn (MultiplicationFn ?NUMBER 0.001) Meter))	Merge.kif 6814-6817	equal a real number millimeter(s) and the real number and 0.001 meter(s)
(equal (MeasureFn ?NUMBER MinuteDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration))	Merge.kif 7128-7130	equal a real number minute duration(s) and the real number and 60 second duration(s)
(equal (MeasureFn ?NUMBER PoundForce) (MeasureFn (MultiplicationFn ?NUMBER 4.448222) Newton))	Merge.kif 7379-7381	equal a real number pound force(s) and the real number and 4.448222 newton(s)

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

KB Term:			Term intersection

English Word: