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 6167-6172 | |
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) | Merge.kif 6190-6190 | Unit of measure is exhaustively partitioned into composite unit of measure and non composite unit of measure |
(subclass UnitOfMeasure PhysicalQuantity) | Merge.kif 6165-6165 | Unit of measure is a subclass of physical quantity |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain GigaFn 1 UnitOfMeasure) | Merge.kif 6463-6463 | The number 1 argument of giga is an instance of unit of measure |
(domain KiloFn 1 UnitOfMeasure) | Merge.kif 6435-6435 | The number 1 argument of kilo is an instance of unit of measure |
(domain MeasureFn 2 UnitOfMeasure) | Merge.kif 6316-6316 | The number 2 argument of measure is an instance of unit of measure |
(domain MegaFn 1 UnitOfMeasure) | Merge.kif 6449-6449 | The number 1 argument of mega is an instance of unit of measure |
(domain MicroFn 1 UnitOfMeasure) | Merge.kif 6505-6505 | The number 1 argument of micro is an instance of unit of measure |
(domain MilliFn 1 UnitOfMeasure) | Merge.kif 6491-6491 | The number 1 argument of milli is an instance of unit of measure |
(domain NanoFn 1 UnitOfMeasure) | Merge.kif 6519-6519 | The number 1 argument of nano is an instance of unit of measure |
(domain PicoFn 1 UnitOfMeasure) | Merge.kif 6534-6534 | The number 1 argument of pico is an instance of unit of measure |
(domain SquareUnitFn 1 UnitOfMeasure) | Geography.kif 3897-3897 | The number 1 argument of square unit is an instance of unit of measure |
(domain TeraFn 1 UnitOfMeasure) | Merge.kif 6477-6477 | The number 1 argument of tera is an instance of unit of measure |
(domain componentDataID 4 UnitOfMeasure) | QoSontology.kif 900-900 | The number 4 argument of component data ID is an instance of unit of measure |
(domain graphMeasure 2 UnitOfMeasure) | Merge.kif 6117-6117 | The number 2 argument of graph measure is an instance of unit of measure |
(domain unitMeasuringPerformance 2 UnitOfMeasure) | QoSontology.kif 840-840 | The number 2 argument of unit measuring performance is an instance of unit of measure |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |