Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitFn

Sigma KEE - UnitFn
UnitFn

appearance as argument number 1
-------------------------


(documentation UnitFn ChineseLanguage " UnitFn 以相关的 UnitOfMeasureRealNumber 大小,只得出一个 PhysicalQuantityUnitOfMeasure。例如: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 は、関連付けられた UnitOfMeasureRealNumber の大きさを持つ PhysicalQuantityUnitOfMeasure だけを返す。 例: 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 UnitFnrange测量单位 的实例

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners