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 5902-5907
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5925-5925	Unit of measure is exhaustively partitioned into CompositeUnitOfMeasure and NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5900-5900	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 2107-2107	Revolutions per minute is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6199-6199	The range of giga is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6171-6171	The range of kilo is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6185-6185	The range of mega is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6241-6241	The range of micro is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6227-6227	The range of milli is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6255-6255	The range of nano is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6270-6270	The range of pico is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3797-3797	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 6213-6213	The range of tera is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6334-6334	The range of UnitFn is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5909-5909	CompositeUnitOfMeasure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5917-5917	NonCompositeUnitOfMeasure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5939-5939	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
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1828-1828

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6198-6198	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 6170-6170	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 6051-6051	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 6184-6184	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 6240-6240	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 6226-6226	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 6254-6254	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 6269-6269	The number 1 argument of pico is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3796-3796	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 6212-6212	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 898-898	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 5853-5853	The number 2 argument of graphMeasure is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 838-838	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.	Geography.kif 3804-3808	An unit of measure is an instance of unit of measure and a number is equal to 1 the square unit of the unit of measure(s) if and only if the number is equal to 1 the unit of measure(s) and 1 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	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.	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.	Weather.kif 2358-2377	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 2 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 quantity such that the quantity is greater than or equal to the real number and the quantity is less than or equal to the other real number and the cognitive agent believes the quantity the unit of measure(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6205-6209	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 6177-6181	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 6191-6195	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 6247-6251	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 6233-6237	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 6262-6266	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 6277-6281	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.	Merge.kif 6325-6329	If an unit of measure is an instance of unit of measure and a physical quantity is equal to a real number the unit of measure(s), then the magnitude of the physical quantity is equal to the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6342-6346	If an unit of measure is an instance of unit of measure and a 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 6219-6223	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 349-366	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 2 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 quantity such that the quantity is greater than or equal to the real number and the quantity is less than or equal to the other real number and the cognitive agent believes the quantity the unit of measure(s) is a surface wind speed of the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Geography.kif 862-871	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, then the object is not located at the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 851-860	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, then the object is located at the other object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2123-2136	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 2721-2741	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 2 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 2743-2764	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 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 2 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 2702-2719	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 2 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 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.	Merge.kif 6129-6139	If an entity is an instance of relation extended to quantities and the entity is an instance of binary predicate and another entity is an instance of real number and a third entity is an instance of real number and the entity the other entity and the third entity, then for all a fourth entity if the fourth entity is an instance of unit of measure, then the entity the other entity the fourth entity(s) and the third entity the fourth entity(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 2281-2286	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 AlphabeticString

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: