UnitOfMeasure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2394-2396
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6225-6230
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1074-1077
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6248-6248	Unit of measure is exhaustively partitioned into composite unit of measure and non composite unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6223-6223	Unit of measure is a subclass of physical quantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 853-853	Rad is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2077-2077	Revolutions per minute is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6522-6522	The range of giga is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6494-6494	The range of kilo is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6508-6508	The range of mega is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6564-6564	The range of micro is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6550-6550	The range of milli is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6578-6578	The range of nano is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6593-6593	The range of pico is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14969-14969	The range of square unit is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6536-6536	The range of tera is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6637-6637	The range of unit fn is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11197-11197	Acidity measure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6232-6232	Composite unit of measure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6240-6240	Non composite unit of measure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7493-7493	Sound pressure level unit is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6262-6262	Systeme international unit is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1301-1301	Systeme international unit is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1819-1819	Systeme international unit is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	french_format.kif 979-979	Systeme international unit is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 514-514	Systeme international unit is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 518-518	Systeme international unit is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2663-2663	Systeme international unit is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 931-931	Systeme international unit is a subclass of unit of measure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6521-6521	The number 1 argument of giga is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6493-6493	The number 1 argument of kilo is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6374-6374	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 6507-6507	The number 1 argument of mega is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6563-6563	The number 1 argument of micro is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6549-6549	The number 1 argument of milli is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6577-6577	The number 1 argument of nano is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6592-6592	The number 1 argument of pico is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14968-14968	The number 1 argument of square unit is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6535-6535	The number 1 argument of tera is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1009-1009	The number 4 argument of component data ID is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6175-6175	The number 2 argument of graph measure is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Food.kif 1246-1246	The number 5 argument of mixture ratio is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 949-949	The number 2 argument of unit measuring performance is an instance of unit of measure

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	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.	Cars.kif 1314-1348	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 engine cylinder 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 the self connected object and the other process is located at the self connected object 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.	Weather.kif 3050-3069	If a process is an instance of hurricane and a speed scale attribute is an instance of Saffir Simpson Hurrican wind scale and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes equal the third real number the unit of measure(s) and Mean1MinuteWindSpeedFn for the time of existence of the process in region the object
No TPTP formula. May not be expressible in strict first order.	Food.kif 1249-1263	If an object is an instance of mixture and an unit of measure is an instance of unit of measure and A Mixture containing a real number unit the unit of measure of a substance and another real number unit the unit of measure of another substance and the measure of the object is a third real number the unit of measure(s) and the substance is a part of the object and the other substance is a part of the object and the measure of the substance is the real number the unit of measure(s) and the measure of the other substance is the other real number the unit of measure(s), then equal the third real number and (the real number and the other real number)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6645-6651	If a physical quantity is an instance of physical quantity and an unit of measure is an instance of unit of measure and equal the physical quantity and a real number the unit of measure(s), then equal the unit of the physical quantity and the unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6528-6532	If an unit of measure is an instance of unit of measure and equal another unit of measure and 1 billion the unit of measures, then equal 1 the other unit of measure(s) and 1000000 1 thousand the unit of measures(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6500-6504	If an unit of measure is an instance of unit of measure and equal another unit of measure and 1 thousand the unit of measures, then equal 1 the other unit of measure(s) and 1000 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6514-6518	If an unit of measure is an instance of unit of measure and equal another unit of measure and 1 million the unit of measures, then equal 1 the other unit of measure(s) and 1000000 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6570-6574	If an unit of measure is an instance of unit of measure and equal another unit of measure and one millionth of a the unit of measure, then equal 1 the other unit of measure(s) and 0.000001 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6556-6560	If an unit of measure is an instance of unit of measure and equal another unit of measure and one thousandth of a the unit of measure, then equal 1 the other unit of measure(s) and 0.001 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6585-6589	If an unit of measure is an instance of unit of measure and equal another unit of measure and one billionth of a the unit of measure, then equal 1 the other unit of measure(s) and 0.000000001 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6600-6604	If an unit of measure is an instance of unit of measure and equal another unit of measure and one trillionth of a the unit of measure, then equal 1 the other unit of measure(s) and 0.000000000001 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14971-14982	If an unit of measure is an instance of unit of measure and equal another unit of measure and the square unit of the unit of measure, then there exists a real number such that the real number is an instance of real number and equal the real number the other unit of measure(s) and the real number and the real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6542-6546	If an unit of measure is an instance of unit of measure and equal another unit of measure and 1 trillion the unit of measures, then equal 1 the other unit of measure(s) and 1000000000 1 thousand the unit of measures(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 337-354	If a process is an instance of wind and a speed scale attribute is an instance of Beaufort number attribute and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number the unit of measure(s) is a surface wind speed of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 995-1004	If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is greater than 0.0, then the object is not located at the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 984-993	If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is less than or equal to 0.0, then the object is located at the other object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2815-2828	If a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of a speed scale attribute and the unit of measure is an instance of unit of measure, then there exist a physical and a third real number such that the physical is an instance of motion and the physical the attribute the speed scale attribute and the measure of the physical is the third real number the unit of measure(s) and the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3413-3433	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of day time and a process is an instance of looking and an object is an instance of object and the object is the color black and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3435-3456	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure and the time interval is an instance of night time and a process is an instance of looking and an object is an instance of region and illuminated is an attribute of the object and the measure of the object is 1000.0 candela(s) and an agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the process is located at the region and the time of existence of the process takes place during the time interval and the object is an instance of object, then there exists another real number such that the distance between the agent and the object is the other real number the unit of measure(s) and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3394-3411	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure, then there don't exist a process, an agent,, , an object and another real number such that the process is an instance of looking and the agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the time of existence of the process takes place during the time interval and the process is located at the region and the distance between the agent and the object is the other real number the unit of measure(s) and the other real number is greater than the real number

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1180-1192	If an object is an immediate instance of a class and a physical is an immediate instance of the class 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.	Cars.kif 3004-3011	If a measuring device is an instance of measuring device and reset measuring device is an attribute of the measuring device, then 0 an unit of measure(s) is a measurement reading of the measuring device and the unit of measure is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Media.kif 2288-2293	If a symbolic string in ISO_4217_A denotes an entity, then the entity is an instance of unit of measure and the symbolic string is 3 characters long and the symbolic string is an instance of alphabetic string

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: