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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfMeasure
UnitOfMeasure(unit of measure)B, 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, United_States_Customary_System, United_States_liquid_unit, Wb, abamp, abampere, abcoulomb, abfarad, abhenry, abohm, absorbance, abvolt, abwatt, advantage, agate_line, allocation_unit, ampere, ampere-hour, ampere-minute, ampere-turn...

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


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

 Merge.kif 6340-6342
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 6334-6339
s__partition__3(s__UnitOfMeasure,s__CompositeUnitOfMeasure,s__NonCompositeUnitOfMeasure)

 Merge.kif 6362-6362 Unit of measure is exhaustively partitioned into CompositeUnitOfMeasure and NonCompositeUnitOfMeasure
s__instance(s__PhysicalQuantity,s__SetOrClass)

s__instance(s__UnitOfMeasure,s__SetOrClass)

s__subclass(s__UnitOfMeasure,s__PhysicalQuantity)

 Merge.kif 6333-6333 Unit of measure is a subclass of physical quantity

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


s__instance(s__Rad,s__UnitOfMeasure)

s__instance(s__UnitOfMeasure,s__SetOrClass)

 MilitaryProcesses.kif 842-842 Rad is an instance of unit of measure
s__instance(s__RevolutionsPerMinute,s__UnitOfMeasure)

s__instance(s__UnitOfMeasure,s__SetOrClass)

 Cars.kif 2079-2079 Revolutions per minute is an instance of unit of measure
s__range(s__GigaFn__m,s__UnitOfMeasure)

 Merge.kif 6661-6661 The range of giga is an instance of unit of measure
s__range(s__KiloFn__m,s__UnitOfMeasure)

 Merge.kif 6629-6629 The range of kilo is an instance of unit of measure
s__range(s__MegaFn__m,s__UnitOfMeasure)

 Merge.kif 6645-6645 The range of mega is an instance of unit of measure
s__range(s__MicroFn__m,s__UnitOfMeasure)

 Merge.kif 6709-6709 The range of micro is an instance of unit of measure
s__range(s__MilliFn__m,s__UnitOfMeasure)

 Merge.kif 6693-6693 The range of milli is an instance of unit of measure
s__range(s__NanoFn__m,s__UnitOfMeasure)

 Merge.kif 6725-6725 The range of nano is an instance of unit of measure
s__range(s__PicoFn__m,s__UnitOfMeasure)

 Merge.kif 6742-6742 The range of pico is an instance of unit of measure
s__range(s__SquareUnitFn__m,s__UnitOfMeasure)

 Geography.kif 3741-3741 The range of square unit is an instance of unit of measure
s__range(s__TeraFn__m,s__UnitOfMeasure)

 Merge.kif 6677-6677 The range of tera is an instance of unit of measure
s__range(s__UnitFn__m,s__UnitOfMeasure)

 Merge.kif 6814-6814 The range of UnitFn is an instance of unit of measure
s__subclass(s__CompositeUnitOfMeasure,s__UnitOfMeasure)

s__instance(s__UnitOfMeasure,s__SetOrClass)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

 Merge.kif 6344-6344 CompositeUnitOfMeasure is a subclass of unit of measure
s__subclass(s__NonCompositeUnitOfMeasure,s__UnitOfMeasure)

s__instance(s__NonCompositeUnitOfMeasure,s__SetOrClass)

s__instance(s__UnitOfMeasure,s__SetOrClass)

 Merge.kif 6353-6353 NonCompositeUnitOfMeasure is a subclass of unit of measure
s__subclass(s__SystemeInternationalUnit,s__UnitOfMeasure)

s__instance(s__UnitOfMeasure,s__SetOrClass)

s__instance(s__SystemeInternationalUnit,s__SetOrClass)

 Merge.kif 6377-6377 Systeme international unit is a subclass of unit of measure
s__termFormat(s__ChineseLanguage,s__UnitOfMeasure,'测量单位')

 chinese_format.kif 1301-1301 "测量单位" is the printable form of unit of measure in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__UnitOfMeasure,'unit of measure')

 english_format.kif 1984-1984 "unit of measure" is the printable form of unit of measure in english language
s__termFormat(s__JapaneseLanguage,s__UnitOfMeasure,'測定単位')

 english_format.kif 1985-1985 "測定単位" is the printable form of unit of measure in japanese language

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


s__domain(s__GigaFn__m,1,s__UnitOfMeasure)

 Merge.kif 6660-6660 The number 1 argument of giga is an instance of unit of measure
s__domain(s__KiloFn__m,1,s__UnitOfMeasure)

 Merge.kif 6628-6628 The number 1 argument of kilo is an instance of unit of measure
s__domain(s__MeasureFn__m,2,s__UnitOfMeasure)

 Merge.kif 6504-6504 The number 2 argument of measure is an instance of unit of measure
s__domain(s__MegaFn__m,1,s__UnitOfMeasure)

 Merge.kif 6644-6644 The number 1 argument of mega is an instance of unit of measure
s__domain(s__MicroFn__m,1,s__UnitOfMeasure)

 Merge.kif 6708-6708 The number 1 argument of micro is an instance of unit of measure
s__domain(s__MilliFn__m,1,s__UnitOfMeasure)

 Merge.kif 6692-6692 The number 1 argument of milli is an instance of unit of measure
s__domain(s__NanoFn__m,1,s__UnitOfMeasure)

 Merge.kif 6724-6724 The number 1 argument of nano is an instance of unit of measure
s__domain(s__PicoFn__m,1,s__UnitOfMeasure)

 Merge.kif 6741-6741 The number 1 argument of pico is an instance of unit of measure
s__domain(s__SquareUnitFn__m,1,s__UnitOfMeasure)

 Geography.kif 3740-3740 The number 1 argument of square unit is an instance of unit of measure
s__domain(s__TeraFn__m,1,s__UnitOfMeasure)

 Merge.kif 6676-6676 The number 1 argument of tera is an instance of unit of measure
s__domain(s__componentDataID__m,4,s__UnitOfMeasure)

 QoSontology.kif 888-888 The number 4 argument of component dataI d is an instance of unit of measure
s__domain(s__graphMeasure__m,2,s__UnitOfMeasure)

 Merge.kif 6288-6288 The number 2 argument of graphMeasure is an instance of unit of measure
s__domain(s__unitMeasuringPerformance__m,2,s__UnitOfMeasure)

 QoSontology.kif 828-828 The number 2 argument of unit measuring performance is an instance of unit of measure

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


( ! [V__AMOUNT,V__UNIT] :
   (s__instance(V__AMOUNT,s__PhysicalQuantity)s__=>((s__instance(V__UNIT,s__UnitOfMeasure)s__and__m(V__AMOUNTs__equal__ms__MeasureFn(1,s__SquareUnitFn(V__UNIT))))
s__<=>
(V__AMOUNTs__equal__ms__MultiplicationFn(s__MeasureFn(1,V__UNIT)
,s__MeasureFn(1,V__UNIT)))))
)

 Geography.kif 3748-3752 An unit of measure is an instance of unit of measure and a physical quantity is equal to 1 the square unit of the unit of measure(s) if and only if the physical quantity is equal to 1 the unit of measure(s) and 1 the unit of measure(s)
( ! [V__GIGAUNIT,V__UNIT] :
   (s__instance(V__GIGAUNIT,s__UnitOfMeasure)s__=>((s__instance(V__UNIT,s__UnitOfMeasure)s__and__m(V__GIGAUNITs__equal__ms__GigaFn(V__UNIT)))
  s__=>(s__MeasureFn(1,V__GIGAUNIT)
  s__equal__ms__MeasureFn(1000000,s__KiloFn(V__UNIT)))))
)

 Merge.kif 6669-6673
( ! [V__KILOUNIT,V__UNIT] :
   (s__instance(V__KILOUNIT,s__UnitOfMeasure)s__=>((s__instance(V__UNIT,s__UnitOfMeasure)s__and__m(V__KILOUNITs__equal__ms__KiloFn(V__UNIT)))
  s__=>(s__MeasureFn(1,V__KILOUNIT)
  s__equal__ms__MeasureFn(1000,V__UNIT))))
)

 Merge.kif 6637-6641
( ! [V__MEGAUNIT,V__UNIT] :
   (s__instance(V__MEGAUNIT,s__UnitOfMeasure)s__=>((s__instance(V__UNIT,s__UnitOfMeasure)s__and__m(V__MEGAUNITs__equal__ms__MegaFn(V__UNIT)))
  s__=>(s__MeasureFn(1,V__MEGAUNIT)
  s__equal__ms__MeasureFn(1000000,V__UNIT))))
)

 Merge.kif 6653-6657
( ! [V__MICROUNIT,V__UNIT] :
   (s__instance(V__MICROUNIT,s__UnitOfMeasure)s__=>((s__instance(V__UNIT,s__UnitOfMeasure)s__and__m(V__MICROUNITs__equal__ms__MicroFn(V__UNIT)))
  s__=>(s__MeasureFn(1,V__MICROUNIT)
  s__equal__ms__MeasureFn(0.000001,V__UNIT))))
)

 Merge.kif 6717-6721
( ! [V__MILLIUNIT,V__UNIT] :
   (s__instance(V__MILLIUNIT,s__UnitOfMeasure)s__=>((s__instance(V__UNIT,s__UnitOfMeasure)s__and__m(V__MILLIUNITs__equal__ms__MilliFn(V__UNIT)))
  s__=>(s__MeasureFn(1,V__MILLIUNIT)
  s__equal__ms__MeasureFn(0.001,V__UNIT))))
)

 Merge.kif 6701-6705
( ! [V__NANOUNIT,V__UNIT] :
   (s__instance(V__NANOUNIT,s__UnitOfMeasure)s__=>((s__instance(V__UNIT,s__UnitOfMeasure)s__and__m(V__NANOUNITs__equal__ms__NanoFn(V__UNIT)))
  s__=>(s__MeasureFn(1,V__NANOUNIT)
  s__equal__ms__MeasureFn(0.000000001,V__UNIT))))
)

 Merge.kif 6734-6738
( ! [V__PICOUNIT,V__UNIT] :
   (s__instance(V__PICOUNIT,s__UnitOfMeasure)s__=>((s__instance(V__UNIT,s__UnitOfMeasure)s__and__m(V__PICOUNITs__equal__ms__PicoFn(V__UNIT)))
  s__=>(s__MeasureFn(1,V__PICOUNIT)
  s__equal__ms__MeasureFn(0.000000000001,V__UNIT))))
)

 Merge.kif 6751-6755
( ! [V__QUANT,V__NUMBER,V__UNIT] :
   ((s__instance(V__QUANT,s__PhysicalQuantity)s__and__ms__instance(V__NUMBER,s__RealNumber))
    s__=>((s__instance(V__UNIT,s__UnitOfMeasure)s__and__m(V__QUANTs__equal__ms__MeasureFn(V__NUMBER,V__UNIT)))
  s__=>(s__MagnitudeFn(V__QUANT)
  s__equal__mV__NUMBER)))
)

 Merge.kif 6805-6809
( ! [V__QUANT,V__NUMBER,V__UNIT] :
   ((s__instance(V__QUANT,s__PhysicalQuantity)s__and__ms__instance(V__NUMBER,s__RealNumber))
    s__=>((s__instance(V__UNIT,s__UnitOfMeasure)s__and__m(V__QUANTs__equal__ms__MeasureFn(V__NUMBER,V__UNIT)))
  s__=>(s__UnitFn(V__QUANT)
  s__equal__mV__UNIT)))
)

 Merge.kif 6826-6830
( ! [V__TERAUNIT,V__UNIT] :
   (s__instance(V__TERAUNIT,s__UnitOfMeasure)s__=>((s__instance(V__UNIT,s__UnitOfMeasure)s__and__m(V__TERAUNITs__equal__ms__TeraFn(V__UNIT)))
  s__=>(s__MeasureFn(1,V__TERAUNIT)
  s__equal__ms__MeasureFn(1000000000,s__KiloFn(V__UNIT)))))
)

 Merge.kif 6685-6689
( ! [V__REGION,V__OBJ,V__FAR,V__LIMIT,V__ZONE,V__UNIT] :
   ((s__instance(V__REGION,s__Region)s__and__ms__instance(V__OBJ,s__Object)s__and__ms__instance(V__FAR,s__RealNumber)s__and__ms__instance(V__LIMIT,s__RealNumber))
    s__=>((s__orientation(V__OBJ,V__REGION,s__Outside)s__and__ms__instance(V__ZONE,s__PerimeterAreaFn(V__REGION))
    s__and__ms__instance(V__ZONE,s__UniformPerimeterArea)s__and__ms__width(V__ZONE,s__MeasureFn(V__LIMIT,V__UNIT))
s__and__ms__distance(V__OBJ,V__REGION,s__MeasureFn(V__FAR,V__UNIT))
s__and__ms__instance(V__UNIT,s__UnitOfMeasure)s__and__ms__greaterThan(s__SubtractionFn(V__FAR,V__LIMIT)
,0))
s__=>(s__not__ms__located(V__OBJ,V__ZONE))))
)

 Geography.kif 849-858
( ! [V__REGION,V__OBJ,V__FAR,V__LIMIT,V__ZONE,V__UNIT] :
   ((s__instance(V__REGION,s__Region)s__and__ms__instance(V__OBJ,s__Object)s__and__ms__instance(V__FAR,s__RealNumber)s__and__ms__instance(V__LIMIT,s__RealNumber))
    s__=>((s__orientation(V__OBJ,V__REGION,s__Outside)s__and__ms__instance(V__ZONE,s__PerimeterAreaFn(V__REGION))
    s__and__ms__instance(V__ZONE,s__UniformPerimeterArea)s__and__ms__width(V__ZONE,s__MeasureFn(V__LIMIT,V__UNIT))
s__and__ms__distance(V__OBJ,V__REGION,s__MeasureFn(V__FAR,V__UNIT))
s__and__ms__instance(V__UNIT,s__UnitOfMeasure)s__and__ms__lessThanOrEqualTo(s__SubtractionFn(V__FAR,V__LIMIT)
,0))
s__=>s__located(V__OBJ,V__ZONE)))
)

 Geography.kif 838-847

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


( ! [V__NUMBER1,V__NUMBER2] :
   ((s__instance(s__greaterThanOrEqualTo__m,s__RelationExtendedToQuantities)s__and__ms__instance(s__greaterThanOrEqualTo__m,s__BinaryPredicate)s__and__ms__instance(V__NUMBER1,s__RealNumber)s__and__ms__instance(V__NUMBER2,s__RealNumber)s__and__ms__greaterThanOrEqualTo(V__NUMBER1,V__NUMBER2))
  s__=>(s__forall__m[V__UNIT] :
     (s__instance(V__UNIT,s__UnitOfMeasure)s__=>s__greaterThanOrEqualTo(s__MeasureFn(V__NUMBER1,V__UNIT)
    ,s__MeasureFn(V__NUMBER2,V__UNIT)))))
)

( ! [V__NUMBER1,V__NUMBER2] :
   ((s__instance(s__greaterThan__m,s__RelationExtendedToQuantities)s__and__ms__instance(s__greaterThan__m,s__BinaryPredicate)s__and__ms__instance(V__NUMBER1,s__RealNumber)s__and__ms__instance(V__NUMBER2,s__RealNumber)s__and__ms__greaterThan(V__NUMBER1,V__NUMBER2))
  s__=>(s__forall__m[V__UNIT] :
     (s__instance(V__UNIT,s__UnitOfMeasure)s__=>s__greaterThan(s__MeasureFn(V__NUMBER1,V__UNIT)
    ,s__MeasureFn(V__NUMBER2,V__UNIT)))))
)

( ! [V__NUMBER1,V__NUMBER2] :
   ((s__instance(s__lessThan__m,s__RelationExtendedToQuantities)s__and__ms__instance(s__lessThan__m,s__BinaryPredicate)s__and__ms__instance(V__NUMBER1,s__RealNumber)s__and__ms__instance(V__NUMBER2,s__RealNumber)s__and__ms__lessThan(V__NUMBER1,V__NUMBER2))
  s__=>(s__forall__m[V__UNIT] :
     (s__instance(V__UNIT,s__UnitOfMeasure)s__=>s__lessThan(s__MeasureFn(V__NUMBER1,V__UNIT)
    ,s__MeasureFn(V__NUMBER2,V__UNIT)))))
)

( ! [V__NUMBER1,V__NUMBER2] :
   ((s__instance(s__lessThanOrEqualTo__m,s__RelationExtendedToQuantities)s__and__ms__instance(s__lessThanOrEqualTo__m,s__BinaryPredicate)s__and__ms__instance(V__NUMBER1,s__RealNumber)s__and__ms__instance(V__NUMBER2,s__RealNumber)s__and__ms__lessThanOrEqualTo(V__NUMBER1,V__NUMBER2))
  s__=>(s__forall__m[V__UNIT] :
     (s__instance(V__UNIT,s__UnitOfMeasure)s__=>s__lessThanOrEqualTo(s__MeasureFn(V__NUMBER1,V__UNIT)
    ,s__MeasureFn(V__NUMBER2,V__UNIT)))))
)

 Merge.kif 6585-6595
( ! [V__TOKEN,V__X] :
   (s__instance(V__TOKEN,s__SymbolicString)s__=>(s__codeMapping(s__ISO_4217_A,V__TOKEN,V__X)
    s__=>(s__instance(V__X,s__UnitOfMeasure)s__and__ms__stringLength(3,V__TOKEN)
    s__and__ms__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