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 6614-6618
(documentation UnitFn JapaneseLanguage "UnitFn は、関連付けられた UnitOfMeasureRealNumber の大きさを持つ PhysicalQuantityUnitOfMeasure だけを返す。 例: ConstantQuantity (MeasureFn 2 Kilometer) の単位は UnitOfMeasure Kilometer であ る。") japanese_format.kif 1165-1168
(domain UnitFn 1 PhysicalQuantity) Merge.kif 6611-6611 The number 1 argument of unit fn is an instance of physical quantity
(instance UnitFn TotalValuedRelation) Merge.kif 6610-6610 Unit fn is an instance of total valued relation
(instance UnitFn UnaryFunction) Merge.kif 6609-6609 Unit fn is an instance of unary function
(range UnitFn UnitOfMeasure) Merge.kif 6612-6612 The range of unit fn is an instance of unit of measure

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 65650-65650

consequent
-------------------------


(=>
    (and
        (instance ?QUANT PhysicalQuantity)
        (instance ?UNIT UnitOfMeasure)
        (equal ?QUANT
            (MeasureFn ?NUMBER ?UNIT)))
    (equal
        (UnitFn ?QUANT) ?UNIT))
Merge.kif 6620-6626


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