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


s__documentation(s__UnitFn__m,s__ChineseLanguage,'" UnitFn 以相关的 UnitOfMeasureRealNumber 大小,只得出一个 PhysicalQuantityUnitOfMeasure。例如:ConstantQuantity (MeasureFn 2 Kilometer)的单位是 UnitOfMeasure Kilometer。"')

chinese_format.kif 2472-2475
s__documentation(s__UnitFn__m,s__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 6373-6377
s__domain(s__UnitFn__m,n__1,s__PhysicalQuantity)

Merge.kif 6370-6370 The number 1 argument of UnitFn is an instance of physical quantity
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__UnitFn__m,s__TotalValuedRelation)

Merge.kif 6369-6369 UnitFn is an instance of total valued relation
s__instance(s__UnaryFunction,s__SetOrClass)

s__instance(s__UnitFn__m,s__UnaryFunction)

Merge.kif 6368-6368 UnitFn is an instance of unary function
s__range(s__UnitFn__m,s__UnitOfMeasure)

Merge.kif 6371-6371 The range of UnitFn is an instance of unit of measure

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__UnitFn__m,'"%1 的 unit "')

domainEnglishFormat.kif 4879-4879
s__format(s__ChineseTraditionalLanguage,s__UnitFn__m,'"%1 的 unit "')

domainEnglishFormat.kif 4878-4878
s__format(s__EnglishLanguage,s__UnitFn__m,'"the unit of %1"')

domainEnglishFormat.kif 4877-4877

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


( ! [V__QUANT,V__NUMBER,V__UNIT] :
   (((s__instance(V__QUANT,s__PhysicalQuantity) &
         s__instance(V__NUMBER,s__RealNumber))
       =>
       (((s__instance(V__UNIT,s__UnitOfMeasure) &
             (V__QUANT = s__MeasureFn(V__NUMBER,V__UNIT)))
         =>
         ((s__UnitFn(V__QUANT)
           = V__UNIT)))))
)
)

Merge.kif 6379-6383


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