MultiplicationFn - Sigma Knowledge base Browser

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 4674-4676
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4670-4670	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 4671-4671	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 5261-5261	1 is an identity element of multiplication
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4666-4666	Multiplication is an instance of associative function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4665-4665	Multiplication is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4667-4667	Multiplication is an instance of commutative function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4669-4669	Multiplication is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4672-4672	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 39163-39163
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 39162-39162
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39161-39161

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2085-2095	If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) 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 the unit of measure(s) is an arable land area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5088-5099	If an integer is not equal to 0 and (the largest integer less than or equal to another integer and the integer and the integer and a third integer) is equal to the other integer, then the other integer mod the integer is equal to the third integer
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2170-2181	If a real number an unit of measure(s) is an other land use area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area and a third real number is equal to the real number and the other real number, then the third real number the unit of measure(s) is an other land use area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2130-2141	If a real number an unit of measure(s) is a permanent crop land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area and a third real number is equal to the real number and the other real number, then the third real number the unit of measure(s) is a permanent crop land area of the geographic area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1102-1110	If a geopolitical area is the 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 an unit of measure(s) 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 the unit of measure(s) with the kind of time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 587-597	If a financial account is simple interest a real number an unit of measure(s) for a time interval and another real number the unit of measure(s) is a principal amount of the financial account and a third real number-Decimal is equal to the real number and the other real number and the third real number is equal to the third real number-Decimal and 100.0, then the financial account is interest rate per period the third real number for the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13530-13534	If a real number is equal to 1 and the real number, then the real number millennium duration(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 3845-3852	If a real number is equal to 1.0 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 3827-3834	If a real number is equal to 1.0 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 3818-3825	If a real number is equal to 1.0 and the real number, then the real number nautical mile(s) is equal to the real number and 1852.0 meter(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3836-3843	If a real number is equal to 1.0 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 632-638	If a real number is equal to 1.0 and the real number, then the real number square kilometer(s) is equal to the real number and 1000000.0 square meter(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18846-18850	If a real number is equal to 1 and the real number, then the real number century duration(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 8724-8728	If a real number is equal to 1 and the real number, then the real number decade duration(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 3777-3781	If a real number is equal to 1.0 and the real number, then the real number fathom(s) is equal to the real number and 6.0 foot length(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13465-13469	If a real number is equal to 1.0 and the real number, then the real number long ton(s) is equal to the real number and 2240.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18865-18871	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)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13515-13519	If a real number is equal to 1.0 and the real number, then the real number registry ton(s) is equal to the real number and 100.0 cubic foot(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13438-13442	If a real number is equal to 1.0 and the real number, then the real number ton mass(s) is equal to the real number and 2000.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18855-18859	If a real number is equal to 1.0 and the real number, then the real number yard length(s) is equal to 3.0 and the real number foot length(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13452-13458	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.0 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.0 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.0 and the real number arc second(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2097-2111	If a real number an unit of measure(s) is an arable land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area, 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 204-223	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,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of zakat and the 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 the fifth entity the third entity(s) and the third entity is an instance of unit of currency 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 666-676	If a geographic area comparative area a binary relation extended to quantities for a positive real number with another geographic area and an unit of measure is an instance of unit of area 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 binary relation extended to quantities 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 13413-13422	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 composite unit of measure, 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 13424-13433	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 composite unit of measure, 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.	Merge.kif 5075-5086	If an integer mod another integer is equal to a third integer and the other integer is not equal to 0, then (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.	Weather.kif 1486-1497	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 5057-5062	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 1532-1547	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,, , an unit of measure and a real number 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 the water area and the unit of measure is an instance of unit of length and significantWaveHeight in the water area during the time of existence of the water wave is the real number the unit of measure(s). and the real number is equal to 4.0 and The StandardDeviationFn of the list
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2183-2201	If a real number an unit of measure(s) is an other land use area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area, 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 2143-2157	If a real number an unit of measure(s) is a permanent crop land area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area, 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 2243-2253	If an agent possesses an object and the measure of the object is a real number share unit(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 share unit(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 2255-2268	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 there exist another real number, a third real number and the agentAfterSplit such that the other real number is equal to the real number and the integer and the 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 538-548	If a real number an unit of measure(s) 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 is simple interest a third real number the unit of measure(s) for a time interval and the other real number-Decimal is equal to the other real number and 100, then the third real number is equal to the real number and the other real number-Decimal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17748-17773	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 2747-2760	If flat is an attribute of a self connected object, then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the 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 unit of measure is an instance of unit of length and the height of the self connected object is the real number the unit of measure(s) and the height of the other self connected object is the other real number the unit of measure(s) and the height of the third self connected object is the third real number the unit of measure(s) and the other real number is greater than 2.0 and the real number and the third real number is greater than 2.0 and the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2768-2781	If long and thin is an attribute of a self connected object, then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the 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 unit of measure is an instance of unit of length and the length of the self connected object is the real number the unit of measure(s) and the length of the other self connected object is the other real number the unit of measure(s) and the length of the third self connected object is the third real number the unit of measure(s) and the other real number is less than 3.0 and the real number and the third real number is less than 3.0 and the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31054-31062	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 7636-7641	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 4912-4917	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.0 is equal to the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5192-5194	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

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 402-402	A real number arc minute(s) is equal to 60.0 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.0 and the real number arc minute(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7118-7120	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 7140-7142	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 7334-7336	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 7320-7322	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 7392-7394	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 7312-7314	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 6747-6749	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 7054-7056	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 7128-7130	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 7372-7374	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 7153-7155	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 7062-7064	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 7160-7162	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 7402-7404	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 7246-7249	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 6766-6769	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 7412-7414	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 6797-6800	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 7167-7169	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 6756-6759	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 7070-7072	A real number minute duration(s) is equal to the real number and 60 second duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7302-7304	A real number pound force(s) is equal to the real number and 4.448222 newton(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7263-7265	A real number pound mass(s) is equal to the real number and 453.59237 gram(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: