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 6210-6215
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 6233-6233	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 6208-6208	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 6507-6507	The range of giga is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6479-6479	The range of kilo is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6493-6493	The range of mega is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6549-6549	The range of micro is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6535-6535	The range of milli is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6563-6563	The range of nano 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 pico is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14987-14987	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 6521-6521	The range of tera is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6622-6622	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 11215-11215	Acidity measure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6217-6217	Composite unit of measure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6225-6225	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 7478-7478	Sound pressure level unit is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6247-6247	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 6506-6506	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 6478-6478	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 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 6492-6492	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 6548-6548	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 6534-6534	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 6562-6562	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 6577-6577	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 14986-14986	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 6520-6520	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 6160-6160	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 2347-2366	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 the third real number the unit of measure(s) is equal to 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 the third real number is equal to (the real number and the other real number)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6630-6636	If a physical quantity is an instance of physical quantity and an unit of measure is an instance of unit of measure and the physical quantity is equal to a real number the unit of measure(s), then the unit of the physical quantity is equal to the unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6513-6517	If an unit of measure is an instance of unit of measure and another unit of measure is equal to 1 billion the unit of measures, then 1 the other unit of measure(s) is equal to 1000000 1 thousand the unit of measures(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6485-6489	If an unit of measure is an instance of unit of measure and another unit of measure is equal to 1 thousand the unit of measures, then 1 the other unit of measure(s) is equal to 1000 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6499-6503	If an unit of measure is an instance of unit of measure and another unit of measure is equal to 1 million the unit of measures, then 1 the other unit of measure(s) is equal to 1000000 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6555-6559	If an unit of measure is an instance of unit of measure and another unit of measure is equal to one millionth of a the unit of measure, then 1 the other unit of measure(s) is equal to 0.000001 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6541-6545	If an unit of measure is an instance of unit of measure and another unit of measure is equal to one thousandth of a the unit of measure, then 1 the other unit of measure(s) is equal to 0.001 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 another unit of measure is equal to one billionth of a the unit of measure, then 1 the other unit of measure(s) is equal to 0.000000001 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 another unit of measure is equal to one trillionth of a the unit of measure, then 1 the other unit of measure(s) is equal to 0.000000000001 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14989-15000	If an unit of measure is an instance of unit of measure and another unit of measure is equal to 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 the real number the other unit of measure(s) is equal to 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 6527-6531	If an unit of measure is an instance of unit of measure and another unit of measure is equal to 1 trillion the unit of measures, then 1 the other unit of measure(s) is equal to 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 858-867	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 847-856	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 2112-2125	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 2710-2730	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 2732-2753	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 2691-2708	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: