UnitOfMeasure | ![]() |
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 5901-5906 | |
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) | Merge.kif 5924-5924 | |
(subclass UnitOfMeasure PhysicalQuantity) | Merge.kif 5899-5899 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain GigaFn 1 UnitOfMeasure) | Merge.kif 6197-6197 | |
(domain KiloFn 1 UnitOfMeasure) | Merge.kif 6169-6169 | |
(domain MeasureFn 2 UnitOfMeasure) | Merge.kif 6050-6050 | |
(domain MegaFn 1 UnitOfMeasure) | Merge.kif 6183-6183 | |
(domain MicroFn 1 UnitOfMeasure) | Merge.kif 6239-6239 | |
(domain MilliFn 1 UnitOfMeasure) | Merge.kif 6225-6225 | |
(domain NanoFn 1 UnitOfMeasure) | Merge.kif 6253-6253 | |
(domain PicoFn 1 UnitOfMeasure) | Merge.kif 6268-6268 | |
(domain SquareUnitFn 1 UnitOfMeasure) | Geography.kif 3753-3753 | |
(domain TeraFn 1 UnitOfMeasure) | Merge.kif 6211-6211 | |
(domain componentDataID 4 UnitOfMeasure) | QoSontology.kif 898-898 | |
(domain graphMeasure 2 UnitOfMeasure) | Merge.kif 5852-5852 | |
(domain unitMeasuringPerformance 2 UnitOfMeasure) | QoSontology.kif 838-838 |
antecedent |
![]() |
(<=> (and (instance ?UNIT UnitOfMeasure) (equal ?AMOUNT (MeasureFn 1 (SquareUnitFn ?UNIT)))) (equal ?AMOUNT (MultiplicationFn (MeasureFn 1 ?UNIT) (MeasureFn 1 ?UNIT)))) |
Geography.kif 3761-3765 | |
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?GIGAUNIT (GigaFn ?UNIT))) (equal (MeasureFn 1 ?GIGAUNIT) (MeasureFn 1000000 (KiloFn ?UNIT)))) |
Merge.kif 6204-6208 | |
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?KILOUNIT (KiloFn ?UNIT))) (equal (MeasureFn 1 ?KILOUNIT) (MeasureFn 1000 ?UNIT))) |
Merge.kif 6176-6180 | |
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?MEGAUNIT (MegaFn ?UNIT))) (equal (MeasureFn 1 ?MEGAUNIT) (MeasureFn 1000000 ?UNIT))) |
Merge.kif 6190-6194 | |
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?MICROUNIT (MicroFn ?UNIT))) (equal (MeasureFn 1 ?MICROUNIT) (MeasureFn 0.000001 ?UNIT))) |
Merge.kif 6246-6250 | |
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?MILLIUNIT (MilliFn ?UNIT))) (equal (MeasureFn 1 ?MILLIUNIT) (MeasureFn 0.001 ?UNIT))) |
Merge.kif 6232-6236 | |
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?NANOUNIT (NanoFn ?UNIT))) (equal (MeasureFn 1 ?NANOUNIT) (MeasureFn 0.000000001 ?UNIT))) |
Merge.kif 6261-6265 | |
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?PICOUNIT (PicoFn ?UNIT))) (equal (MeasureFn 1 ?PICOUNIT) (MeasureFn 0.000000000001 ?UNIT))) |
Merge.kif 6276-6280 | |
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?QUANT (MeasureFn ?NUMBER ?UNIT))) (equal (MagnitudeFn ?QUANT) ?NUMBER)) |
Merge.kif 6324-6328 | |
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?QUANT (MeasureFn ?NUMBER ?UNIT))) (equal (UnitFn ?QUANT) ?UNIT)) |
Merge.kif 6341-6345 | |
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?TERAUNIT (TeraFn ?UNIT))) (equal (MeasureFn 1 ?TERAUNIT) (MeasureFn 1000000000 (KiloFn ?UNIT)))) |
Merge.kif 6218-6222 | |
(=> (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 | |
(=> (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 |
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 6128-6138 | |
(=> (codeMapping ISO-4217-A ?TOKEN ?X) (and (instance ?X UnitOfMeasure) (stringLength 3 ?TOKEN) (instance ?TOKEN AlphabeticString))) |
Media.kif 2281-2286 |
![]() |
![]() |