UnitFn - Sigma Knowledge base Browser

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 6615-6619
(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 6612-6612	The number 1 argument of unit fn is an instance of physical quantity
(instance UnitFn TotalValuedRelation)	Merge.kif 6611-6611	Unit fn is an instance of total valued relation
(instance UnitFn UnaryFunction)	Merge.kif 6610-6610	Unit fn is an instance of unary function
(range UnitFn UnitOfMeasure)	Merge.kif 6613-6613	The range of unit fn is an instance of unit of measure

appearance as argument number 2

(format ChineseLanguage UnitFn "%1 的 unit ")	domainEnglishFormat.kif 4872-4872
(format ChineseTraditionalLanguage UnitFn "%1 的 unit ")	domainEnglishFormat.kif 4871-4871
(format EnglishLanguage UnitFn "the unit of %1")	domainEnglishFormat.kif 4870-4870
(termFormat EnglishLanguage UnitFn "unit fn")	domainEnglishFormat.kif 65698-65698

consequent

(=>
    (and
        (instance ?QUANT PhysicalQuantity)
        (instance ?UNIT UnitOfMeasure)
        (equal ?QUANT
            (MeasureFn ?NUMBER ?UNIT)))
    (equal
        (UnitFn ?QUANT) ?UNIT))

Merge.kif 6621-6627