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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfMeasure
UnitOfMeasureB, Bel, British_Imperial_System, British_capacity_unit, British_system, Calorie, Ci, English_system, Erlang, G, GB, Gb, Gbit, Gi, GiB, Imperial_capacity_unit, L, Mercalli_scale, Mohs_scale, Mx, R, REM, Reaumur_scale, Richter_scale, STP, TB, TDT, TT, Tb, Tbit, TiB, Unidade_de_Medida, United_States_Customary_System, United_States_liquid_unit, Unit�DiMisura, Wb, abamp, abampere, abcoulomb, abfarad, abhenry, abohm, absorbance, abvolt, abwatt, advantage, agate_line, allocation_unit, ampere, ampere-hour...

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


s__documentation(s__UnitOfMeasure,s__ChineseLanguage,'这是某些量䋞的量度标准。例如：Meter 和 Inch 是长度的 UnitOfMeasure。UnitOfMeasure 没有令它原始和基本的固有性质, 反而一个单位制(例如： SystemeInternationalUnit)可决定一组的正交维度，并给每一个维度分配单位。')

 Merge.kif 6327-6329
s__documentation(s__UnitOfMeasure,s__EnglishLanguage,'A standard of measurement for some dimension. For example, the Meter is a UnitOfMeasure for the dimension of length, as is the Inch. There is no intrinsic property of a UnitOfMeasure that makes it primitive or fundamental, rather, a system of units (e.g. SystemeInternationalUnit) defines a set of orthogonal dimensions and assigns units for each.')

 Merge.kif 6321-6326
s__partition_3(s__UnitOfMeasure,s__CompositeUnitOfMeasure,s__NonCompositeUnitOfMeasure)

 Merge.kif 6349-6349
s__instance(s__UnitOfMeasure,s__SetOrClass)

 Merge.kif 6320-6320

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


s__instance(s__UnitOfMeasure,s__SetOrClass)

 MilitaryProcesses.kif 842-842
s__instance(s__UnitOfMeasure,s__SetOrClass)

 Cars.kif 2079-2079
s__range(s__GigaFn__m,s__UnitOfMeasure)

 Merge.kif 6648-6648
s__range(s__KiloFn__m,s__UnitOfMeasure)

 Merge.kif 6616-6616
s__range(s__MegaFn__m,s__UnitOfMeasure)

 Merge.kif 6632-6632
s__range(s__MicroFn__m,s__UnitOfMeasure)

 Merge.kif 6696-6696
s__range(s__MilliFn__m,s__UnitOfMeasure)

 Merge.kif 6680-6680
s__range(s__NanoFn__m,s__UnitOfMeasure)

 Merge.kif 6712-6712
s__range(s__PicoFn__m,s__UnitOfMeasure)

 Merge.kif 6729-6729
s__range(s__SquareUnitFn__m,s__UnitOfMeasure)

 Geography.kif 3741-3741
s__range(s__TeraFn__m,s__UnitOfMeasure)

 Merge.kif 6664-6664
s__range(s__UnitFn__m,s__UnitOfMeasure)

 Merge.kif 6801-6801
s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

 Merge.kif 6331-6331
s__instance(s__UnitOfMeasure,s__SetOrClass)

 Merge.kif 6340-6340
s__instance(s__UnitOfMeasure,s__SetOrClass)

 Merge.kif 6364-6364
s__termFormat(s__ChineseLanguage,s__UnitOfMeasure,'测量单位')

 chinese_format.kif 1301-1301
s__termFormat(s__EnglishLanguage,s__UnitOfMeasure,'unit of measure')

 english_format.kif 988-988
s__termFormat(s__FrenchLanguage,s__UnitOfMeasure,'unit� de mesure')

 french_format.kif 979-979
s__termFormat(s__Hindi,s__UnitOfMeasure,'maapaka ikaaI')

 terms-hindi.txt 514-514
s__termFormat(s__ItalianLanguage,s__UnitOfMeasure,'Unit�DiMisura')

 terms-it.txt 516-516
s__termFormat(s__PortugueseLanguage,s__UnitOfMeasure,'Unidade de Medida')

 portuguese_format.kif 931-931
s__termFormat(s__cb__m,s__UnitOfMeasure,'usa ka sukod')

 terms-cb.txt 520-520
s__termFormat(s__cz__m,s__UnitOfMeasure,'unit of measure')

 terms-cz.txt 554-554
s__termFormat(s__tg__m,s__UnitOfMeasure,'batayang sukat')

 terms-tg.txt 519-519

appearance as argument number 3
-------------------------


s__domain(s__GigaFn__m,1,s__UnitOfMeasure)

 Merge.kif 6647-6647
s__domain(s__KiloFn__m,1,s__UnitOfMeasure)

 Merge.kif 6615-6615
s__domain(s__MeasureFn__m,2,s__UnitOfMeasure)

 Merge.kif 6491-6491
s__domain(s__MegaFn__m,1,s__UnitOfMeasure)

 Merge.kif 6631-6631
s__domain(s__MicroFn__m,1,s__UnitOfMeasure)

 Merge.kif 6695-6695
s__domain(s__MilliFn__m,1,s__UnitOfMeasure)

 Merge.kif 6679-6679
s__domain(s__NanoFn__m,1,s__UnitOfMeasure)

 Merge.kif 6711-6711
s__domain(s__PicoFn__m,1,s__UnitOfMeasure)

 Merge.kif 6728-6728
s__domain(s__SquareUnitFn__m,1,s__UnitOfMeasure)

 Geography.kif 3740-3740
s__domain(s__TeraFn__m,1,s__UnitOfMeasure)

 Merge.kif 6663-6663
s__domain(s__componentDataID__m,4,s__UnitOfMeasure)

 QoSontology.kif 873-873
s__domain(s__graphMeasure__m,2,s__UnitOfMeasure)

 Merge.kif 6275-6275
s__domain(s__unitMeasuringPerformance__m,2,s__UnitOfMeasure)

 QoSontology.kif 813-813

antecedent
-------------------------


( ! [V__UNIT,V__AMOUNT] :
   ((s__instance(V__UNIT,s__UnitOfMeasure) &
       (V__AMOUNT = s__MeasureFn(1,s__SquareUnitFn(V__UNIT))))
<=>
(V__AMOUNT = s__MultiplicationFn(s__MeasureFn(1,V__UNIT)
,s__MeasureFn(1,V__UNIT))))
)

 Geography.kif 3748-3752
( ! [V__UNIT,V__GIGAUNIT] :
   ((s__instance(V__UNIT,s__UnitOfMeasure) &
       (V__GIGAUNIT = s__GigaFn(V__UNIT)))
   =>
   (s__MeasureFn(1,V__GIGAUNIT)
   = s__MeasureFn(1000000,s__KiloFn(V__UNIT))))
)

 Merge.kif 6656-6660
( ! [V__UNIT,V__KILOUNIT] :
   ((s__instance(V__UNIT,s__UnitOfMeasure) &
       (V__KILOUNIT = s__KiloFn(V__UNIT)))
   =>
   (s__MeasureFn(1,V__KILOUNIT)
   = s__MeasureFn(1000,V__UNIT)))
)

 Merge.kif 6624-6628
( ! [V__UNIT,V__MEGAUNIT] :
   ((s__instance(V__UNIT,s__UnitOfMeasure) &
       (V__MEGAUNIT = s__MegaFn(V__UNIT)))
   =>
   (s__MeasureFn(1,V__MEGAUNIT)
   = s__MeasureFn(1000000,V__UNIT)))
)

 Merge.kif 6640-6644
( ! [V__UNIT,V__MICROUNIT] :
   ((s__instance(V__UNIT,s__UnitOfMeasure) &
       (V__MICROUNIT = s__MicroFn(V__UNIT)))
   =>
   (s__MeasureFn(1,V__MICROUNIT)
   = s__MeasureFn(0.000001,V__UNIT)))
)

 Merge.kif 6704-6708
( ! [V__UNIT,V__MILLIUNIT] :
   ((s__instance(V__UNIT,s__UnitOfMeasure) &
       (V__MILLIUNIT = s__MilliFn(V__UNIT)))
   =>
   (s__MeasureFn(1,V__MILLIUNIT)
   = s__MeasureFn(0.001,V__UNIT)))
)

 Merge.kif 6688-6692
( ! [V__UNIT,V__NANOUNIT] :
   ((s__instance(V__UNIT,s__UnitOfMeasure) &
       (V__NANOUNIT = s__NanoFn(V__UNIT)))
   =>
   (s__MeasureFn(1,V__NANOUNIT)
   = s__MeasureFn(0.000000001,V__UNIT)))
)

 Merge.kif 6721-6725
( ! [V__UNIT,V__PICOUNIT] :
   ((s__instance(V__UNIT,s__UnitOfMeasure) &
       (V__PICOUNIT = s__PicoFn(V__UNIT)))
   =>
   (s__MeasureFn(1,V__PICOUNIT)
   = s__MeasureFn(0.000000000001,V__UNIT)))
)

 Merge.kif 6738-6742
( ! [V__UNIT,V__QUANT,V__NUMBER] :
   ((s__instance(V__UNIT,s__UnitOfMeasure) &
       (V__QUANT = s__MeasureFn(V__NUMBER,V__UNIT)))
   =>
   (s__MagnitudeFn(V__QUANT)
   = V__NUMBER))
)

 Merge.kif 6792-6796
( ! [V__UNIT,V__QUANT,V__NUMBER] :
   ((s__instance(V__UNIT,s__UnitOfMeasure) &
       (V__QUANT = s__MeasureFn(V__NUMBER,V__UNIT)))
   =>
   (s__UnitFn(V__QUANT)
   = V__UNIT))
)

 Merge.kif 6813-6817
( ! [V__UNIT,V__TERAUNIT] :
   ((s__instance(V__UNIT,s__UnitOfMeasure) &
       (V__TERAUNIT = s__TeraFn(V__UNIT)))
   =>
   (s__MeasureFn(1,V__TERAUNIT)
   = s__MeasureFn(1000000000,s__KiloFn(V__UNIT))))
)

 Merge.kif 6672-6676
( ! [V__OBJ,V__REGION,V__ZONE,V__LIMIT,V__UNIT,V__FAR] :
   ((s__orientation(V__OBJ,V__REGION,s__Outside) &
       s__instance(V__ZONE,s__PerimeterAreaFn(V__REGION))
   &
   s__instance(V__ZONE,s__UniformPerimeterArea) &
   s__width(V__ZONE,s__MeasureFn(V__LIMIT,V__UNIT))
&
s__distance(V__OBJ,V__REGION,s__MeasureFn(V__FAR,V__UNIT))
&
s__instance(V__UNIT,s__UnitOfMeasure) &
s__greaterThan(s__SubtractionFn(V__FAR,V__LIMIT)
,0))
=>
(~ s__located(V__OBJ,V__ZONE)))
)

 Geography.kif 849-858
( ! [V__OBJ,V__REGION,V__ZONE,V__LIMIT,V__UNIT,V__FAR] :
   ((s__orientation(V__OBJ,V__REGION,s__Outside) &
       s__instance(V__ZONE,s__PerimeterAreaFn(V__REGION))
   &
   s__instance(V__ZONE,s__UniformPerimeterArea) &
   s__width(V__ZONE,s__MeasureFn(V__LIMIT,V__UNIT))
&
s__distance(V__OBJ,V__REGION,s__MeasureFn(V__FAR,V__UNIT))
&
s__instance(V__UNIT,s__UnitOfMeasure) &
s__lessThanOrEqualTo(s__SubtractionFn(V__FAR,V__LIMIT)
,0))
=>
s__located(V__OBJ,V__ZONE))
)

 Geography.kif 838-847

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


( ! [V__NUMBER1,V__NUMBER2] :
   ((s__instance(s__lessThanOrEqualTo__m,s__RelationExtendedToQuantities) &
       s__instance(s__lessThanOrEqualTo__m,s__BinaryRelation) &
       s__instance(V__NUMBER1,s__RealNumber) &
       s__instance(V__NUMBER2,s__RealNumber) &
       s__lessThanOrEqualTo(V__NUMBER1,V__NUMBER2))
   =>
   (! [V__UNIT] :
     (s__instance(V__UNIT,s__UnitOfMeasure) =>
       s__lessThanOrEqualTo(s__MeasureFn(V__NUMBER1,V__UNIT)
    ,s__MeasureFn(V__NUMBER2,V__UNIT)))))
)

 Merge.kif 6572-6582
( ! [V__TOKEN,V__X] :
   (s__codeMapping(s__ISO_4217_A,V__TOKEN,V__X)
   =>
   (s__instance(V__X,s__UnitOfMeasure) &
     s__stringLength(3,V__TOKEN)
   &
   s__instance(V__TOKEN,s__AlphabeticString)))
)

 Media.kif 2281-2286


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners