measure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2632-2634
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7173-7176
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7170-7170	The number 1 argument of measure is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7171-7171	The number 2 argument of measure is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7169-7169	measure is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7168-7168	measure is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 607-607
No TPTP formula. May not be expressible in strict first order.	english_format.kif 613-613
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 868-868	absorbed dose is a subrelation of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7185-7185	age is a subrelation of measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23637-23637	air temperature is a subrelation of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7433-7433	barometric pressure is a subrelation of measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1771-1771	effective range is a subrelation of measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 994-994	fleet dead weight tonnage is a subrelation of measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 976-976	fleet gross registered tonnage is a subrelation of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7198-7198	linearExtent is a subrelation of measure
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1845-1845	load is a subrelation of measure
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1665-1665	memory size is a subrelation of measure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1527-1527	significant wave height is a subrelation of measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 390-390	track width is a subrelation of measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2504-2504	vessel displacement is a subrelation of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7003-7003	weight is a subrelation of measure
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36655-36655
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 608-608
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36654-36654
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36653-36653

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11232-11238	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.	Mid-level-ontology.kif 10972-10977	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 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2510-2513	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 15680-15691	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.	Dining.kif 1118-1129	If family-style portions is an attribute of an object and the measure of the object is a real number an unit of measure(s) and family-style portions is not an attribute of another object and the measure of the other object is another real number the unit of measure(s) and the object is an instance of a class and the other object is an instance of the class and the unit of measure is an instance of unit of measure, then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1958-1979	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of UnitOfCurrency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1981-2002	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for selling for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and an agent bids another real number the unit of measure(s) for the security and the unit of measure is an instance of UnitOfCurrency and the other real number is greater than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12862-12875	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.	Cars.kif 2599-2617	If the idle speed of an internal combustion engine is the rotation of a real number miles per hour(s) during a time duration and an object is an instance of automobile and a process is an instance of gas pedal and the process is an instance of pushing and the process ends up at another object and the internal combustion engine is a part of the object and the other object is a part of the object and a third object is an instance of Crankshaft and the third object is a part of the internal combustion engine and the measure of the third object is the rotation of an entity miles per hour(s) during the time duration holds during the time of existence of the process, then the statement the entity is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 862-866	If a radiation measure is equal to a real number rad(s) and the measure of an object is the radiation measure, then the object has absorbed a dose of radiation equal to the radiation measure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2898-2916	If the maximum speed allowed by a governor is a function quantity and a real number miles per hour(s) is equal to a length measure per a time duration and another real number miles per hour(s) is equal to another length measure per another time duration and the real number is greater than the other real number and the real numberPROB is equal to the probability of the measure of the governor is the real number miles per hour(s) and the other real numberPROB is equal to the probability of the measure of the governor is the other real number miles per hour(s), then the other real numberPROB is greater than the real numberPROB
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2581-2597	If the measure of an object is a function quantity holds during a time position and the idle speed of an internal combustion engine is the function quantity and another object is an instance of automobile and the internal combustion engine is a part of the other object and the object is a part of the internal combustion engine, then the statement there don't exist an entity and another entity such that the entity takes place during the time position and the entity is an instance of pushing and the entity ends up at the other entity and the other entity is a part of the other object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28839-28860	If dieting is an attribute of an agent holds during a time interval and dieting is not an attribute of the agent holds during another time interval and an object is an instance of meal and a process is an instance of eating and the agent is an agent of the process and the object is a resource for the process and the time of existence of the process takes place during the time interval and the measure of the object is a real number calorie(s) and another object is an instance of meal and another process is an instance of eating and the agent is an agent of the other process and the other object is a resource for the other process and the time of existence of the other process takes place during the other time interval and the measure of the other object is another real number calorie(s), then the statement the other real number is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12852-12860	If a process is an instance of boiling and 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 entity is a patient of the process and the measure of the entity is a quantity the unit of measure(s) holds during the time of existence of the process and the unit of measure is an instance of UnitOfTemperature, then the quantity is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4097-4129	If an object is an instance of bi-metal temperature sensor and another object is an instance of metal and a third object is an instance of metal and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object and an entity is an instance of temperature measure and another entity is an instance of temperature measure and a number is an instance of length measure and another number is an instance of length measure and a third number is an instance of length measure and a fourth number is an instance of length measure and the entity is not equal to the other entity and a time position is not equal to another time position and the measure of the object is the entity and the measure of the other object is the number and the measure of the third object is the other number holds during the time position and the measure of the object is the other entity and the measure of the other object is the third number and the measure of the third object is the fourth number holds during the other time position, then the number and the other number is not equal to the third number and the fourth number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6544-6558	If a process is an instance of deposition and an entity is a patient of the process and the measure of the entity is a quantity joule(s) holds during immediately before the time of existence of the process and the measure of the entity is another quantity joule(s) holds during immediately after the time of existence of the process, then the other quantity is less than the quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2825-2844	If an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and an entity is an instance of fuel and another entity is an instance of UnitOfVolume and the other object は the entity を contains %n{ない} and the measure of the entity is a third entity the other entity(s) and engine flooded is an attribute of the object holds during a time position, then the other object purpose there doesn't exist the entity2 such that the entity2 is an instance of fuel and the other object は the entity2 を contains %n{ない} and the measure of the entity2 is a fifth entity the other entity(s) and the fifth entity is greater than or equal to the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1328-1362	If an entity is an instance of engine choke and device on is an attribute of the entity holds during a process and device off is an attribute of the entity holds during another process and a self connected object is an instance of EngineCylinder and a constant quantity is a capacity of the self connected object and the process is an instance of four stroke compression and the other process is an instance of four stroke compression and the process is located at 2 and the other process is located at 2 and an object is an instance of air and another object is an instance of fuel and the object is a part of the constant quantityIX1 and the other object is a part of the constant quantityIX1 and the measure of the constant quantityIX1 is the constant quantity and a fourth object is an instance of air and a fifth object is an instance of fuel and the fourth object is a part of the constant quantityIX2 and the fifth object is a part of the constant quantityIX2 and the measure of the constant quantityIX2 is the constant quantity and an unit of measure is an instance of unit of measure and the measure of the object is the objectM the unit of measure(s) and the measure of the fourth object is the fourth objectM the unit of measure(s) and the measure of the other object is the other objectM the unit of measure(s) and the measure of the fifth object is the fifth objectM the unit of measure(s), then the fourth objectM and the fifth objectM is greater than the objectM and the other objectM
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12968-12980	If a process is an instance of evaporating and a real number an unit of measure(s) is a boiling point of a kind of pure substance and the measure of a kind of pure substance is another real number the unit of measure(s) and the unit of measure is an instance of UnitOfTemperature and the kind of pure substance is a patient of the process, then there exists an object such that the object is a part of the kind of pure substance and the real number is greater than the other real number and liquid is an attribute of the object holds during the beginning of the time of existence of the process and gas is an attribute of the object holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3000-3006	If an entity is an instance of grease and the measure of the entity is 77 fahrenheit degree(s) holds during a time position, then solid is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3169-3179	If an object is an instance of ignition coil and a process is an instance of electric transmission and another object is a resource for the process and the other object is an instance of electricity and an entity is an instance of electricity and the entity is a result of the process and the object is an instrument for the process and the measure of the other object is volt a real number(s), then the approximate value of the real number is 12
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8642-8646	If a physical is an instance of ice and the measure of the physical is a real number celsius degree(s), then the real number is less than or equal to 0

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.	Merge.kif 7384-7392	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 11232-11238	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.	Mid-level-ontology.kif 10972-10977	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 pound mass(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2070-2080	If a number is an arable land area of a geographic area and the number 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 number and the real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1958-1979	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of UnitOfCurrency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1981-2002	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for selling for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and an agent bids another real number the unit of measure(s) for the security and the unit of measure is an instance of UnitOfCurrency and the other real number is greater than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1151-1166	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 UnitOfArea 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.	Mid-level-ontology.kif 23650-23659	If an attribute is an attribute of an object and the attribute is an instance of temperature attribute and the object is an instance of object, then there exists another object such that the measure of the object is the other object and the other object is an instance of temperature measure and the attribute is an attribute of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11164-11173	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 11174-11185	If the maximum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of NonCompositeUnitOfMeasure and the unit of measure is an instance of the 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 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 11193-11202	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 11204-11213	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 11135-11144	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11145-11156	If the minimum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of NonCompositeUnitOfMeasure and the unit of measure is an instance of the 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 class and the real numberUANTITY the third entity(s) is less 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.	Merge.kif 5868-5878	If an unit of measure is the unit in a graph and a graph element is an instance of graph node and the graph element is a part of the graph and a graph arc is a part of the graph and the graph arc is an instance of graph arc and the abstract counterpart of a physical is the graph element and the abstract counterpart of another physical is the graph arc and the value of the graph arc is a real number the unit of measure(s), then the measure of the other physical is the real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1137-1149	If an object is an immediate instance of an entity and a physical is an immediate instance of the entity and oversized is an attribute of the object, then there exist the objectSIZE, the physicalSIZE and an unit of measure such that the unit of measure is an instance of unit of measure and the measure of the object is the objectSIZE the unit of measure(s) and the measure of the physical is the physicalSIZE the unit of measure(s) and the objectSIZE is greater than the physicalSIZE
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23685-23697	If an object is an immediate instance of an entity and another object is an immediate instance of the entity and cold is an attribute of the object and hot is an attribute of the other object, then there exist a physical quantity and another physical quantity such that the measure of the object is the physical quantity and the physical quantity is an instance of temperature measure and the measure of the other object is the other physical quantity and the other physical quantity is an instance of temperature measure and the other physical quantity is greater than the physical quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14755-14765	If a process is an instance of accelerating and an agent is an agent of the process, then there exist a quantity, another quantity,, , a third quantity and a fourth quantity such that the measure of the agent is the quantity per the third quantity holds during the beginning of the time of existence of the process and the measure of the agent is the other quantity per the fourth quantity holds during the end of the time of existence of the process and the other quantity is greater than the quantity or the fourth quantity is greater than the third quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27024-27028	If a physical is an instance of actinium and the physical is an instance of atom, then the measure of the physical is 227 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25766-25770	If a physical is an instance of aluminum and the physical is an instance of atom, then the measure of the physical is 26.9815 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27124-27128	If a physical is an instance of americium and the physical is an instance of atom, then the measure of the physical is 243 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26362-26366	If a physical is an instance of antimony and the physical is an instance of atom, then the measure of the physical is 121.75 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25844-25848	If a physical is an instance of argon and the physical is an instance of atom, then the measure of the physical is 39.948 amu(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: