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 6200-6205 | |
(documentation UnitOfMeasure JapaneseLanguage "ある寸法の測定基準。 例えば、Meter は Inch と同様に、長さの次元の UnitOfMeasure である。UnitOfMeasure の本質的な性質は存在せず、むしろ 単位のシステム(例:SystemeInternationalUnit)は、直交寸法のセットを定義し、それぞれに単位を割り 当てる。") | japanese_format.kif 1074-1077 | |
(partition UnitOfMeasure CompositeUnitOfMeasure NonCompositeUnitOfMeasure) | Merge.kif 6223-6223 | Unit�DiMisura è esaustivamente partizionato in CompositeUnitOfMeasure + NonCompositeUnitOfMeasure |
(subclass UnitOfMeasure PhysicalQuantity) | Merge.kif 6198-6198 | Unit�DiMisura è una sottoclasse di Quantit�Fisica |
appearance as argument number 2 |
appearance as argument number 3 |
(domain GigaFn 1 UnitOfMeasure) | Merge.kif 6496-6496 | Il numero 1 argomenti di GigaFn è un istanza di Unit�DiMisura |
(domain KiloFn 1 UnitOfMeasure) | Merge.kif 6468-6468 | Il numero 1 argomenti di KiloFn è un istanza di Unit�DiMisura |
(domain MeasureFn 2 UnitOfMeasure) | Merge.kif 6349-6349 | Il numero 2 argomenti di MeasureFn è un istanza di Unit�DiMisura |
(domain MegaFn 1 UnitOfMeasure) | Merge.kif 6482-6482 | Il numero 1 argomenti di MegaFn è un istanza di Unit�DiMisura |
(domain MicroFn 1 UnitOfMeasure) | Merge.kif 6538-6538 | Il numero 1 argomenti di MicroFn è un istanza di Unit�DiMisura |
(domain MilliFn 1 UnitOfMeasure) | Merge.kif 6524-6524 | Il numero 1 argomenti di MilliFn è un istanza di Unit�DiMisura |
(domain NanoFn 1 UnitOfMeasure) | Merge.kif 6552-6552 | Il numero 1 argomenti di NanoFn è un istanza di Unit�DiMisura |
(domain PicoFn 1 UnitOfMeasure) | Merge.kif 6567-6567 | Il numero 1 argomenti di PicoFn è un istanza di Unit�DiMisura |
(domain SquareUnitFn 1 UnitOfMeasure) | Geography.kif 3964-3964 | Il numero 1 argomenti di SquareUnitFn è un istanza di Unit�DiMisura |
(domain TeraFn 1 UnitOfMeasure) | Merge.kif 6510-6510 | Il numero 1 argomenti di TeraFn è un istanza di Unit�DiMisura |
(domain componentDataID 4 UnitOfMeasure) | QoSontology.kif 900-900 | Il numero 4 argomenti di componentDataID è un istanza di Unit�DiMisura |
(domain graphMeasure 2 UnitOfMeasure) | Merge.kif 6150-6150 | Il numero 2 argomenti di graphMeasure è un istanza di Unit�DiMisura |
(domain mixtureRatio 5 UnitOfMeasure) | Food.kif 1245-1245 | Il numero 5 argomenti di mixtureRatio è un istanza di Unit�DiMisura |
(domain unitMeasuringPerformance 2 UnitOfMeasure) | QoSontology.kif 840-840 | Il numero 2 argomenti di unitMeasuringPerformance è un istanza di Unit�DiMisura |
antecedent |
consequent |
(=> (and (immediateInstance ?BIG ?CLASS) (immediateInstance ?NORMAL ?CLASS) (attribute ?BIG Oversized)) (exists (?BIGSIZE ?NORMALSIZE ?U) (and (instance ?U UnitOfMeasure) (measure ?BIG (MeasureFn ?BIGSIZE ?U)) (measure ?NORMAL (MeasureFn ?NORMALSIZE ?U)) (greaterThan ?BIGSIZE ?NORMALSIZE)))) |
Hotel.kif 1172-1184 |
|
(=> (codeMapping ISO-4217-A ?TOKEN ?X) (and (instance ?X UnitOfMeasure) (stringLength 3 ?TOKEN) (instance ?TOKEN AlphabeticString))) |
Media.kif 2286-2291 |
|