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

Formal Language: 

KB Term:  Term intersection
English Word: 


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

Merge.kif 6370-6370 The number 1 argument of UnitFn is an instance of physical quantity


Merge.kif 6369-6369 UnitFn is an instance of total valued relation


Merge.kif 6368-6368 UnitFn is an instance of unary function

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


   (((s__instance(V__QUANT,s__PhysicalQuantity) &
       (((s__instance(V__UNIT,s__UnitOfMeasure) &
             (V__QUANT = s__MeasureFn(V__NUMBER,V__UNIT)))
           = 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