UnitFn |
appearance as argument number 1 |
(documentation UnitFn ChineseLanguage " UnitFn 以相关的 UnitOfMeasure 和 RealNumber 大小,只得出一个 PhysicalQuantity 的 UnitOfMeasure。例如:ConstantQuantity (MeasureFn 2 Kilometer)的单位是 UnitOfMeasure Kilometer。") | chinese_format.kif 2472-2475 | |
(documentation UnitFn EnglishLanguage "UnitFn returns just the UnitOfMeasure of a PhysicalQuantity with an associated UnitOfMeasure and RealNumber magnitude. For example, the unit of the ConstantQuantity (MeasureFn 2 Kilometer) is the UnitOfMeasure Kilometer.") | Merge.kif 6614-6618 | |
(documentation UnitFn JapaneseLanguage "UnitFn は、関連付けられた UnitOfMeasure と RealNumber の大きさを持つ PhysicalQuantity の UnitOfMeasure だけを返す。 例: ConstantQuantity (MeasureFn 2 Kilometer) の単位は UnitOfMeasure Kilometer であ る。") | japanese_format.kif 1165-1168 | |
(domain UnitFn 1 PhysicalQuantity) | Merge.kif 6611-6611 | |
(instance UnitFn TotalValuedRelation) | Merge.kif 6610-6610 | |
(instance UnitFn UnaryFunction) | Merge.kif 6609-6609 | |
(range UnitFn UnitOfMeasure) | Merge.kif 6612-6612 |
appearance as argument number 2 |
(format ChineseLanguage UnitFn "%1 的 unit ") | domainEnglishFormat.kif 4870-4870 | |
(format ChineseTraditionalLanguage UnitFn "%1 的 unit ") | domainEnglishFormat.kif 4869-4869 | |
(format EnglishLanguage UnitFn "the unit of %1") | domainEnglishFormat.kif 4868-4868 | |
(termFormat EnglishLanguage UnitFn "unit fn") | domainEnglishFormat.kif 65650-65650 |
consequent |
(=> (and (instance ?QUANT PhysicalQuantity) (instance ?UNIT UnitOfMeasure) (equal ?QUANT (MeasureFn ?NUMBER ?UNIT))) (equal (UnitFn ?QUANT) ?UNIT)) |
Merge.kif 6620-6626 |