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 6624-6628
(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 6621-6621	The number 1 argument of unit fn is an instance of physical quantity
(instance UnitFn TotalValuedRelation)	Merge.kif 6620-6620	Unit fn is an instance of total valued relation
(instance UnitFn UnaryFunction)	Merge.kif 6619-6619	Unit fn is an instance of unary function
(range UnitFn UnitOfMeasure)	Merge.kif 6622-6622	The range of unit fn is an instance of unit of measure

appearance as argument number 2

(format ChineseLanguage UnitFn "%1 的 unit ")	domainEnglishFormat.kif 4876-4876
(format ChineseTraditionalLanguage UnitFn "%1 的 unit ")	domainEnglishFormat.kif 4875-4875
(format EnglishLanguage UnitFn "the unit of %1")	domainEnglishFormat.kif 4874-4874
(termFormat EnglishLanguage UnitFn "unit fn")	domainEnglishFormat.kif 65673-65673

consequent

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

Merge.kif 6630-6636