UnitOfMeasure - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - UnitOfMeasure

UnitOfMeasure(unit of measure)

B, Bel, British_Imperial_System, British_capacity_unit, British_system, Calorie, Ci, English_system, Erlang, G, GB, Gb, Gbit, Gi, GiB, Imperial_capacity_unit, L, Mercalli_scale, Mohs_scale, Mx, R, REM, Reaumur_scale, Richter_scale, STP, TB, TDT, TT, Tb, Tbit, TiB, United_States_Customary_System, United_States_liquid_unit, Wb, abamp, abampere, abcoulomb, abfarad, abhenry, abohm, absorbance, abvolt, abwatt, advantage, agate_line, allocation_unit, ampere, ampere-hour, ampere-minute, ampere-turn...

appearance as argument number 1

(documentation UnitOfMeasure ChineseLanguage "这是某些量䋞的量度标准。例如：Meter 和 Inch 是长度的 UnitOfMeasure。UnitOfMeasure 没有令它原始和基本的固有性质, 反而一个单位制(例如： SystemeInternationalUnit)可决定一组的正交维度，并给每一个维度分配单位。")	chinese_format.kif 2394-2396
(documentation UnitOfMeasure EnglishLanguage "A standard of measurement for some dimension. For example, the Meter is a UnitOfMeasure for the dimension of length, as is the Inch. There is no intrinsic property of a UnitOfMeasure that makes it primitive or fundamental, rather, a system of units (e.g. SystemeInternationalUnit) defines a set of orthogonal dimensions and assigns units for each.")	Merge.kif 5850-5855
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure)	Merge.kif 5873-5873	Unit of measure is exhaustively partitioned into CompositeUnitOfMeasure and NonCompositeUnitOfMeasure
(subclass UnitOfMeasure PhysicalQuantity)	Merge.kif 5848-5848	Unit of measure is a subclass of physical quantity

appearance as argument number 2

(instance Rad UnitOfMeasure)	MilitaryProcesses.kif 853-853	Rad is an instance of unit of measure
(instance RevolutionsPerMinute UnitOfMeasure)	Cars.kif 2080-2080	Revolutions per minute is an instance of unit of measure
(range GigaFn UnitOfMeasure)	Merge.kif 6149-6149	The range of giga is an instance of unit of measure
(range KiloFn UnitOfMeasure)	Merge.kif 6121-6121	The range of kilo is an instance of unit of measure
(range MegaFn UnitOfMeasure)	Merge.kif 6135-6135	The range of mega is an instance of unit of measure
(range MicroFn UnitOfMeasure)	Merge.kif 6191-6191	The range of micro is an instance of unit of measure
(range MilliFn UnitOfMeasure)	Merge.kif 6177-6177	The range of milli is an instance of unit of measure
(range NanoFn UnitOfMeasure)	Merge.kif 6205-6205	The range of nano is an instance of unit of measure
(range PicoFn UnitOfMeasure)	Merge.kif 6220-6220	The range of pico is an instance of unit of measure
(range SquareUnitFn UnitOfMeasure)	Geography.kif 3754-3754	The range of square unit is an instance of unit of measure
(range TeraFn UnitOfMeasure)	Merge.kif 6163-6163	The range of tera is an instance of unit of measure
(range UnitFn UnitOfMeasure)	Merge.kif 6284-6284	The range of UnitFn is an instance of unit of measure
(subclass CompositeUnitOfMeasure UnitOfMeasure)	Merge.kif 5857-5857	CompositeUnitOfMeasure is a subclass of unit of measure
(subclass NonCompositeUnitOfMeasure UnitOfMeasure)	Merge.kif 5865-5865	NonCompositeUnitOfMeasure is a subclass of unit of measure
(subclass SystemeInternationalUnit UnitOfMeasure)	Merge.kif 5887-5887	Systeme international unit is a subclass of unit of measure
(termFormat ChineseLanguage UnitOfMeasure "测量单位")	chinese_format.kif 1301-1301
(termFormat EnglishLanguage UnitOfMeasure "unit of measure")	english_format.kif 1828-1828

appearance as argument number 3

(domain GigaFn 1 UnitOfMeasure)	Merge.kif 6148-6148	The number 1 argument of giga is an instance of unit of measure
(domain KiloFn 1 UnitOfMeasure)	Merge.kif 6120-6120	The number 1 argument of kilo is an instance of unit of measure
(domain MeasureFn 2 UnitOfMeasure)	Merge.kif 6001-6001	The number 2 argument of measure is an instance of unit of measure
(domain MegaFn 1 UnitOfMeasure)	Merge.kif 6134-6134	The number 1 argument of mega is an instance of unit of measure
(domain MicroFn 1 UnitOfMeasure)	Merge.kif 6190-6190	The number 1 argument of micro is an instance of unit of measure
(domain MilliFn 1 UnitOfMeasure)	Merge.kif 6176-6176	The number 1 argument of milli is an instance of unit of measure
(domain NanoFn 1 UnitOfMeasure)	Merge.kif 6204-6204	The number 1 argument of nano is an instance of unit of measure
(domain PicoFn 1 UnitOfMeasure)	Merge.kif 6219-6219	The number 1 argument of pico is an instance of unit of measure
(domain SquareUnitFn 1 UnitOfMeasure)	Geography.kif 3753-3753	The number 1 argument of square unit is an instance of unit of measure
(domain TeraFn 1 UnitOfMeasure)	Merge.kif 6162-6162	The number 1 argument of tera is an instance of unit of measure
(domain componentDataID 4 UnitOfMeasure)	QoSontology.kif 898-898	The number 4 argument of component data ID is an instance of unit of measure
(domain graphMeasure 2 UnitOfMeasure)	Merge.kif 5801-5801	The number 2 argument of graphMeasure is an instance of unit of measure
(domain unitMeasuringPerformance 2 UnitOfMeasure)	QoSontology.kif 838-838	The number 2 argument of unit measuring performance is an instance of unit of measure

antecedent

(<=> (and (instance ?UNIT UnitOfMeasure) (equal ?AMOUNT (MeasureFn 1 (SquareUnitFn ?UNIT)))) (equal ?AMOUNT (MultiplicationFn (MeasureFn 1 ?UNIT) (MeasureFn 1 ?UNIT))))	Geography.kif 3761-3765	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)
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?GIGAUNIT (GigaFn ?UNIT))) (equal (MeasureFn 1 ?GIGAUNIT) (MeasureFn 1000000 (KiloFn ?UNIT))))	Merge.kif 6155-6159	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)
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?KILOUNIT (KiloFn ?UNIT))) (equal (MeasureFn 1 ?KILOUNIT) (MeasureFn 1000 ?UNIT)))	Merge.kif 6127-6131	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)
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?MEGAUNIT (MegaFn ?UNIT))) (equal (MeasureFn 1 ?MEGAUNIT) (MeasureFn 1000000 ?UNIT)))	Merge.kif 6141-6145	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)
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?MICROUNIT (MicroFn ?UNIT))) (equal (MeasureFn 1 ?MICROUNIT) (MeasureFn 0.000001 ?UNIT)))	Merge.kif 6197-6201	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)
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?MILLIUNIT (MilliFn ?UNIT))) (equal (MeasureFn 1 ?MILLIUNIT) (MeasureFn 0.001 ?UNIT)))	Merge.kif 6183-6187	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)
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?NANOUNIT (NanoFn ?UNIT))) (equal (MeasureFn 1 ?NANOUNIT) (MeasureFn 0.000000001 ?UNIT)))	Merge.kif 6212-6216	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)
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?PICOUNIT (PicoFn ?UNIT))) (equal (MeasureFn 1 ?PICOUNIT) (MeasureFn 0.000000000001 ?UNIT)))	Merge.kif 6227-6231	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)
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?QUANT (MeasureFn ?NUMBER ?UNIT))) (equal (MagnitudeFn ?QUANT) ?NUMBER))	Merge.kif 6275-6279	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
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?QUANT (MeasureFn ?NUMBER ?UNIT))) (equal (UnitFn ?QUANT) ?UNIT))	Merge.kif 6292-6296	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
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?TERAUNIT (TeraFn ?UNIT))) (equal (MeasureFn 1 ?TERAUNIT) (MeasureFn 1000000000 (KiloFn ?UNIT))))	Merge.kif 6169-6173	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)
(=> (and (orientation ?OBJ ?REGION Outside) (instance ?ZONE (PerimeterAreaFn ?REGION)) (instance ?ZONE UniformPerimeterArea) (width ?ZONE (MeasureFn ?LIMIT ?UNIT)) (distance ?OBJ ?REGION (MeasureFn ?FAR ?UNIT)) (instance ?UNIT UnitOfMeasure) (greaterThan (SubtractionFn ?FAR ?LIMIT) 0)) (not (located ?OBJ ?ZONE)))	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
(=> (and (orientation ?OBJ ?REGION Outside) (instance ?ZONE (PerimeterAreaFn ?REGION)) (instance ?ZONE UniformPerimeterArea) (width ?ZONE (MeasureFn ?LIMIT ?UNIT)) (distance ?OBJ ?REGION (MeasureFn ?FAR ?UNIT)) (instance ?UNIT UnitOfMeasure) (lessThanOrEqualTo (SubtractionFn ?FAR ?LIMIT) 0)) (located ?OBJ ?ZONE))	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

consequent

(=> (and (instance ?REL RelationExtendedToQuantities) (instance ?REL BinaryPredicate) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber) (?REL ?NUMBER1 ?NUMBER2)) (forall (?UNIT) (=> (instance ?UNIT UnitOfMeasure) (?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)))))	Merge.kif 6079-6089	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)
(=> (codeMapping ISO-4217-A ?TOKEN ?X) (and (instance ?X UnitOfMeasure) (stringLength 3 ?TOKEN) (instance ?TOKEN AlphabeticString)))	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners