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 4716-4718
(documentation MultiplicationFn JapaneseLanguage "?NUMBER1 と ?NUMBER2 が Number の場合、 (MultiplicationFn ?NUMBER1 ?NUMBER2) はこれらの数値の算術積である。") japanese_format.kif 876-877
(domain MultiplicationFn 1 RealNumber) Merge.kif 4712-4712 Le nombre 1 argument de MultiplicationFn est une instance de nombre r�el
(domain MultiplicationFn 2 RealNumber) Merge.kif 4713-4713 Le nombre 2 argument de MultiplicationFn est une instance de nombre r�el
(identityElement MultiplicationFn 1) Merge.kif 5307-5307 1 est un MultiplicationFn
(instance MultiplicationFn AssociativeFunction) Merge.kif 4708-4708 MultiplicationFn est une instance de fonction associative
(instance MultiplicationFn BinaryFunction) Merge.kif 4707-4707 MultiplicationFn est une instance de fonction binaire
(instance MultiplicationFn CommutativeFunction) Merge.kif 4709-4709 MultiplicationFn est une instance de function commutative
(instance MultiplicationFn TotalValuedRelation) Merge.kif 4711-4711 MultiplicationFn est une instance de relation total
(range MultiplicationFn RealNumber) Merge.kif 4714-4714 Le domaine de MultiplicationFn est une instance de nombre r�el

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 2068-2078
(=>
    (and
        (not
            (equal ?NUMBER2 0))
        (equal
            (AdditionFn
                (MultiplicationFn
                    (FloorFn
                        (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
    (equal
        (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER))		 Merge.kif 5130-5141
(=>
    (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 2153-2164
(=>
    (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 2113-2124
(=>
    (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 3993-4000
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))		 Geography.kif 3975-3982
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1852.0) Meter)))		 Geography.kif 3966-3973
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 6076.1) FootLength)))		 Geography.kif 3984-3991
(=>
    (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 8857-8861
(=>
    (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 3925-3929
(=>
    (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
-------------------------


(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205.0) PoundMass)))		 Mid-level-ontology.kif 14944-14950 La mesure de physique est nombre r�el MetricTon(s) la mesure de physique est nombre r�el + 2205.0 PoundMass(s)
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcMinute)))		 Geography.kif 378-380 La mesure de physique est nombre r�el AngularDegree(s) la mesure de physique est 60.0 + nombre r�el ArcMinute(s)
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcSecond)))		 Geography.kif 397-399 La mesure de physique est nombre r�el ArcMinute(s) la mesure de physique est 60.0 + nombre r�el ArcSecond(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 2080-2094
(=>
    (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
(=>
    (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 655-665
(=>
    (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
(=>
    (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 14916-14925
(=>
    (and
        (equal
            (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
        (not
            (equal ?NUMBER2 0)))
    (equal
        (AdditionFn
            (MultiplicationFn
                (FloorFn
                    (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))		 Merge.kif 5117-5128
(=>
    (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 2003-2014
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (and
        (instance ?NUMBER Integer)
        (not
            (equal ?NUMBER 0)))
    (equal 1
        (MultiplicationFn ?NUMBER
            (ReciprocalFn ?NUMBER))))		 Merge.kif 5099-5104
(=>
    (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
(=>
    (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
(=>
    (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 2048-2063
(=>
    (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 2166-2184
(=>
    (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 2126-2140
(=>
    (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
(=>
    (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
(=>
    (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 18074-18099

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 402-402 Nombre r�el ArcMinute(s) est nombre r�el ArcSecond(s)
(equal
    (MeasureFn ?NUM AngularDegree)
    (MeasureFn
        (MultiplicationFn 60.0 ?NUM) ArcMinute))		 Geography.kif 383-383 Nombre r�el AngularDegree(s) est nombre r�el ArcMinute(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 7162-7172 Nombre r�el Amu(s) est nombre r�el + 1.6605402 + 1000000.0 + 1000000.0 + 1000000.0 + 1000000.0 Gram(s)
(equal
    (MeasureFn ?NUMBER Angstrom)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn
                (DivisionFn 1.0 100000.0) 100000.0)) Meter))		 Merge.kif 7198-7204 Nombre r�el Angstrom(s) est nombre r�el + 1.0 + 100000.0 + 100000.0 Meter(s)
(equal
    (MeasureFn ?NUMBER AngularDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn Pi 180.0)) Radian))		 Merge.kif 7396-7398 Nombre r�el AngularDegree(s) est nombre r�el + pi + 180.0 Radian(s)
(equal
    (MeasureFn ?NUMBER BritishThermalUnit)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1055.05585262) Joule))		 Merge.kif 7382-7384 Nombre r�el BritishThermalUnit(s) est nombre r�el + 1055.05585262 Joule(s)
(equal
    (MeasureFn ?NUMBER Byte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 8) Bit))		 Merge.kif 7454-7456 Nombre r�el Byte(s) est nombre r�el + 8 Bit(s)
(equal
    (MeasureFn ?NUMBER Calorie)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.1868) Joule))		 Merge.kif 7374-7376 Nombre r�el Calorie(s) est nombre r�el + 4.1868 Joule(s)
(equal
    (MeasureFn ?NUMBER Centimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) Meter))		 Merge.kif 6790-6792 Nombre r�el Centimeter(s) est nombre r�el + 0.01 Meter(s)
(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))		 Merge.kif 7097-7099 Nombre r�el DayDuration(s) est nombre r�el + 24 HourDuration(s)
(equal
    (MeasureFn ?NUMBER ElectronVolt)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn
                (DivisionFn
                    (DivisionFn 1.60217733 1000000.0) 1000000.0) 10000000.0)) Joule))		 Merge.kif 7180-7188 Nombre r�el ElectronVolt(s) est nombre r�el + 1.60217733 + 1000000.0 + 1000000.0 + 10000000.0 Joule(s)
(equal
    (MeasureFn ?NUMBER EuroCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) EuroDollar))		 Merge.kif 7434-7436 Nombre r�el EuroCent(s) est nombre r�el + 0.01 EuroDollar(s)
(equal
    (MeasureFn ?NUMBER FootLength)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.3048) Meter))		 Merge.kif 7215-7217 Nombre r�el FootLength(s) est nombre r�el + 0.3048 Meter(s)
(equal
    (MeasureFn ?NUMBER HourDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) MinuteDuration))		 Merge.kif 7105-7107 Nombre r�el HourDuration(s) est nombre r�el + 60 MinuteDuration(s)
(equal
    (MeasureFn ?NUMBER Inch)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0254) Meter))		 Merge.kif 7222-7224 Nombre r�el Inch(s) est nombre r�el + 0.0254 Meter(s)
(equal
    (MeasureFn ?NUMBER KiloByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) Byte))		 Merge.kif 7464-7466 Nombre r�el KiloByte(s) est nombre r�el + 1024 Byte(s)
(equal
    (MeasureFn ?NUMBER Kilogram)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Gram))		 Merge.kif 7308-7311 Nombre r�el Kilogram(s) est nombre r�el + 1000 Gram(s)
(equal
    (MeasureFn ?NUMBER KilogramForce)
    (MeasureFn
        (MultiplicationFn ?NUMBER 9.80665) Newton))		 Mid-level-ontology.kif 5298-5301 Nombre r�el KilogramForce(s) est nombre r�el + 9.80665 Newton(s)
(equal
    (MeasureFn ?NUMBER Kilometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Meter))		 Merge.kif 6809-6812 Nombre r�el Kilometer(s) est nombre r�el + 1000 Meter(s)
(equal
    (MeasureFn ?NUMBER MegaByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) KiloByte))		 Merge.kif 7474-7476 Nombre r�el MegaByte(s) est nombre r�el + 1024 KiloByte(s)
(equal
    (MeasureFn ?NUMBER Micrometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0000001) Meter))		 Geography.kif 7263-7266 Nombre r�el Micrometer(s) est nombre r�el + 0.0000001 Meter(s)
(equal
    (MeasureFn ?NUMBER Mile)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1609.344) Meter))		 Merge.kif 7229-7231 Nombre r�el Mile(s) est nombre r�el + 1609.344 Meter(s)
(equal
    (MeasureFn ?NUMBER Millimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.001) Meter))		 Merge.kif 6799-6802 Nombre r�el Millimeter(s) est nombre r�el + 0.001 Meter(s)
(equal
    (MeasureFn ?NUMBER MinuteDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) SecondDuration))		 Merge.kif 7113-7115 Nombre r�el MinuteDuration(s) est nombre r�el + 60 SecondDuration(s)
(equal
    (MeasureFn ?NUMBER PoundForce)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.448222) Newton))		 Merge.kif 7364-7366 Nombre r�el PoundForce(s) est nombre r�el + 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