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 4703-4705
(documentation MultiplicationFn JapaneseLanguage "?NUMBER1 と ?NUMBER2 が Number の場合、 (MultiplicationFn ?NUMBER1 ?NUMBER2) はこれらの数値の算術積である。") japanese_format.kif 876-877
(domain MultiplicationFn 1 RealNumber) Merge.kif 4699-4699 乘法函数 的 1 数量 是 实数 的 instance
(domain MultiplicationFn 2 RealNumber) Merge.kif 4700-4700 乘法函数 的 2 数量 是 实数 的 instance
(identityElement MultiplicationFn 1) Merge.kif 5294-5294 1 是 乘法函数 的单位元
(instance MultiplicationFn AssociativeFunction) Merge.kif 4695-4695 乘法函数 是 结合函数 的 instance
(instance MultiplicationFn BinaryFunction) Merge.kif 4694-4694 乘法函数 是 二元函数 的 instance
(instance MultiplicationFn CommutativeFunction) Merge.kif 4696-4696 乘法函数 是 交换函数 的 instance
(instance MultiplicationFn TotalValuedRelation) Merge.kif 4698-4698 乘法函数 是 总值关系 的 instance
(range MultiplicationFn RealNumber) Merge.kif 4701-4701 乘法函数 的 range 是 实数 的实例

appearance as argument number 2
-------------------------


(format ChineseLanguage MultiplicationFn "%*[*]") chinese_format.kif 680-680
(format EnglishLanguage MultiplicationFn "%*[*]") english_format.kif 682-682
(format FrenchLanguage MultiplicationFn "%*[*]") french_format.kif 413-413
(format ItalianLanguage MultiplicationFn "%*[*]") relations-it.txt 196-196
(format JapaneseLanguage MultiplicationFn "%*[*]") japanese_format.kif 2130-2130
(format PortugueseLanguage MultiplicationFn "%*[*]") portuguese_format.kif 365-365
(format cz MultiplicationFn "%*[*]") relations-cz.txt 422-422
(format de MultiplicationFn "%*[*]") relations-de.txt 887-887
(format hi MultiplicationFn "%*[*]") relations-hindi.txt 234-234
(format ro MultiplicationFn "%*[*]") relations-ro.kif 435-435
(format sv MultiplicationFn "%*[*]") relations-sv.txt 457-457
(format tg MultiplicationFn "%*[*]") relations-tg.txt 377-377
(termFormat ChineseLanguage MultiplicationFn "乘法") domainEnglishFormat.kif 39183-39183
(termFormat ChineseLanguage MultiplicationFn "乘法函数") chinese_format.kif 681-681
(termFormat ChineseTraditionalLanguage MultiplicationFn "乘法") domainEnglishFormat.kif 39182-39182
(termFormat EnglishLanguage MultiplicationFn "multiplication") domainEnglishFormat.kif 39181-39181
(termFormat tg MultiplicationFn "tungkulin ng pagpaparami") relations-tg.txt 378-378

antecedent
-------------------------


(=>
    (and
        (arableLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (arableLandArea ?REGION
        (MeasureFn ?AMOUNT ?UNIT)))		 Geography.kif 2080-2090
(=>
    (and
        (not
            (equal ?NUMBER2 0))
        (equal
            (AdditionFn
                (MultiplicationFn
                    (FloorFn
                        (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))
    (equal
        (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER))		 Merge.kif 5117-5128
(=>
    (and
        (otherLandUseArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (otherLandUseArea ?REGION
        (MeasureFn ?AMOUNT ?UNIT)))		 Geography.kif 2165-2176
(=>
    (and
        (permanentCropLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (permanentCropLandArea ?REGION
        (MeasureFn ?AMOUNT ?UNIT)))		 Geography.kif 2125-2136
(=>
    (and
        (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
        (totalGDPInPeriod ?AREA
            (MeasureFn ?GDPAMOUNT ?CUNIT) ?PERIOD)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?GDPAMOUNT)))
    (sectorValueOfGDPInPeriod ?AREA ?SECTOR
        (MeasureFn ?AMOUNT ?CUNIT) ?PERIOD))		 Economy.kif 1107-1115
(=>
    (and
        (simpleInterest ?Account
            (MeasureFn ?Interest ?CUNIT) ?Period)
        (principalAmount ?Account
            (MeasureFn ?Principal ?CUNIT))
        (equal ?Rate-Decimal
            (DivisionFn ?Interest ?Principal))
        (equal ?Rate
            (MultiplicationFn ?Rate-Decimal 100.0)))
    (interestRatePerPeriod ?Account ?Rate ?Period))		 FinancialOntology.kif 587-597
(=>
    (and
        (typicalBloodVolume ?M
            (MeasureFn ?N ?U))
        (holdsDuring ?T
            (bloodVolume ?H
                (MeasureFn ?N2 ?U)))
        (instance ?H ?M)
        (greaterThan
            (MultiplicationFn ?N2 2.0) ?N)
        (lessThan ?N2
            (MultiplicationFn 0.8 ?N)))
    (holdsDuring ?T
        (attribute ?H SevereBloodLoss)))		 Medicine.kif 5968-5982
(=>
    (and
        (typicalBloodVolume ?M
            (MeasureFn ?N ?U))
        (holdsDuring ?T
            (bloodVolume ?H
                (MeasureFn ?N2 ?U)))
        (instance ?H ?M)
        (lessThan
            (MultiplicationFn ?N2 2.0) ?N))
    (holdsDuring ?T
        (attribute ?H CatastrophicBloodLoss)))		 Medicine.kif 5950-5962
(=>
    (equal ?N
        (MultiplicationFn 1 ?N))
    (equal
        (MeasureFn ?N MillenniumDuration)
        (MeasureFn
            (MultiplicationFn ?N 1000) YearDuration)))		 Mid-level-ontology.kif 13683-13687
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.151) Mile)))		 Geography.kif 3912-3919
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1.852)
            (KiloFn Meter))))		 Geography.kif 3894-3901
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 1852.0) Meter)))		 Geography.kif 3885-3892
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM NauticalMile)
        (MeasureFn
            (MultiplicationFn ?NUM 6076.1) FootLength)))		 Geography.kif 3903-3910
(=>
    (equal ?NUM
        (MultiplicationFn 1.0 ?NUM))
    (equal
        (MeasureFn ?NUM SquareKilometer)
        (MeasureFn
            (MultiplicationFn ?NUM 1000000.0) SquareMeter)))		 Geography.kif 625-631
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER CenturyDuration)
        (MeasureFn
            (MultiplicationFn ?NUMBER 100) YearDuration)))		 Mid-level-ontology.kif 19064-19068
(=>
    (equal ?NUMBER
        (MultiplicationFn 1 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER DecadeDuration)
        (MeasureFn
            (MultiplicationFn ?NUMBER 10) YearDuration)))		 Merge.kif 8759-8763
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Fathom)
        (MeasureFn
            (MultiplicationFn ?NUMBER 6.0) FootLength)))		 Geography.kif 3844-3848
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER LongTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2240.0) PoundMass)))		 Mid-level-ontology.kif 13618-13622
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER Nanometer)
        (MeasureFn
            (MultiplicationFn ?NUMBER 0.000000001) Meter)))		 Mid-level-ontology.kif 19083-19089
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER RegistryTon)
        (MeasureFn
            (MultiplicationFn ?NUMBER 100.0) CubicFoot)))		 Mid-level-ontology.kif 13668-13672
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER TonMass)
        (MeasureFn
            (MultiplicationFn ?NUMBER 2205.0) PoundMass)))		 Mid-level-ontology.kif 13591-13595
(=>
    (equal ?NUMBER
        (MultiplicationFn 1.0 ?NUMBER))
    (equal
        (MeasureFn ?NUMBER YardLength)
        (MeasureFn
            (MultiplicationFn 3.0 ?NUMBER) FootLength)))		 Mid-level-ontology.kif 19073-19077

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


(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205.0) PoundMass)))		 Mid-level-ontology.kif 13605-13611 物理 的 measure 是 实数 公吨 若且唯若 那个 物理 的 measure 是 那个 实数 和 2205.0 磅质量
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcMinute)))		 Geography.kif 378-380 物理 的 measure 是 实数 圆周角度 若且唯若 那个 物理 的 measure 是 60.0 和 那个 实数 弧分
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcSecond)))		 Geography.kif 397-399 物理 的 measure 是 实数 弧分 若且唯若 那个 物理 的 measure 是 60.0 和 那个 实数 弧秒
(=>
    (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 2092-2106
(=>
    (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 13566-13575
(=>
    (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 13577-13586
(=>
    (and
        (equal
            (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)
        (not
            (equal ?NUMBER2 0)))
    (equal
        (AdditionFn
            (MultiplicationFn
                (FloorFn
                    (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1))		 Merge.kif 5104-5115
(=>
    (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 ?H HumanAdult)
        (measure ?H
            (MeasureFn ?N Pounds)))
    (and
        (bloodVolume ?H
            (MeasureFn ?N2 Liter))
        (equal ?N2
            (DivisionFn
                (MultiplicationFn ?N 0.07) 2.33))))		 Medicine.kif 5915-5924
(=>
    (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 2969-2986
(=>
    (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 2993-3011
(=>
    (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 3018-3036
(=>
    (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 2945-2962
(=>
    (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 2851-2869
(=>
    (and
        (instance ?NUMBER Integer)
        (not
            (equal ?NUMBER 0)))
    (equal 1
        (MultiplicationFn ?NUMBER
            (ReciprocalFn ?NUMBER))))		 Merge.kif 5086-5091
(=>
    (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 2178-2196
(=>
    (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 2138-2152
(=>
    (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 2229-2239
(=>
    (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 17906-17931
(=>
    (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 2782-2795

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 实数 弧分 equal 60.0 和 那个 实数 弧秒
(equal
    (MeasureFn ?NUM AngularDegree)
    (MeasureFn
        (MultiplicationFn 60.0 ?NUM) ArcMinute))		 Geography.kif 383-383 实数 圆周角度 equal 60.0 和 那个 实数 弧分
(equal
    (MeasureFn ?NUMBER Amu)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.6605402E-24) Gram))		 Merge.kif 7151-7153 实数 amu equal 那个 实数 和 1.6605402E-24 公克
(equal
    (MeasureFn ?NUMBER Angstrom)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.0E-10) Meter))		 Merge.kif 7173-7175 实数 埃 equal 那个 实数 和 1.0E-10 仪表
(equal
    (MeasureFn ?NUMBER AngularDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn Pi 180.0)) Radian))		 Merge.kif 7367-7369 实数 圆周角度 equal 那个 实数 和 圆周率 和 180.0 弧度
(equal
    (MeasureFn ?NUMBER BritishThermalUnit)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1055.05585262) Joule))		 Merge.kif 7353-7355 实数 英国热量单位 equal 那个 实数 和 1055.05585262 焦耳
(equal
    (MeasureFn ?NUMBER Byte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 8) Bit))		 Merge.kif 7425-7427 实数 字节 equal 那个 实数 和 8 位元
(equal
    (MeasureFn ?NUMBER Calorie)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.1868) Joule))		 Merge.kif 7345-7347 实数 卡路里 equal 那个 实数 和 4.1868 焦耳
(equal
    (MeasureFn ?NUMBER Centimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) Meter))		 Merge.kif 6780-6782 实数 厘米 equal 那个 实数 和 0.01 仪表
(equal
    (MeasureFn ?NUMBER DayDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 24) HourDuration))		 Merge.kif 7087-7089 实数 一天长度 equal 那个 实数 和 24 小时
(equal
    (MeasureFn ?NUMBER ElectronVolt)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1.60217733E-19) Joule))		 Merge.kif 7161-7163 实数 电子伏特 equal 那个 实数 和 1.60217733E-19 焦耳
(equal
    (MeasureFn ?NUMBER EuroCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) EuroDollar))		 Merge.kif 7405-7407 实数 欧元分 equal 那个 实数 和 0.01 欧元
(equal
    (MeasureFn ?NUMBER FootLength)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.3048) Meter))		 Merge.kif 7186-7188 实数 脚长 equal 那个 实数 和 0.3048 仪表
(equal
    (MeasureFn ?NUMBER HourDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) MinuteDuration))		 Merge.kif 7095-7097 实数 小时 equal 那个 实数 和 60 分钟
(equal
    (MeasureFn ?NUMBER Inch)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0254) Meter))		 Merge.kif 7193-7195 实数 英寸 equal 那个 实数 和 0.0254 仪表
(equal
    (MeasureFn ?NUMBER KiloByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) Byte))		 Merge.kif 7435-7437 实数 千位元 equal 那个 实数 和 1024 字节
(equal
    (MeasureFn ?NUMBER Kilogram)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Gram))		 Merge.kif 7279-7282 实数 公斤 equal 那个 实数 和 1000 公克
(equal
    (MeasureFn ?NUMBER Kilometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1000) Meter))		 Merge.kif 6799-6802 实数 公里 equal 那个 实数 和 1000 仪表
(equal
    (MeasureFn ?NUMBER MegaByte)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1024) KiloByte))		 Merge.kif 7445-7447 实数 兆位元 equal 那个 实数 和 1024 千位元
(equal
    (MeasureFn ?NUMBER Micrometer)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.0000001) Meter))		 Geography.kif 7097-7100 实数 微米 equal 那个 实数 和 0.0000001 仪表
(equal
    (MeasureFn ?NUMBER Mile)
    (MeasureFn
        (MultiplicationFn ?NUMBER 1609.344) Meter))		 Merge.kif 7200-7202 实数 英里 equal 那个 实数 和 1609.344 仪表
(equal
    (MeasureFn ?NUMBER Millimeter)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.001) Meter))		 Merge.kif 6789-6792 实数 毫米 equal 那个 实数 和 0.001 仪表
(equal
    (MeasureFn ?NUMBER MinuteDuration)
    (MeasureFn
        (MultiplicationFn ?NUMBER 60) SecondDuration))		 Merge.kif 7103-7105 实数 分钟 equal 那个 实数 和 60 第二期
(equal
    (MeasureFn ?NUMBER PoundForce)
    (MeasureFn
        (MultiplicationFn ?NUMBER 4.448222) Newton))		 Merge.kif 7335-7337 实数 磅力 equal 那个 实数 和 4.448222 牛顿
(equal
    (MeasureFn ?NUMBER PoundMass)
    (MeasureFn
        (MultiplicationFn ?NUMBER 453.59237) Gram))		 Merge.kif 7296-7298 实数 磅质量 equal 那个 实数 和 453.59237 公克

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