TreeView 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	UnitFn 的 1 数量是物理量的 instance
(instance UnitFn TotalValuedRelation)	Merge.kif 6611-6611	UnitFn 是总值关系的 instance
(instance UnitFn UnaryFunction)	Merge.kif 6610-6610	UnitFn 是一元函数的 instance
(range UnitFn UnitOfMeasure)	Merge.kif 6613-6613	UnitFn 的 range 是测量单位的实例

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