  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  AlbanianLanguageArabicLanguageBasqueLanguageBulgarianLanguageCatalanLanguageChineseLanguageChineseTraditionalLanguageCroatianLanguageDanishLanguageEnglishLanguageFarsiLanguageFinnishLanguageFrenchLanguageGalicianLanguageGermanLanguageGreekLanguageHaboobHebrewLanguageIcelandicLanguageIndonesianLanguageItalianLanguageJapaneseLanguageMalayLanguageNorwegianBokmalLanguageNorwegianNorskLanguagePolishLanguagePortugueseLanguageSpanishLanguageSwedishLanguageTaiwanChineseLanguageThaiLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb

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 4349-4351 (domain MultiplicationFn 1 Quantity) Merge.kif 4345-4345 The number 1 argument of multiplication is an instance of quantity (domain MultiplicationFn 2 Quantity) Merge.kif 4346-4346 The number 2 argument of multiplication is an instance of quantity (identityElement MultiplicationFn 1) Merge.kif 4848-4848 1 is an identity element of multiplication (instance MultiplicationFn AssociativeFunction) Merge.kif 4341-4341 Multiplication is an instance of associative function (instance MultiplicationFn BinaryFunction) Merge.kif 4340-4340 Multiplication is an instance of binary function (instance MultiplicationFn CommutativeFunction) Merge.kif 4342-4342 Multiplication is an instance of commutative function (instance MultiplicationFn TotalValuedRelation) Merge.kif 4344-4344 Multiplication is an instance of total valued relation (range MultiplicationFn Quantity) Merge.kif 4347-4347 The range of multiplication is an instance of quantity

 appearance as argument number 2 (format ChineseLanguage MultiplicationFn "%*[*]") chinese_format.kif 680-680 (format EnglishLanguage MultiplicationFn "%*[*]") english_format.kif 685-685 (termFormat ChineseLanguage MultiplicationFn "乘法") domainEnglishFormat.kif 39103-39103 "乘法" is the printable form of multiplication in ChineseLanguage (termFormat ChineseLanguage MultiplicationFn "乘法函数") chinese_format.kif 681-681 "乘法函数" is the printable form of multiplication in ChineseLanguage (termFormat ChineseTraditionalLanguage MultiplicationFn "乘法") domainEnglishFormat.kif 39102-39102 "乘法" is the printable form of multiplication in ChineseTraditionalLanguage (termFormat EnglishLanguage MultiplicationFn "multiplication") domainEnglishFormat.kif 39101-39101 "multiplication" is the printable form of multiplication in english language

 antecedent (=>     (and         (arableLandArea ?REGION ?FRACTION)         (greaterThanOrEqualTo ?FRACTION 0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?UNIT UnitOfArea)         (equal ?AMOUNT             (MeasureFn                 (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))     (arableLandArea ?REGION ?AMOUNT)) Geography.kif 2040-2047 If a constant quantity is an arable land area of a geographic area and the constant quantity is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea and another constant quantity is equal to the constant quantity and the real number the unit of measure(s),then the other constant quantity is an arable land area of the geographic area (=>     (and         (arableLandArea ?REGION ?FRACTION)         (greaterThanOrEqualTo ?FRACTION 0)         (totalArea ?REGION ?TOTAL)         (instance ?TOTAL AreaMeasure)         (equal ?AMOUNT             (MultiplicationFn ?FRACTION ?TOTAL)))     (arableLandArea ?REGION ?AMOUNT)) Geography.kif 2031-2038 If a constant quantity is an arable land area of a geographic area and the constant quantity is greater than or equal to 0 and an area measure is a total area of the geographic area and the area measure is an instance of area measure and another constant quantity is equal to the constant quantity and the area measure,then the other constant quantity is an arable land area of the geographic area (=>     (and         (equal ?N4             (MultiplicationFn ?N1                 (MultiplicationFn ?N2 ?N3)))         (equal ?QUANT             (MultiplicationFn                 (MeasureFn ?N1 FootLength)                 (MultiplicationFn                     (MeasureFn ?N2 FootLength)                     (MeasureFn ?N3 FootLength)))))     (equal ?QUANT         (MeasureFn ?N4 CubicFoot))) Mid-level-ontology.kif 11229-11239 If a real number is equal to another real number and a third real number and a fourth real number and a physical quantity is equal to the other real number foot length(s) and the third real number foot length(s) and the fourth real number foot length(s),then the physical quantity is equal to the real number cubic foot(s) (=>     (and         (otherLandUseArea ?REGION ?FRACTION)         (greaterThanOrEqualTo ?FRACTION 0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?UNIT UnitOfArea)         (equal ?AMOUNT             (MeasureFn                 (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))     (otherLandUseArea ?REGION ?AMOUNT)) Geography.kif 2130-2137 If a constant quantity is an other land use area of a geographic area and the constant quantity is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea and another constant quantity is equal to the constant quantity and the real number the unit of measure(s),then the other constant quantity is an other land use area of the geographic area (=>     (and         (otherLandUseArea ?REGION ?FRACTION)         (greaterThanOrEqualTo ?FRACTION 0)         (totalArea ?REGION ?TOTAL)         (instance ?TOTAL AreaMeasure)         (equal ?AMOUNT             (MultiplicationFn ?FRACTION ?TOTAL)))     (otherLandUseArea ?REGION ?AMOUNT)) Geography.kif 2121-2128 If a constant quantity is an other land use area of a geographic area and the constant quantity is greater than or equal to 0 and an area measure is a total area of the geographic area and the area measure is an instance of area measure and another constant quantity is equal to the constant quantity and the area measure,then the other constant quantity is an other land use area of the geographic area (=>     (and         (permanentCropLandArea ?REGION ?FRACTION)         (greaterThanOrEqualTo ?FRACTION 0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?UNIT UnitOfArea)         (equal ?AMOUNT             (MeasureFn                 (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))     (permanentCropLandArea ?REGION ?AMOUNT)) Geography.kif 2088-2095 If a constant quantity is a permanent crop land area of a geographic area and the constant quantity is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea and another constant quantity is equal to the constant quantity and the real number the unit of measure(s),then the other constant quantity is a permanent crop land area of the geographic area (=>     (and         (permanentCropLandArea ?REGION ?FRACTION)         (greaterThanOrEqualTo ?FRACTION 0)         (totalArea ?REGION ?TOTAL)         (instance ?TOTAL AreaMeasure)         (equal ?AMOUNT             (MultiplicationFn ?FRACTION ?TOTAL)))     (permanentCropLandArea ?REGION ?AMOUNT)) Geography.kif 2079-2086 If a constant quantity is a permanent crop land area of a geographic area and the constant quantity is greater than or equal to 0 and an area measure is a total area of the geographic area and the area measure is an instance of area measure and another constant quantity is equal to the constant quantity and the area measure,then the other constant quantity is a permanent crop land area of the geographic area (=>     (and         (principalAmount ?Account ?Balance)         (fixedInterestRate ?Account ?Rate)         (compoundInterest ?Account ?Interest ?Period)         (equal ?Rate-Decimal             (DivisionFn ?Rate 100))         (equal ?Add             (AdditionFn 1 ?Rate-Decimal))         (equal ?Exponent             (ExponentiationFn ?Add                 (MagnitudeFn ?Period)))         (equal ?Multiply             (MultiplicationFn ?Exponent ?Balance)))     (equal ?Interest         (SubtractionFn ?Multiply ?Balance))) FinancialOntology.kif 531-540 If a currency measure is a principal amount of a financial account and an interest rate is a fixed interest rate of the financial account and the financial account compound interest an interest for a time interval and the interest rate-Decimal is equal to the interest rate and 100 and a real number is equal to (1 and the interest rate-Decimal) and another real number is equal to the real number raised to the power the magnitude of the time interval and a quantity is equal to the other real number and the currency measure,then the interest is equal to (the quantity and the currency measure) (=>     (and         (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)         (totalGDPInPeriod ?AREA ?GDPAMOUNT ?PERIOD)         (equal ?AMOUNT             (MultiplicationFn ?FRACTION ?GDPAMOUNT)))     (sectorValueOfGDPInPeriod ?AREA ?SECTOR ?AMOUNT ?PERIOD)) Economy.kif 1103-1108 If a geopolitical area %is 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 a currency measure for a kind of time interval and another currency measure is equal to the real number and the currency measure,then the geopolitical area is sector value of GDP in period the industry attribute for the other currency measure with the kind of time interval (=>     (and         (simpleInterest ?Account ?Interest ?Period)         (principalAmount ?Account ?Principal)         (equal ?Rate-Decimal             (DivisionFn ?Interest ?Principal))         (equal ?Rate             (MultiplicationFn ?Rate-Decimal 100)))     (interestRatePerPeriod ?Account ?Rate ?Period)) FinancialOntology.kif 550-556 If a financial account is simple interest an interest for a time interval and a currency measure is a principal amount of the financial account and an interest rate-Decimal is equal to the interest and the currency measure and the interest rate is equal to the interest rate-Decimal and 100,then the financial account is interest rate per period the interest rate for the time interval (=>     (equal ?N         (MultiplicationFn 1 ?N))     (equal         (MeasureFn ?N MillenniumDuration)         (MeasureFn             (MultiplicationFn ?N 1000) YearDuration))) Mid-level-ontology.kif 11264-11268 If a real number is equal to 1 and the real number,then the real number MillenniumDuration(s) is equal to the real number and 1000 year duration(s) (=>     (equal ?NUM         (MultiplicationFn 1 ?NUM))     (equal         (MeasureFn ?NUM NauticalMile)         (MeasureFn             (MultiplicationFn ?NUM 1.151) Mile))) Geography.kif 3719-3721 If a real number is equal to 1 and the real number,then the real number nautical mile(s) is equal to the real number and 1.151 mile(s) (=>     (equal ?NUM         (MultiplicationFn 1 ?NUM))     (equal         (MeasureFn ?NUM NauticalMile)         (MeasureFn             (MultiplicationFn ?NUM 1.852)             (KiloFn Meter)))) Geography.kif 3711-3713 If a real number is equal to 1 and the real number,then the real number nautical mile(s) is equal to the real number and 1.852 1 thousand meters(s) (=>     (equal ?NUM         (MultiplicationFn 1 ?NUM))     (equal         (MeasureFn ?NUM NauticalMile)         (MeasureFn             (MultiplicationFn ?NUM 1852) Meter))) Geography.kif 3707-3709 If a real number is equal to 1 and the real number,then the real number nautical mile(s) is equal to the real number and 1852 meter(s) (=>     (equal ?NUM         (MultiplicationFn 1 ?NUM))     (equal         (MeasureFn ?NUM NauticalMile)         (MeasureFn             (MultiplicationFn ?NUM 6076.1) FootLength))) Geography.kif 3715-3717 If a real number is equal to 1 and the real number,then the real number nautical mile(s) is equal to the real number and 6076.1 foot length(s) (=>     (equal ?NUM         (MultiplicationFn 1 ?NUM))     (equal         (MeasureFn ?NUM SquareKilometer)         (MeasureFn             (MultiplicationFn ?NUM 1000000) SquareMeter))) Geography.kif 627-630 If a real number is equal to 1 and the real number,then the real number square kilometer(s) is equal to the real number and 1000000 square meter(s) (=>     (equal ?NUMBER         (MultiplicationFn 1 ?NUMBER))     (equal         (MeasureFn ?NUMBER CenturyDuration)         (MeasureFn             (MultiplicationFn ?NUMBER 100) YearDuration))) Mid-level-ontology.kif 16755-16759 If a real number is equal to 1 and the real number,then the real number CenturyDuration(s) is equal to the real number and 100 year duration(s) (=>     (equal ?NUMBER         (MultiplicationFn 1 ?NUMBER))     (equal         (MeasureFn ?NUMBER DecadeDuration)         (MeasureFn             (MultiplicationFn ?NUMBER 10) YearDuration))) Merge.kif 8061-8065 If a real number is equal to 1 and the real number,then the real number DecadeDuration(s) is equal to the real number and 10 year duration(s) (=>     (equal ?NUMBER         (MultiplicationFn 1 ?NUMBER))     (equal         (MeasureFn ?NUMBER Fathom)         (MeasureFn             (MultiplicationFn ?NUMBER 6) FootLength))) Geography.kif 3679-3683 If a real number is equal to 1 and the real number,then the real number fathom(s) is equal to the real number and 6 foot length(s) (=>     (equal ?NUMBER         (MultiplicationFn 1 ?NUMBER))     (equal         (MeasureFn ?NUMBER LongTon)         (MeasureFn             (MultiplicationFn ?NUMBER 2240) PoundMass))) Mid-level-ontology.kif 11210-11214 If a real number is equal to 1 and the real number,then the real number long ton(s) is equal to the real number and 2240 pound mass(s) (=>     (equal ?NUMBER         (MultiplicationFn 1 ?NUMBER))     (equal         (MeasureFn ?NUMBER Nanometer)         (MeasureFn             (MultiplicationFn ?NUMBER 0.000000001) Meter))) Mid-level-ontology.kif 16772-16778 If a real number is equal to 1 and the real number,then the real number Nanometer(s) is equal to the real number and 0.000000001 meter(s) (=>     (equal ?NUMBER         (MultiplicationFn 1 ?NUMBER))     (equal         (MeasureFn ?NUMBER RegistryTon)         (MeasureFn             (MultiplicationFn ?NUMBER 100) CubicFoot))) Mid-level-ontology.kif 11249-11253 If a real number is equal to 1 and the real number,then the real number registry ton(s) is equal to the real number and 100 cubic foot(s) (=>     (equal ?NUMBER         (MultiplicationFn 1 ?NUMBER))     (equal         (MeasureFn ?NUMBER TonMass)         (MeasureFn             (MultiplicationFn ?NUMBER 2000) PoundMass))) Mid-level-ontology.kif 11183-11187 If a real number is equal to 1 and the real number,then the real number ton mass(s) is equal to the real number and 2000 pound mass(s) (=>     (equal ?NUMBER         (MultiplicationFn 1 ?NUMBER))     (equal         (MeasureFn ?NUMBER YardLength)         (MeasureFn             (MultiplicationFn 3 ?NUMBER) FootLength))) Mid-level-ontology.kif 16764-16768 If a real number is equal to 1 and the real number,then the real number yard length(s) is equal to 3 and the real number foot length(s)

 consequent (<=>     (and         (instance ?UNIT UnitOfMeasure)         (equal ?AMOUNT             (MeasureFn 1                 (SquareUnitFn ?UNIT))))     (equal ?AMOUNT         (MultiplicationFn             (MeasureFn 1 ?UNIT)             (MeasureFn 1 ?UNIT)))) Geography.kif 3761-3765 An unit of measure is an instance of unit of measure and a physical quantity is equal to 1 the square unit of the unit of measure(s) if and only if the physical quantity is equal to 1 the unit of measure(s) and 1 the unit of measure(s) (<=>     (equal         (RemainderFn ?NUMBER1 ?NUMBER2) ?NUMBER)     (equal         (AdditionFn             (MultiplicationFn                 (FloorFn                     (DivisionFn ?NUMBER1 ?NUMBER2)) ?NUMBER2) ?NUMBER) ?NUMBER1)) Merge.kif 4729-4731 An integer mod another integer is equal to a third integer if and only if (the largest integer less than or equal to the integer and the other integer and the other integer and the third integer) is equal to the integer (<=>     (measure ?O         (MeasureFn ?A MetricTon))     (measure ?O         (MeasureFn             (MultiplicationFn ?A 2205) PoundMass))) Mid-level-ontology.kif 11197-11203 The measure of an object is a real number metric ton(s) if and only if the measure of the object is the real number and 2205 pound mass(s) (<=>     (measure ?OBJ         (MeasureFn ?DEG AngularDegree))     (measure ?OBJ         (MeasureFn             (MultiplicationFn 60 ?DEG) ArcMinute))) Geography.kif 378-380 The measure of an object is a real number angular degree(s) if and only if the measure of the object is 60 and the real number arc minute(s) (<=>     (measure ?OBJ         (MeasureFn ?DEG ArcMinute))     (measure ?OBJ         (MeasureFn             (MultiplicationFn 60 ?DEG) ArcSecond))) Geography.kif 397-399 The measure of an object is a real number arc minute(s) if and only if the measure of the object is 60 and the real number arc second(s) (=>     (and         (arableLandArea ?REGION ?FRACTION)         (greaterThanOrEqualTo ?FRACTION 0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?UNIT UnitOfArea))     (exists (?ARABLE)         (and             (instance ?ARABLE ArableLand)             (geographicSubregion ?ARABLE ?REGION)             (measure ?ARABLE                 (MeasureFn                     (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) Geography.kif 2049-2059 If a constant quantity is an arable land area of a geographic area and the constant quantity is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea,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 constant quantity and the real number the unit of measure(s) (=>     (and         (attribute ?H Muslim)         (equal             (WealthFn ?H) ?W))     (modalAttribute         (exists (?Z ?T)             (and                 (instance ?Z Zakat)                 (instance ?Y Year)                 (during ?Y                     (WhenFn ?H))                 (holdsDuring ?Y                     (attribute ?H FullyFormed))                 (agent ?Z ?H)                 (patient ?Z ?T)                 (monetaryValue ?T ?C)                 (greaterThan ?C                     (MultiplicationFn ?W 0.025)))) Obligation)) ArabicCulture.kif 193-210 If muslim is an attribute of an agent and value of belongings of the agent is equal to a currency measure,then the statement there exist an entity and another entity such that the entity is an instance of zakat and a third entity is an instance of year and the third entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the third 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 a fourth entity and the fourth 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 658-668 If a geographic area comparative area a BinaryRelationExtendedToQuantities for a positive real number with another geographic area and an unit of measure is an instance of UnitOfArea 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 BinaryRelationExtendedToQuantities 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 11158-11167 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 CompositeUnitOfMeasure,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 .5)))) Unlikely)) Mid-level-ontology.kif 11169-11178 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 CompositeUnitOfMeasure,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 .5 has the modal force of unlikely (=>     (and         (instance ?NUMBER Integer)         (not             (equal ?NUMBER 0)))     (equal 1         (MultiplicationFn ?NUMBER             (ReciprocalFn ?NUMBER)))) Merge.kif 4711-4716 If a real number is an instance of integer and the real number is not equal to 0,then 1 is equal to 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 3069-3083 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 quantity(s) holds during the time position,then the measure of the other wire coil is volt another quantity(s) holds during the time position and the other quantity is equal to the quantity and the other integer and the integer (=>     (and         (otherLandUseArea ?REGION ?FRACTION)         (greaterThanOrEqualTo ?FRACTION 0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?UNIT UnitOfArea))     (exists (?OTHER)         (and             (instance ?OTHER LandArea)             (not                 (instance ?OTHER ArableLand))             (not                 (instance ?OTHER PermanentCropLand))             (geographicSubregion ?OTHER ?REGION)             (measure ?OTHER                 (MeasureFn                     (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) Geography.kif 2139-2151 If a constant quantity is an other land use area of a geographic area and the constant quantity is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea,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 constant quantity and the real number the unit of measure(s) (=>     (and         (permanentCropLandArea ?REGION ?FRACTION)         (greaterThanOrEqualTo ?FRACTION 0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?UNIT UnitOfArea))     (exists (?PERMCROP)         (and             (instance ?PERMCROP PermanentCropLand)             (geographicSubregion ?PERMCROP ?REGION)             (measure ?PERMCROP                 (MeasureFn                     (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) Geography.kif 2097-2107 If a constant quantity is a permanent crop land area of a geographic area and the constant quantity is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea,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 constant quantity and the 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 2159-2169 If an agent possesses an object and the measure of the object is a real number ShareUnit(s) and a stock split is split for an integer for another integer,then an entity is equal to the real number and the other integer and another entity is equal to the entity and the integer and the measure of the object is the other entity ShareUnit(s) holds during immediately after the time of existence of the stock split (=>     (and         (price ?Stocks             (MeasureFn ?Number UnitedStatesDollar) ?Time)         (exists (?Event)             (and                 (splitFor ?Event ?N1 ?N2)                 (equal                     (WhenFn ?Event) ?TimeOfSplit))))     (and         (equal ?N3             (MultiplicationFn ?Number ?N1))         (equal ?NewNumber             (DivisionFn ?N3 ?N2))         (price ?Stocks             (MeasureFn ?NewNumber UnitedStatesDollar) ?TimeAfterSplit)         (meetsTemporally ?Time ?TimeOfSplit)         (meetsTemporally ?TimeOfSplit ?TimeAfterSplit))) FinancialOntology.kif 2171-2183 If a physical is price a real number united states dollar(s) for an agent and there exists a stock split such that the stock split is split for an integer for another integer and the time of existence of the stock split is equal to the agentOfSplit,then a quantity is equal to the real number and the integer and another real number is equal to the quantity and the other integer and the physical is price the other real number united states dollar(s) for the agentAfterSplit and the agent meets the agentOfSplit and the agentOfSplit meets the agentAfterSplit (=>     (and         (principalAmount ?Account ?Balance)         (fixedInterestRate ?Account ?Rate)         (simpleInterest ?Account ?Amount ?Period)         (equal ?Rate-Decimal             (DivisionFn                 (MagnitudeFn ?Rate) 100)))     (equal ?Amount         (MultiplicationFn             (MultiplicationFn                 (MagnitudeFn ?Period) ?Balance) ?Rate-Decimal))) FinancialOntology.kif 513-519 If a currency measure is a principal amount of a financial account and an interest rate is a fixed interest rate of the financial account and the financial account is simple interest an interest for a time interval and the interest rate-Decimal is equal to the magnitude of the interest rate and 100,then the interest is equal to the magnitude of the time interval and the currency measure and the interest rate-Decimal (=>     (attribute ?F Flat)     (and         (side ?S1 ?F)         (side ?S2 ?F)         (meetsSpatially ?S1 ?S2)         (not             (equal ?S1 ?S2))         (height ?F             (MeasureFn ?HF ?U))         (height ?S1             (MeasureFn ?H1 ?U))         (height ?S2             (MeasureFn ?H2 ?U))         (greaterThan ?H1             (MultiplicationFn 2 ?HF))         (greaterThan ?H2             (MultiplicationFn 2 ?HF)))) Mid-level-ontology.kif 3249-3260 If flat is an attribute of a self connected object,then a side of the self connected object is another self connected object and a side of the self connected object is a third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the height of the self connected object is a real number an unit of measure(s) and the height of the other self connected object is another real number the unit of measure(s) and the height of the third self connected object is a third real number the unit of measure(s) and the other real number is greater than 2 and the real number and the third real number is greater than 2 and the real number (=>     (attribute ?F LongAndThin)     (and         (side ?S1 ?F)         (side ?S2 ?F)         (meetsSpatially ?S1 ?S2)         (not             (equal ?S1 ?S2))         (length ?F             (MeasureFn ?HF ?U))         (length ?S1             (MeasureFn ?H1 ?U))         (length ?S2             (MeasureFn ?H2 ?U))         (lessThan ?H1             (MultiplicationFn 3 ?HF))         (lessThan ?H2             (MultiplicationFn 3 ?HF)))) Mid-level-ontology.kif 3273-3284 If long and thin is an attribute of a self connected object,then a side of the self connected object is another self connected object and a side of the self connected object is a third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the length of the self connected object is a real number an unit of measure(s) and the length of the other self connected object is another real number the unit of measure(s) and the length of the third self connected object is a third real number the unit of measure(s) and the other real number is less than 3 and the real number and the third real number is less than 3 and the real number (=>     (diameter ?CIRCLE ?LENGTH)     (exists (?N__HALF ?U__HALF)         (and             (radius ?CIRCLE                 (MeasureFn ?N__HALF ?U__HALF))             (equal                 (MeasureFn                     (MultiplicationFn ?N__HALF 2) ?U__HALF) ?LENGTH)))) Merge.kif 7114-7119 If the diameter of a circle is a length measure,then there exist an entity__HALF and another entity__HALF such that the circle の radius は the entity__HALF the other entity__HALF(s) では %n and the entity__HALF and 2 the other entity__HALF(s) is equal to the length measure (=>     (equal         (DiameterFn ?C)         (MeasureFn ?L ?U))     (exists (?R)         (and             (equal                 (RadiusFn ?C)                 (MeasureFn ?R ?U))             (equal                 (MultiplicationFn ?R 2) ?L)))) Mid-level-ontology.kif 5252-5257 If the diameter of a circle is equal to a real number an unit of measure(s),then there exists another real number such that the radius of the circle is equal to the other real number the unit of measure(s) and the other real number and 2 is equal to the real number (=>     (equal         (SquareRootFn ?NUMBER1) ?NUMBER2)     (equal         (MultiplicationFn ?NUMBER2 ?NUMBER2) ?NUMBER1)) Merge.kif 4812-4814 If the squareRoot of a real number is equal to another real number,then the other real number and the other real number is equal to the real number (=>     (equal ?AMOUNT         (MeasureFn ?NUM NauticalMile))     (equal ?AMOUNT         (MeasureFn             (MultiplicationFn ?NUM 1.151) Mile))) Geography.kif 3703-3705 If a physical quantity is equal to a real number nautical mile(s),then the physical quantity is equal to the real number and 1.151 mile(s) (=>     (equal ?AMOUNT         (MeasureFn ?NUM NauticalMile))     (equal ?AMOUNT         (MeasureFn             (MultiplicationFn ?NUM 1.852)             (KiloFn Meter)))) Geography.kif 3699-3701 If a physical quantity is equal to a real number nautical mile(s),then the physical quantity is equal to the real number and 1.852 1 thousand meters(s) (=>     (equal ?AMOUNT         (MeasureFn ?X Joule))     (equal ?AMOUNT         (MeasureFn             (MultiplicationFn 0.0002778 ?X) Watt))) Economy.kif 2020-2022 If a physical quantity is equal to a real number joule(s),then the physical quantity is equal to 0.0002778 and the real number watt(s) Display limited to 25 items. Show next 25 Display limited to 25 items. Show next 25

 statement (equal     (MeasureFn 1 CubicFoot)     (MultiplicationFn         (MeasureFn 1 FootLength)         (MultiplicationFn             (MeasureFn 1 FootLength)             (MeasureFn 1 FootLength)))) Mid-level-ontology.kif 11221-11227 1 Cubic foot(s) is equal to 1 foot length(s) and 1 foot length(s) and 1 foot length(s) (equal     (MeasureFn 1 SquareKilometer)     (MultiplicationFn         (MeasureFn 1             (KiloFn Meter))         (MeasureFn 1             (KiloFn Meter)))) Geography.kif 624-625 1 Square kilometer(s) is equal to 1 1 thousand meters(s) and 1 1 thousand meters(s) (equal     (MeasureFn 1 SquareMeter)     (MultiplicationFn         (MeasureFn 1 Meter)         (MeasureFn 1 Meter))) Geography.kif 3749-3750 1 Square meter(s) is equal to 1 meter(s) and 1 meter(s) (equal     (MeasureFn ?DEG ArcMinute)     (MeasureFn         (MultiplicationFn 60 ?DEG) ArcSecond)) Geography.kif 402-402 A real number arc minute(s) is equal to 60 and the real number arc second(s) (equal     (MeasureFn ?NUM AngularDegree)     (MeasureFn         (MultiplicationFn 60 ?NUM) ArcMinute)) Geography.kif 383-383 A real number angular degree(s) is equal to 60 and the real number arc minute(s) (equal     (MeasureFn ?NUMBER Amu)     (MeasureFn         (MultiplicationFn ?NUMBER 1.6605402E-24) Gram)) Merge.kif 6695-6697 A real number amu(s) is equal to the real number and 1.6605402E-24 gram(s) (equal     (MeasureFn ?NUMBER Angstrom)     (MeasureFn         (MultiplicationFn ?NUMBER 1.0E-10) Meter)) Merge.kif 6717-6719 A real number angstrom(s) is equal to the real number and 1.0E-10 meter(s) (equal     (MeasureFn ?NUMBER AngularDegree)     (MeasureFn         (MultiplicationFn ?NUMBER             (DivisionFn Pi 180.0)) Radian)) Merge.kif 6911-6913 A real number angular degree(s) is equal to the real number and pi and 180.0 radian(s) (equal     (MeasureFn ?NUMBER BritishThermalUnit)     (MeasureFn         (MultiplicationFn ?NUMBER 1055.05585262) Joule)) Merge.kif 6897-6899 A real number british thermal unit(s) is equal to the real number and 1055.05585262 joule(s) (equal     (MeasureFn ?NUMBER Byte)     (MeasureFn         (MultiplicationFn ?NUMBER 8) Bit)) Merge.kif 6969-6971 A real number byte(s) is equal to the real number and 8 bit(s) (equal     (MeasureFn ?NUMBER Calorie)     (MeasureFn         (MultiplicationFn ?NUMBER 4.1868) Joule)) Merge.kif 6889-6891 A real number calorie(s) is equal to the real number and 4.1868 joule(s) (equal     (MeasureFn ?NUMBER Centimeter)     (MeasureFn         (MultiplicationFn ?NUMBER 0.01) Meter)) Merge.kif 6330-6332 A real number centimeter(s) is equal to the real number and 0.01 meter(s) (equal     (MeasureFn ?NUMBER DayDuration)     (MeasureFn         (MultiplicationFn ?NUMBER 24) HourDuration)) Merge.kif 6636-6638 A real number day duration(s) is equal to the real number and 24 hour duration(s) (equal     (MeasureFn ?NUMBER ElectronVolt)     (MeasureFn         (MultiplicationFn ?NUMBER 1.60217733E-19) Joule)) Merge.kif 6705-6707 A real number electron volt(s) is equal to the real number and 1.60217733E-19 joule(s) (equal     (MeasureFn ?NUMBER EuroCent)     (MeasureFn         (MultiplicationFn ?NUMBER 0.01) EuroDollar)) Merge.kif 6949-6951 A real number euro cent(s) is equal to the real number and 0.01 euro dollar(s) (equal     (MeasureFn ?NUMBER FootLength)     (MeasureFn         (MultiplicationFn ?NUMBER 0.3048) Meter)) Merge.kif 6730-6732 A real number foot length(s) is equal to the real number and 0.3048 meter(s) (equal     (MeasureFn ?NUMBER HourDuration)     (MeasureFn         (MultiplicationFn ?NUMBER 60) MinuteDuration)) Merge.kif 6644-6646 A real number hour duration(s) is equal to the real number and 60 minute duration(s) (equal     (MeasureFn ?NUMBER Inch)     (MeasureFn         (MultiplicationFn ?NUMBER 0.0254) Meter)) Merge.kif 6737-6739 A real number inch(s) is equal to the real number and 0.0254 meter(s) (equal     (MeasureFn ?NUMBER KiloByte)     (MeasureFn         (MultiplicationFn ?NUMBER 1024) Byte)) Merge.kif 6979-6981 A real number kilo byte(s) is equal to the real number and 1024 byte(s) (equal     (MeasureFn ?NUMBER Kilogram)     (MeasureFn         (MultiplicationFn ?NUMBER 1000) Gram)) Merge.kif 6823-6826 A real number kilogram(s) is equal to the real number and 1000 gram(s) (equal     (MeasureFn ?NUMBER Kilometer)     (MeasureFn         (MultiplicationFn ?NUMBER 1000) Meter)) Merge.kif 6349-6352 A real number kilometer(s) is equal to the real number and 1000 meter(s) (equal     (MeasureFn ?NUMBER MegaByte)     (MeasureFn         (MultiplicationFn ?NUMBER 1024) KiloByte)) Merge.kif 6989-6991 A real number mega byte(s) is equal to the real number and 1024 kilo byte(s) (equal     (MeasureFn ?NUMBER Micrometer)     (MeasureFn         (MultiplicationFn ?NUMBER 0.0000001) Meter)) Geography.kif 6435-6438 A real number micrometer(s) is equal to the real number and 0.0000001 meter(s) (equal     (MeasureFn ?NUMBER Mile)     (MeasureFn         (MultiplicationFn ?NUMBER 1609.344) Meter)) Merge.kif 6744-6746 A real number mile(s) is equal to the real number and 1609.344 meter(s) (equal     (MeasureFn ?NUMBER Millimeter)     (MeasureFn         (MultiplicationFn ?NUMBER 0.001) Meter)) Merge.kif 6339-6342 A real number millimeter(s) is equal to the real number and 0.001 meter(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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners