Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MultiplicationFn

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 4689-4691
(documentation MultiplicationFn JapaneseLanguage "?NUMBER1 と ?NUMBER2 が Number の場合、 (MultiplicationFn ?NUMBER1 ?NUMBER2) はこれらの数値の算術積である。") japanese_format.kif 876-877
(domain MultiplicationFn 1 RealNumber) Merge.kif 4685-4685 Le nombre 1 argument de MultiplicationFn est une instance de nombre r�el
(domain MultiplicationFn 2 RealNumber) Merge.kif 4686-4686 Le nombre 2 argument de MultiplicationFn est une instance de nombre r�el
(identityElement MultiplicationFn 1) Merge.kif 5280-5280 1 est un MultiplicationFn
(instance MultiplicationFn AssociativeFunction) Merge.kif 4681-4681 MultiplicationFn est une instance de fonction associative
(instance MultiplicationFn BinaryFunction) Merge.kif 4680-4680 MultiplicationFn est une instance de fonction binaire
(instance MultiplicationFn CommutativeFunction) Merge.kif 4682-4682 MultiplicationFn est une instance de function commutative
(instance MultiplicationFn TotalValuedRelation) Merge.kif 4684-4684 MultiplicationFn est une instance de relation total
(range MultiplicationFn RealNumber) Merge.kif 4687-4687 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 39198-39198
(termFormat ChineseLanguage MultiplicationFn "乘法函数") chinese_format.kif 681-681
(termFormat ChineseTraditionalLanguage MultiplicationFn "乘法") domainEnglishFormat.kif 39197-39197
(termFormat EnglishLanguage MultiplicationFn "multiplication") domainEnglishFormat.kif 39196-39196
(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 2078-2088
(=>
    (and
        (not
            (equal ?NUMBER2 0))
        (equal
            (AdditionFn
                (MultiplicationFn
                    (FloorFn
                        (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
    (equal
        (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER))
Merge.kif 5103-5114
(=>
    (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 2163-2174
(=>
    (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 2123-2134
(=>
    (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
(=>
    (equal ?N
        (MultiplicationFn 1 ?N))
    (equal
        (MeasureFn ?N MillenniumDuration)
        (MeasureFn
            (MultiplicationFn ?N 1000) YearDuration)))
Mid-level-ontology.kif 13553-13557
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.151) Mile)))
Geography.kif 3838-3845
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))
Geography.kif 3820-3827
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1852.0) Meter)))
Geography.kif 3811-3818
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 6076.1) FootLength)))
Geography.kif 3829-3836
(=>
    (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 18897-18901
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER DecadeDuration)
        (MeasureFn
            (MultiplicationFn ?NUMBER 10) YearDuration)))
Merge.kif 8743-8747
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Fathom)
        (MeasureFn
            (MultiplicationFn ?NUMBER 6.0) FootLength)))
Geography.kif 3770-3774
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER LongTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2240.0) PoundMass)))
Mid-level-ontology.kif 13488-13492
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Nanometer)
        (MeasureFn
            (MultiplicationFn ?NUMBER 0.000000001) Meter)))
Mid-level-ontology.kif 18916-18922
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER RegistryTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 100.0) CubicFoot)))
Mid-level-ontology.kif 13538-13542
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER TonMass)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2205.0) PoundMass)))
Mid-level-ontology.kif 13461-13465
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER YardLength)
        (MeasureFn
            (MultiplicationFn 3.0 ?NUMBER) FootLength)))
Mid-level-ontology.kif 18906-18910

consequent
-------------------------


(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205.0) PoundMass)))
Mid-level-ontology.kif 13475-13481 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 2090-2104
(=>
    (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 659-669
(=>
    (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 13436-13445
(=>
    (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 13447-13456
(=>
    (and
        (equal
            (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
        (not
            (equal ?NUMBER2 0)))
    (equal
        (AdditionFn
            (MultiplicationFn
                (FloorFn
                    (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
Merge.kif 5090-5101
(=>
    (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 1486-1497
(=>
    (and
        (instance ?NUMBER Integer)
        (not
            (equal ?NUMBER 0)))
    (equal 1
        (MultiplicationFn ?NUMBER
            (ReciprocalFn ?NUMBER))))
Merge.kif 5072-5077
(=>
    (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 3095-3109
(=>
    (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 1532-1547
(=>
    (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 2176-2194
(=>
    (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 2136-2150
(=>
    (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 2243-2253
(=>
    (and
        (price ?Stocks
            (MeasureFn ?Number UnitedStatesDollar) ?Time)
        (exists (?Event)
            (and
                (splitFor ?Event ?N1 ?N2)
                (equal
                    (WhenFn ?Event) ?TimeOfSplit))))
    (exists (?N3 ?NewNumber ?TimeAfterSplit)
        (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 2255-2268
(=>
    (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 538-548
(=>
    (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 17791-17816
(=>
    (attribute ?F Flat)
    (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
        (and
            (side ?S1 ?F)
            (side ?S2 ?F)
            (meetsSpatially ?S1 ?S2)
            (not
                (equal ?S1 ?S2))
            (instance ?U UnitOfLength)
            (height ?F
                (MeasureFn ?HF ?U))
            (height ?S1
                (MeasureFn ?H1 ?U))
            (height ?S2
                (MeasureFn ?H2 ?U))
            (greaterThan ?H1
                (MultiplicationFn 2.0 ?HF))
            (greaterThan ?H2
                (MultiplicationFn 2.0 ?HF)))))
Mid-level-ontology.kif 2754-2767
(=>
    (attribute ?F LongAndThin)
    (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
        (and
            (side ?S1 ?F)
            (side ?S2 ?F)
            (meetsSpatially ?S1 ?S2)
            (not
                (equal ?S1 ?S2))
            (instance ?U UnitOfLength)
            (length ?F
                (MeasureFn ?HF ?U))
            (length ?S1
                (MeasureFn ?H1 ?U))
            (length ?S2
                (MeasureFn ?H2 ?U))
            (lessThan ?H1
                (MultiplicationFn 3.0 ?HF))
            (lessThan ?H2
                (MultiplicationFn 3.0 ?HF)))))
Mid-level-ontology.kif 2775-2788
(=>
    (circumfrence ?CIRCLE ?LENGTH)
    (exists (?D ?UNIT)
        (and
            (diameter ?CIRCLE
                (MeasureFn ?D ?UNIT))
            (equal
                (MeasureFn
                    (MultiplicationFn ?D 3.14) ?UNIT) ?LENGTH))))
Mid-level-ontology.kif 31243-31251
(=>
    (diameter ?CIRCLE ?LENGTH)
    (exists (?NHALF ?UHALF)
        (and
            (radius ?CIRCLE
                (MeasureFn ?NHALF ?UHALF))
            (equal
                (MeasureFn
                    (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7655-7660
(=>
    (equal
        (DiameterFn ?C)
        (MeasureFn ?L ?U))
    (exists (?R)
        (and
            (equal
                (RadiusFn ?C)
                (MeasureFn ?R ?U))
            (equal
                (MultiplicationFn ?R 2.0) ?L))))
Mid-level-ontology.kif 4919-4924
(=>
    (equal
        (SquareRootFn ?NUMBER1) ?NUMBER2)
    (equal
        (MultiplicationFn ?NUMBER2 ?NUMBER2) ?NUMBER1))
Merge.kif 5211-5213

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 1.6605402E-24) Gram))
Merge.kif 7137-7139 Nombre r�el Amu(s) est nombre r�el + 1.6605402E-24 Gram(s)
(equal
    (MeasureFn ?NUMBER Angstrom)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.0E-10) Meter))
Merge.kif 7159-7161 Nombre r�el Angstrom(s) est nombre r�el + 1.0E-10 Meter(s)
(equal
    (MeasureFn ?NUMBER AngularDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn Pi 180.0)) Radian))
Merge.kif 7353-7355 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 7339-7341 Nombre r�el BritishThermalUnit(s) est nombre r�el + 1055.05585262 Joule(s)
(equal
    (MeasureFn ?NUMBER Byte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 8) Bit))
Merge.kif 7411-7413 Nombre r�el Byte(s) est nombre r�el + 8 Bit(s)
(equal
    (MeasureFn ?NUMBER Calorie)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.1868) Joule))
Merge.kif 7331-7333 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 6766-6768 Nombre r�el Centimeter(s) est nombre r�el + 0.01 Meter(s)
(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))
Merge.kif 7073-7075 Nombre r�el DayDuration(s) est nombre r�el + 24 HourDuration(s)
(equal
    (MeasureFn ?NUMBER ElectronVolt)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))
Merge.kif 7147-7149 Nombre r�el ElectronVolt(s) est nombre r�el + 1.60217733E-19 Joule(s)
(equal
    (MeasureFn ?NUMBER EuroCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) EuroDollar))
Merge.kif 7391-7393 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 7172-7174 Nombre r�el FootLength(s) est nombre r�el + 0.3048 Meter(s)
(equal
    (MeasureFn ?NUMBER HourDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) MinuteDuration))
Merge.kif 7081-7083 Nombre r�el HourDuration(s) est nombre r�el + 60 MinuteDuration(s)
(equal
    (MeasureFn ?NUMBER Inch)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0254) Meter))
Merge.kif 7179-7181 Nombre r�el Inch(s) est nombre r�el + 0.0254 Meter(s)
(equal
    (MeasureFn ?NUMBER KiloByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) Byte))
Merge.kif 7421-7423 Nombre r�el KiloByte(s) est nombre r�el + 1024 Byte(s)
(equal
    (MeasureFn ?NUMBER Kilogram)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Gram))
Merge.kif 7265-7268 Nombre r�el Kilogram(s) est nombre r�el + 1000 Gram(s)
(equal
    (MeasureFn ?NUMBER Kilometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Meter))
Merge.kif 6785-6788 Nombre r�el Kilometer(s) est nombre r�el + 1000 Meter(s)
(equal
    (MeasureFn ?NUMBER MegaByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) KiloByte))
Merge.kif 7431-7433 Nombre r�el MegaByte(s) est nombre r�el + 1024 KiloByte(s)
(equal
    (MeasureFn ?NUMBER Mile)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1609.344) Meter))
Merge.kif 7186-7188 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 6775-6778 Nombre r�el Millimeter(s) est nombre r�el + 0.001 Meter(s)
(equal
    (MeasureFn ?NUMBER MinuteDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) SecondDuration))
Merge.kif 7089-7091 Nombre r�el MinuteDuration(s) est nombre r�el + 60 SecondDuration(s)
(equal
    (MeasureFn ?NUMBER PoundForce)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.448222) Newton))
Merge.kif 7321-7323 Nombre r�el PoundForce(s) est nombre r�el + 4.448222 Newton(s)
(equal
    (MeasureFn ?NUMBER PoundMass)
    (MeasureFn
        (MultiplicationFn ?NUMBER 453.59237) Gram))
Merge.kif 7282-7284 Nombre r�el PoundMass(s) est nombre r�el + 453.59237 Gram(s)
(equal
    (MeasureFn ?NUMBER RankineDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.8) KelvinDegree))
Merge.kif 7302-7304 Nombre r�el RankineDegree(s) est nombre r�el + 1.8 KelvinDegree(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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