UnitFn |
appearance as argument number 1 |
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 65652-65652 |
consequent |
(=> (and (instance ?QUANT PhysicalQuantity) (instance ?UNIT UnitOfMeasure) (equal ?QUANT (MeasureFn ?NUMBER ?UNIT))) (equal (UnitFn ?QUANT) ?UNIT)) |
Merge.kif 6621-6627 |
|