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

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb   MultiplicationFn Sigma KEE - MultiplicationFn
 MultiplicationFn

 appearance as argument number 1 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2212-2213 No TPTP formula. May not be expressible in strict first order. Merge.kif 4536-4538 No TPTP formula. May not be expressible in strict first order. Merge.kif 4532-4532 The number 1 argument of multiplication is an instance of real number No TPTP formula. May not be expressible in strict first order. Merge.kif 4533-4533 The number 2 argument of multiplication is an instance of real number No TPTP formula. May not be expressible in strict first order. Merge.kif 5066-5066 1 is an identity element of multiplication No TPTP formula. May not be expressible in strict first order. Merge.kif 4528-4528 Multiplication is an instance of associative function No TPTP formula. May not be expressible in strict first order. Merge.kif 4527-4527 Multiplication is an instance of binary function No TPTP formula. May not be expressible in strict first order. Merge.kif 4529-4529 Multiplication is an instance of commutative function No TPTP formula. May not be expressible in strict first order. Merge.kif 4531-4531 Multiplication is an instance of total valued relation No TPTP formula. May not be expressible in strict first order. Merge.kif 4534-4534 The range of multiplication is an instance of real number

 appearance as argument number 2 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 680-680 No TPTP formula. May not be expressible in strict first order. english_format.kif 682-682 No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39168-39168 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 681-681 No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39167-39167 No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39166-39166

 antecedent No TPTP formula. May not be expressible in strict first order. Geography.kif 2085-2092 If a real number is an arable land area of a geographic area and the real number is greater than or equal to 0 and another 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 a constant quantity is equal to the real number and the other real number the unit of measure(s),then the constant quantity is an arable land area of the geographic area No TPTP formula. May not be expressible in strict first order. Geography.kif 2076-2083 If a real number is an arable land area of a geographic area and the real number is greater than or equal to 0 and another real number is a total area of the geographic area and the other real number is an instance of area measure and a third real number is equal to the real number and the other real number,then the third real number is an arable land area of the geographic area No TPTP formula. May not be expressible in strict first order. Geography.kif 2175-2182 If a real number is an other land use area of a geographic area and the real number is greater than or equal to 0 and another 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 a constant quantity is equal to the real number and the other real number the unit of measure(s),then the constant quantity is an other land use area of the geographic area No TPTP formula. May not be expressible in strict first order. Geography.kif 2166-2173 If a real number is an other land use area of a geographic area and the real number is greater than or equal to 0 and another real number is a total area of the geographic area and the other real number is an instance of area measure and a third real number is equal to the real number and the other real number,then the third real number is an other land use area of the geographic area No TPTP formula. May not be expressible in strict first order. Geography.kif 2133-2140 If a real number is a permanent crop land area of a geographic area and the real number is greater than or equal to 0 and another 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 a constant quantity is equal to the real number and the other real number the unit of measure(s),then the constant quantity is a permanent crop land area of the geographic area No TPTP formula. May not be expressible in strict first order. Geography.kif 2124-2131 If a real number is a permanent crop land area of a geographic area and the real number is greater than or equal to 0 and another real number is a total area of the geographic area and the other real number is an instance of area measure and a third real number is equal to the real number and the other real number,then the third real number is a permanent crop land area of the geographic area No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 532-541 If a real number is a principal amount of a financial account and another real number is a fixed interest rate of the financial account and the financial account compound interest an interest for a time interval and the other real number-Decimal is equal to the other real number and 100 and a third real number is equal to (1 and the other real number-Decimal) and a fourth real number is equal to the third real number raised to the power the magnitude of the time interval and a fifth real number is equal to the fourth real number and the real number,then the interest is equal to (the fifth real number and the real number) No TPTP formula. May not be expressible in strict first order. 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 another real number for a kind of time interval and a third real number is equal to the real number and the other real number,then the geopolitical area is sector value of GDP in period the industry attribute for the third real number with the kind of time interval No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 551-557 If a financial account is simple interest an interest for a time interval and a real number is a principal amount of the financial account and another real number-Decimal is equal to the interest and the real number and the other real number is equal to the other real number-Decimal and 100,then the financial account is interest rate per period the other real number for the time interval No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13122-13126 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) No TPTP formula. May not be expressible in strict first order. Geography.kif 3786-3788 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) No TPTP formula. May not be expressible in strict first order. Geography.kif 3778-3780 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) No TPTP formula. May not be expressible in strict first order. Geography.kif 3774-3776 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) No TPTP formula. May not be expressible in strict first order. Geography.kif 3782-3784 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) No TPTP formula. May not be expressible in strict first order. 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) No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18388-18392 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) No TPTP formula. May not be expressible in strict first order. Merge.kif 8434-8438 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) No TPTP formula. May not be expressible in strict first order. Geography.kif 3746-3750 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) No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13057-13061 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) No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13107-13111 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) No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13030-13034 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) No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18397-18401 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) No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18407-18413 If a real number is equal to 1.0 and the real number,then the real number Nanometer(s) is equal to the real number and 0.000000001 meter(s)

 consequent No TPTP formula. May not be expressible in strict first order. Geography.kif 3828-3832 An unit of measure is an instance of unit of measure and a real number is equal to 1 the square unit of the unit of measure(s) if and only if the real number is equal to 1 the unit of measure(s) and 1 the unit of measure(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 4914-4916 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 No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13044-13050 The measure of a physical is a real number metric ton(s) if and only if the measure of the physical is the real number and 2205 pound mass(s) No TPTP formula. May not be expressible in strict first order. Geography.kif 378-380 The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60 and the real number arc minute(s) No TPTP formula. May not be expressible in strict first order. Geography.kif 397-399 The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60 and the real number arc second(s) No TPTP formula. May not be expressible in strict first order. Geography.kif 2094-2104 If a real number is an arable land area of a geographic area and the real number is greater than or equal to 0 and another 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 real number and the other real number the unit of measure(s) No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-212 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, another entity and a third entity such that the entity is an instance of zakat and a fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the fourth entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is a fifth entity the third entity(s) and the third entity is an instance of UnitOfCurrency and the fifth entity is greater than the currency measure and 0.025 has the modal force of obligation No TPTP formula. May not be expressible in strict first order. 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) No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13005-13014 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 No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13016-13025 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 No TPTP formula. May not be expressible in strict first order. Weather.kif 1487-1498 If a real number is equal to VarianceAverageFn of a list with the mean of another real number and 1 is equal to length of the list,then the real number is equal to (the other real number and 1th element of the list) and (the other real number and 1th element of the list) No TPTP formula. May not be expressible in strict first order. Merge.kif 4896-4901 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 No TPTP formula. May not be expressible in strict first order. Cars.kif 3095-3109 If a time position is an instance of transformer and a wire coil is an instance of wire coil and another wire coil is an instance of wire coil and the number of coils in the wire coil is an integer and the number of coils in the other wire coil is another integer and the measure of the wire coil is volt a real number(s) holds during the time position,then the measure of the other wire coil is volt another real number(s) holds during the time position and the other real number is equal to the real number and the other integer and the integer No TPTP formula. May not be expressible in strict first order. Weather.kif 1533-1548 If a water wave is an instance of water wave and The waveHeight of the water wave a length measure.,then there exist a list, a water area and an unit of measure such that the length measure is a member of the list and the water area is an instance of water area and the water wave is located at 2 and the unit of measure is an instance of length measure and significantWaveHeight in the water area during the time of existence of the water wave is a real number the unit of measure(s). and the real number is equal to 4 and The StandardDeviationFn of the list No TPTP formula. May not be expressible in strict first order. Geography.kif 2184-2196 If a real number is an other land use area of a geographic area and the real number is greater than or equal to 0 and another 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 real number and the other real number the unit of measure(s) No TPTP formula. May not be expressible in strict first order. Geography.kif 2142-2152 If a real number is a permanent crop land area of a geographic area and the real number is greater than or equal to 0 and another 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 real number and the other real number the unit of measure(s) No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2200-2210 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 No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2212-2224 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 another real number is equal to the real number and the integer and a third real number is equal to the other real number and the other integer and the physical is price the third real number united states dollar(s) for the agentAfterSplit and the agent meets the agentOfSplit and the agentOfSplit meets the agentAfterSplit No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 514-520 If a real number is a principal amount of a financial account and a number is a fixed interest rate of the financial account and the financial account is simple interest an interest for a time interval and the number-Decimal is equal to the magnitude of the number and 100,then the interest is equal to the magnitude of the time interval and the real number and the number-Decimal No TPTP formula. May not be expressible in strict first order. Merge.kif 17283-17308 If the relative angle between an object and another object is a real number and one end of the object is a third object and one end of the object is a fourth object and the third object is not equal to the fourth object and the length of the object is the real number1 an unit of measure(s) and the length of the other object is the real number2 the unit of measure(s) and the distance between the third object and a fifth object is the real number3 the unit of measure(s) and one end of the other object is the fifth object and one end of the other object is a sixth object and the fifth object is not equal to the sixth object and the third object doesn't meet the fifth object,then the real number is equal to the arccosine of ((the real number3 and the real number3 and the real number1 and the real number1) and the real number2 and the real number2) and 2.0 and the real number1 and the real number2 No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2718-2729 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 No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2737-2748 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 No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30486-30494 If circumfrence a circle and a length measure,then there exist a real number and an unit of measure such that the diameter of the circle is the real number the unit of measure(s) and the real number and 3.14 the unit of measure(s) is equal to the length measure No TPTP formula. May not be expressible in strict first order. Merge.kif 7434-7439 If the diameter of a circle is a length measure,then there exist a real number and an unit of measure such that the radius of the circle is the real number the unit of measure(s) and the real number and 2 the unit of measure(s) is equal to the length measure No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4649-4654 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 Display limited to 25 items. Show next 25 Display limited to 25 items. Show next 25

 statement No TPTP formula. May not be expressible in strict first order. Geography.kif 624-625 1 Square kilometer(s) is equal to 1 1 thousand meters(s) and 1 1 thousand meters(s) No TPTP formula. May not be expressible in strict first order. Geography.kif 3816-3817 1 Square meter(s) is equal to 1 meter(s) and 1 meter(s) No TPTP formula. May not be expressible in strict first order. Geography.kif 402-402 A real number arc minute(s) is equal to 60 and the real number arc second(s) No TPTP formula. May not be expressible in strict first order. Geography.kif 383-383 A real number angular degree(s) is equal to 60 and the real number arc minute(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 6916-6918 A real number amu(s) is equal to the real number and 1.6605402E-24 gram(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 6938-6940 A real number angstrom(s) is equal to the real number and 1.0E-10 meter(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 7132-7134 A real number angular degree(s) is equal to the real number and pi and 180.0 radian(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 7118-7120 A real number british thermal unit(s) is equal to the real number and 1055.05585262 joule(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 7190-7192 A real number byte(s) is equal to the real number and 8 bit(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 7110-7112 A real number calorie(s) is equal to the real number and 4.1868 joule(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 6545-6547 A real number centimeter(s) is equal to the real number and 0.01 meter(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 6852-6854 A real number day duration(s) is equal to the real number and 24 hour duration(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 6926-6928 A real number electron volt(s) is equal to the real number and 1.60217733E-19 joule(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 7170-7172 A real number euro cent(s) is equal to the real number and 0.01 euro dollar(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 6951-6953 A real number foot length(s) is equal to the real number and 0.3048 meter(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 6860-6862 A real number hour duration(s) is equal to the real number and 60 minute duration(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 6958-6960 A real number inch(s) is equal to the real number and 0.0254 meter(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 7200-7202 A real number kilo byte(s) is equal to the real number and 1024 byte(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 7044-7047 A real number kilogram(s) is equal to the real number and 1000 gram(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 6564-6567 A real number kilometer(s) is equal to the real number and 1000 meter(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 7210-7212 A real number mega byte(s) is equal to the real number and 1024 kilo byte(s) No TPTP formula. May not be expressible in strict first order. Geography.kif 6694-6697 A real number micrometer(s) is equal to the real number and 0.0000001 meter(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 6965-6967 A real number mile(s) is equal to the real number and 1609.344 meter(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 6554-6557 A real number millimeter(s) is equal to the real number and 0.001 meter(s) No TPTP formula. May not be expressible in strict first order. Merge.kif 6868-6870 A real number minute duration(s) is equal to the real number and 60 second duration(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) 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