UnitOfMeasure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6306-6308
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6300-6305
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6328-6328	Unit of measure is exhaustively partitioned into CompositeUnitOfMeasure and NonCompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6299-6299	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 842-842	Rad is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2120-2120	Revolutions per minute is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6619-6619	The range of giga is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6587-6587	The range of kilo is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6603-6603	The range of mega is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6667-6667	The range of micro is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6651-6651	The range of milli is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6683-6683	The range of nano is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6700-6700	The range of pico is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3741-3741	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 6635-6635	The range of tera is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6772-6772	The range of UnitFn is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6310-6310	CompositeUnitOfMeasure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6319-6319	NonCompositeUnitOfMeasure is a subclass of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6343-6343	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	"测量单位" is the printable form of unit of measure in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	english_format.kif 988-988	"unit of measure" is the printable form of unit of measure in english language
No TPTP formula. May not be expressible in strict first order.	french_format.kif 979-979	"unit� de mesure" is the printable form of unit of measure in french language
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 514-514	"maapaka ikaaI" is the printable form of unit of measure in Hindi
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 516-516	"Unit�DiMisura" is the printable form of unit of measure in italian language
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 931-931	"Unidade de Medida" is the printable form of unit of measure in portuguese language
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 520-520	"usa ka sukod" is the printable form of unit of measure in cb
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 554-554	"unit of measure" is the printable form of unit of measure in cz
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 519-519	"batayang sukat" is the printable form of unit of measure in tg

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 6618-6618	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 6586-6586	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 6470-6470	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 6602-6602	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 6666-6666	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 6650-6650	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 6682-6682	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 6699-6699	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 3740-3740	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 6634-6634	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 890-890	The number 4 argument of component dataI d is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6254-6254	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 830-830	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 3748-3752	An unit of measure is an instance of unit of measure and a physical quantity is equal to 1 the square unit of the unit of measure(s) if and only if the physical quantity 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.	Merge.kif 6627-6631	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 1000000000 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6595-6599	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 6611-6615	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 6675-6679	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 6659-6663	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 6692-6696	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 6709-6713	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 6763-6767	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 6784-6788	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 6643-6647	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 1000000000000 the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 849-858	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 838-847	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

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6551-6561	If an entity is an instance of relation extended to quantities and the entity is an instance of binary relation 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 an entity in ISO-4217-A denotes another entity, then the other entity is an instance of unit of measure and the entity is 3 characters long and the entity 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: