MeasureFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2434-2436
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6014-6018
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6010-6010	The number 1 argument of measure is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6011-6011	The number 2 argument of measure is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6008-6008	Measure is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6009-6009	Measure is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6012-6012	The range of measure is an instance of physical quantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 633-633
No TPTP formula. May not be expressible in strict first order.	english_format.kif 639-639
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36565-36565
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 634-634
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36564-36564
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36563-36563

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6890-6896	A self connected object is an instance of liquid drop and the approximate diameter of the self connected object is a real number micrometer(s) and 500 is less than the real number if and only if the self connected object is an instance of droplet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6806-6817	An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and 10 is greater than the real number and the real number is greater than 2.5 if and only if there exists the object10 such that the object10 is an instance of PM10 and the object10 is a part of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6835-6845	An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and the real number is greater than or equal to 2.5 if and only if there exists the object25 such that the object25 is an instance of PM2.5 and the object25 is a part of the object
No TPTP formula. May not be expressible in strict first order.	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)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3569-3571	An object courseWRT true north another object for 0 angular degree(s) if and only if the object is north to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3593-3595	An object courseWRT true north another object for 135 angular degree(s) if and only if the object is southeast to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3577-3579	An object courseWRT true north another object for 180 angular degree(s) if and only if the object is south to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3597-3599	An object courseWRT true north another object for 225 angular degree(s) if and only if the object is southwest to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3581-3583	An object courseWRT true north another object for 270 angular degree(s) if and only if the object is west to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3601-3603	An object courseWRT true north another object for 315 angular degree(s) if and only if the object is northwest to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3585-3587	An object courseWRT true north another object for 360 angular degree(s) if and only if the object is north to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3589-3591	An object courseWRT true north another object for 45 angular degree(s) if and only if the object is northeast to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3573-3575	An object courseWRT true north another object for 90 angular degree(s) if and only if the object is east to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11257-11263	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)
No TPTP formula. May not be expressible in strict first order.	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)
No TPTP formula. May not be expressible in strict first order.	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)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10997-11002	The measure of an object is a real number Ounce(s) if and only if the measure of the object is the real number and 16 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2489-2492	The measure of a solution is a real number PH value(s) if and only if the real number is a potential of hydrogen of the solution
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15705-15716	If the approximate diameter of a self connected object is a real number the real numberM(s) and the radius of an object is the real number and 2 the real numberM(s) and the measure of the object is another real number another unit of measure(s) and the measure of the self connected object is a third real number the other unit of measure(s) and the real numberM is an instance of length measure and the other unit of measure is an instance of volume measure, then the other real number is equal to the third real number
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12810-12823	If a real number an unit of measure(s) is a boiling point of a kind of pure substance and an entity is an instance of a kind of pure substance and the measure of the entity is a quantity the unit of measure(s) holds during a time interval and the unit of measure is an instance of UnitOfTemperature and the quantity is greater than or equal to the real number, then gas is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of boiling and the entity is a patient of the process
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.	FinancialOntology.kif 732-737	If a financial account current account balance a day for a real number united states dollar(s) and the real number is less than 0 and another real number is equal to (0 and the real number), then the financial account is overdraft the other real number united states dollar(s) for the day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11189-11198	If the maximum 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 has the modal force of unlikely

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	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)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1183-1193	An entity is an instance of region and the entity the attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4421-4429	Open sea is an attribute of an object if and only if the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between a physical and the object is a length measure and the length measure is greater than 5 nautical mile(s)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1918-1923	The compression ratio of an engine is a real number if and only if the minimum volume of the cylinders in the engine the engine is another real number an unit of measure(s) and the maximum volume of the cylinders in the engine the engine is the unit of measureAX the unit of measure(s) and the real number is equal to the other real number and the unit of measureAX
No TPTP formula. May not be expressible in strict first order.	People.kif 253-277	The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a quantity and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 411-442	The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 323-353	The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 367-398	The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7335-7343	An object is larger than another object if and only if for all a real number, another real number and an unit of measure if the measure of the object is the real number the unit of measure(s) and the measure of the other object is the other real number the unit of measure(s) and the unit of measure is an instance of UnitOfLength, then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11257-11263	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)
No TPTP formula. May not be expressible in strict first order.	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)
No TPTP formula. May not be expressible in strict first order.	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)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10997-11002	The measure of an object is a real number Ounce(s) if and only if the measure of the object is the real number and 16 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	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)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16452-16460	If college freshman is an attribute of a position and a human holds the position of the position in an organization, then there exists a time position such that the human is a student of the organization holds during the time position and the time position is less than 1 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16466-16477	If college junior is an attribute of a position and a human holds the position of the position in an organization, then there exists a time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 2 year duration(s) and the time position is less than 3 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16483-16494	If college senior is an attribute of a position and a human holds the position of the position in an organization, then there exists a time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 3 year duration(s) and the time position is less than 4 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16500-16511	If college sophomore is an attribute of a position and a human holds the position of the position in an organization, then there exists a time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 1 year duration(s) and the time position is less than 2 year duration(s)
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.	FinancialOntology.kif 732-737	If a financial account current account balance a day for a real number united states dollar(s) and the real number is less than 0 and another real number is equal to (0 and the real number), then the financial account is overdraft the other real number united states dollar(s) for the day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11189-11198	If the maximum 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 has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11199-11210	If the maximum expected value of a kind of object is a real number an unit of measure(s) and a set or class is a subclass of NonCompositeUnitOfMeasure and the unit of measure is an instance of the set or class, then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the set or class and the real numberUANTITY the third entity(s) is greater than the real number the unit of measure(s) has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11218-11227	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 11229-11238	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.	Mid-level-ontology.kif 11160-11169	If the minimum 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 has the modal force of unlikely

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.	Mid-level-ontology.kif 27568-27568	3470 Kelvin degree(s) is a boiling point of actinium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27416-27416	2740 Kelvin degree(s) is a boiling point of aluminum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27580-27580	2880 Kelvin degree(s) is a boiling point of americium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27492-27492	2023 Kelvin degree(s) is a boiling point of antimony
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27426-27426	87.29 Kelvin degree(s) is a boiling point of argon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27456-27456	886 Kelvin degree(s) is a boiling point of arsenic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27560-27560	610 Kelvin degree(s) is a boiling point of astatine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27502-27502	1913 Kelvin degree(s) is a boiling point of barium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27398-27398	3243 Kelvin degree(s) is a boiling point of beryllium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27556-27556	1833 Kelvin degree(s) is a boiling point of bismuth
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27400-27400	2823 Kelvin degree(s) is a boiling point of boron
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27460-27460	331.93 Kelvin degree(s) is a boiling point of bromine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27486-27486	1038 Kelvin degree(s) is a boiling point of cadmium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27500-27500	963 Kelvin degree(s) is a boiling point of caesium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27430-27430	1760 Kelvin degree(s) is a boiling point of calcium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27402-27402	5100 Kelvin degree(s) is a boiling point of carbon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27506-27506	3530 Kelvin degree(s) is a boiling point of cerium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27424-27424	238.55 Kelvin degree(s) is a boiling point of chlorine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27438-27438	2755 Kelvin degree(s) is a boiling point of chromium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27444-27444	3143 Kelvin degree(s) is a boiling point of cobalt
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27448-27448	2868 Kelvin degree(s) is a boiling point of copper
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27522-27522	2608 Kelvin degree(s) is a boiling point of dysprosium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27526-27526	2783 Kelvin degree(s) is a boiling point of erbium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27516-27516	1870 Kelvin degree(s) is a boiling point of europium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27408-27408	85.01 Kelvin degree(s) is a boiling point of fluorine

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

KB Term:			Term intersection

English Word: