UnitOfMeasure(unit� de mesure) | ![]() |
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 6210-6215 | |
(documentation UnitOfMeasure JapaneseLanguage "ある寸法の測定基準。 例えば、Meter は Inch と同様に、長さの次元の UnitOfMeasure である。UnitOfMeasure の本質的な性質は存在せず、むしろ 単位のシステム(例:SystemeInternationalUnit)は、直交寸法のセットを定義し、それぞれに単位を割り 当てる。") | japanese_format.kif 1074-1077 | |
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) | Merge.kif 6233-6233 | Unit� de mesure est compl�tement d�compos� en CompositeUnitOfMeasure + NonCompositeUnitOfMeasure |
(subclass UnitOfMeasure PhysicalQuantity) | Merge.kif 6208-6208 | Unit� de mesure est une sous-classe de quantit� physique |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain GigaFn 1 UnitOfMeasure) | Merge.kif 6506-6506 | Le nombre 1 argument de GigaFn est une instance de unit� de mesure |
(domain KiloFn 1 UnitOfMeasure) | Merge.kif 6478-6478 | Le nombre 1 argument de KiloFn est une instance de unit� de mesure |
(domain MeasureFn 2 UnitOfMeasure) | Merge.kif 6359-6359 | Le nombre 2 argument de MeasureFn est une instance de unit� de mesure |
(domain MegaFn 1 UnitOfMeasure) | Merge.kif 6492-6492 | Le nombre 1 argument de MegaFn est une instance de unit� de mesure |
(domain MicroFn 1 UnitOfMeasure) | Merge.kif 6548-6548 | Le nombre 1 argument de MicroFn est une instance de unit� de mesure |
(domain MilliFn 1 UnitOfMeasure) | Merge.kif 6534-6534 | Le nombre 1 argument de MilliFn est une instance de unit� de mesure |
(domain NanoFn 1 UnitOfMeasure) | Merge.kif 6562-6562 | Le nombre 1 argument de NanoFn est une instance de unit� de mesure |
(domain PicoFn 1 UnitOfMeasure) | Merge.kif 6577-6577 | Le nombre 1 argument de PicoFn est une instance de unit� de mesure |
(domain SquareUnitFn 1 UnitOfMeasure) | Mid-level-ontology.kif 14968-14968 | Le nombre 1 argument de SquareUnitFn est une instance de unit� de mesure |
(domain TeraFn 1 UnitOfMeasure) | Merge.kif 6520-6520 | Le nombre 1 argument de TeraFn est une instance de unit� de mesure |
(domain componentDataID 4 UnitOfMeasure) | QoSontology.kif 1009-1009 | Le nombre 4 argument de componentDataID est une instance de unit� de mesure |
(domain graphMeasure 2 UnitOfMeasure) | Merge.kif 6160-6160 | Le nombre 2 argument de graphMeasure est une instance de unit� de mesure |
(domain mixtureRatio 5 UnitOfMeasure) | Food.kif 1246-1246 | Le nombre 5 argument de mixtureRatio est une instance de unit� de mesure |
(domain unitMeasuringPerformance 2 UnitOfMeasure) | QoSontology.kif 949-949 | Le nombre 2 argument de unitMeasuringPerformance est une instance de unit� de mesure |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |