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 6362-6366
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1125-1128
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6358-6358	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 6359-6359	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 6356-6356	Measure is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6357-6357	Measure is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6360-6360	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 636-636
No TPTP formula. May not be expressible in strict first order.	french_format.kif 383-383
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 178-178
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2113-2113
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 335-335
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 392-392
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 829-829
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 216-216
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 405-405
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 426-426
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36697-36697
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 36696-36696
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36695-36695
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 245-245
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 353-353

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7594-7600	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.0 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 7510-7521	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.0 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 7539-7549	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 3719-3721	An object courseWRT true north another object for 0.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 3743-3745	An object courseWRT true north another object for 135.0 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 3727-3729	An object courseWRT true north another object for 180.0 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 3747-3749	An object courseWRT true north another object for 225.0 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 3731-3733	An object courseWRT true north another object for 270.0 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 3751-3753	An object courseWRT true north another object for 315.0 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 3735-3737	An object courseWRT true north another object for 360.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 3739-3741	An object courseWRT true north another object for 45.0 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 3723-3725	An object courseWRT true north another object for 90.0 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.	Weather.kif 1684-1690	A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3068-3079	There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an out of the money of the agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3019-3030	There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of call option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an in the money of the agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3032-3043	There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the financial instrumentPrice is less than the other real number if and only if the agent is an in the money of the agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3081-3092	There exist a financial instrument, the financial instrumentPrice and another real number such that an agreement is an instance of put option and the financial instrument is an underlier of the agreement and the financial instrument is price the financial instrumentPrice an unit of measure(s) for an agent and the unit of measure is an instance of unit of currency and the other real number the unit of measure(s) is a strike price of the agreement and the other real number is less than the financial instrumentPrice if and only if the agent is an out of the money of the agreement
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1776-1780	A human can hear frequency of -10 dB(A)(s) at 15 dB(A)(s) decibels if and only if normal hearing sensitivity is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1787-1791	A human can hear frequency of 16 dB(A)(s) at 25 dB(A)(s) decibels if and only if borderline hearing sensitivity is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1798-1802	A human can hear frequency of 26 dB(A)(s) at 40 dB(A)(s) decibels if and only if mild hearing loss is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1808-1812	A human can hear frequency of 41 dB(A)(s) at 55 dB(A)(s) decibels if and only if moderate hearing loss is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1819-1823	A human can hear frequency of 56 dB(A)(s) at 70 dB(A)(s) decibels if and only if moderately severe hearing loss is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1830-1834	A human can hear frequency of 71 dB(A)(s) at 90 dB(A)(s) decibels if and only if severe hearing loss is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1841-1845	A human can hear frequency of 91 dB(A)(s) at 200 dB(A)(s) decibels if and only if profound hearing loss is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14962-14968	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)

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.	Weather.kif 2662-2672	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.	People.kif 357-390	A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth 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 238-264	A year is an instance of the year an integer and the deaths per thousand live births of a geopolitical area and the year 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 another real number 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 other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth 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 310-342	A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth 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.	Geography.kif 4781-4790	Open sea is an attribute of an object if and only if there exist a physical and a real number such that the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is the real number nautical mile(s) and the real number is greater than 5.0
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1912-1917	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.	Weather.kif 1684-1690	A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7828-7836	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 unit of length, 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 14962-14968	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.	Mid-level-ontology.kif 14683-14688	The measure of a physical is a real number Ounce(s) if and only if the measure of the physical is the real number and 16.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1220-1228	A geopolitical area is sector value of GDP in period an industry attribute for a real number an unit of measure(s) with a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the geopolitical area is sector value of GDP the industry attribute for the real number the unit of measure(s) holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7632-7647	If amount a kind of substance, a corpuscular object and a real number an unit of mass(s) and a kind of substanceI is an instance of the kind of substance and the measure of the kind of substanceI is the real number2 the unit of mass(s) and the kind of substanceI is a part of the corpuscular object, then there exists a list such that the real number2 the unit of mass(s) is a member of the list and the list is equal to Amounts fn the kind of substance, the corpuscular object and the unit of mass and the real number is equal to the sum of the list
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2068-2078	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.	Geography.kif 2080-2094	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.	Mid-level-ontology.kif 5719-5729	If a real number an unit of measure(s) is the LengthMeasure of a circular arc and the circular arc is equal to semicircular arc, then there exist a circle and another real number such that the circle is equal to circle and the circle is a geometric part of the circular arc and circumference the circle and the other real number the unit of measure(s) and the other real number is equal to (the real number and the real number)
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.	Mid-level-ontology.kif 20316-20325	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 real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is less than 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20331-20341	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 real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 2 and the real number is less than 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20347-20357	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 real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 3 and the real number is less than 4
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20363-20373	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 real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 1 and the real number is less than 2
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1194-1209	If oversized is an attribute of an object and the object is an immediate instance of a class and the class is a subclass of hotel unit, then there exist a physical, a real number,, , another real number and an unit of measure such that the physical is an immediate instance of the class and the unit of measure is an instance of unit of area and the measure of the physical is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the real number is an instance of area measure and the other real number is an instance of area measure and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 1094-1114	If a human is a citizen of a nation and universal suffrage law is a sub-proposition of the regional law of the nation, then the regional law of the nation allows the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity year duration(s) is a suffrage age minimum of the nation and the age of the human is the other entity year duration(s) and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity

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 31036-31036	3470.0 Kelvin degree(s) is a boiling point of actinium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30884-30884	2740.0 Kelvin degree(s) is a boiling point of aluminum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31048-31048	2880.0 Kelvin degree(s) is a boiling point of americium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30960-30960	2023.0 Kelvin degree(s) is a boiling point of antimony
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30894-30894	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 30924-30924	886.0 Kelvin degree(s) is a boiling point of arsenic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31028-31028	610.0 Kelvin degree(s) is a boiling point of astatine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30970-30970	1913.0 Kelvin degree(s) is a boiling point of barium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30866-30866	3243.0 Kelvin degree(s) is a boiling point of beryllium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31024-31024	1833.0 Kelvin degree(s) is a boiling point of bismuth
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30868-30868	2823.0 Kelvin degree(s) is a boiling point of boron
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30928-30928	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 30954-30954	1038.0 Kelvin degree(s) is a boiling point of cadmium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30968-30968	963.0 Kelvin degree(s) is a boiling point of caesium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30898-30898	1760.0 Kelvin degree(s) is a boiling point of calcium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30870-30870	5100.0 Kelvin degree(s) is a boiling point of carbon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30974-30974	3530.0 Kelvin degree(s) is a boiling point of cerium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30892-30892	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 30906-30906	2755.0 Kelvin degree(s) is a boiling point of chromium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30912-30912	3143.0 Kelvin degree(s) is a boiling point of cobalt
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30916-30916	2868.0 Kelvin degree(s) is a boiling point of copper
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30990-30990	2608.0 Kelvin degree(s) is a boiling point of dysprosium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30994-30994	2783.0 Kelvin degree(s) is a boiling point of erbium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30984-30984	1870.0 Kelvin degree(s) is a boiling point of europium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30876-30876	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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: