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)可决定一组的正交维度，并给每一个维度分配单位。"')

 chinese_format.kif 2394-2396
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 5895-5900
s__partition__3(s__UnitOfMeasure,s__CompositeUnitOfMeasure,s__NonCompositeUnitOfMeasure)

 Merge.kif 5918-5918 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 5893-5893 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 853-853 Rad is an instance of unit of measure
s__instance(s__RevolutionsPerMinute,s__UnitOfMeasure)

s__instance(s__UnitOfMeasure,s__SetOrClass)

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

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

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

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

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

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

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

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

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

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

 Merge.kif 6327-6327 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 5902-5902 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 5910-5910 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 5932-5932 Systeme international unit is a subclass of unit of measure
s__termFormat(s__ChineseLanguage,s__UnitOfMeasure,'"测量单位"')

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

 english_format.kif 1828-1828

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


s__domain(s__GigaFn__m,n__1,s__UnitOfMeasure)

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

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

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

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

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

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

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

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

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

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

 QoSontology.kif 898-898 The number 4 argument of component data ID is an instance of unit of measure
s__domain(s__graphMeasure__m,n__2,s__UnitOfMeasure)

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

 QoSontology.kif 838-838 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__instance(V__UNIT,s__UnitOfMeasure) &
               (V__AMOUNT = s__MeasureFn(n__1,s__SquareUnitFn(V__UNIT))))
         =>
         (V__AMOUNT = s__MultiplicationFn(s__MeasureFn(n__1,V__UNIT)
        ,s__MeasureFn(n__1,V__UNIT))))
&
((V__AMOUNT = s__MultiplicationFn(s__MeasureFn(n__1,V__UNIT)
  ,s__MeasureFn(n__1,V__UNIT)))
=>
(s__instance(V__UNIT,s__UnitOfMeasure) &
(V__AMOUNT = s__MeasureFn(n__1,s__SquareUnitFn(V__UNIT))))))))
)
)

 Geography.kif 3761-3765 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__instance(V__UNIT,s__UnitOfMeasure) &
             (V__GIGAUNIT = s__GigaFn(V__UNIT)))
         =>
         ((s__MeasureFn(n__1,V__GIGAUNIT)
           = s__MeasureFn(n__1000000,s__KiloFn(V__UNIT)))))))
)
)

 Merge.kif 6198-6202
( ! [V__KILOUNIT,V__UNIT] :
   ((s__instance(V__KILOUNIT,s__UnitOfMeasure) =>
       (((s__instance(V__UNIT,s__UnitOfMeasure) &
             (V__KILOUNIT = s__KiloFn(V__UNIT)))
         =>
         ((s__MeasureFn(n__1,V__KILOUNIT)
           = s__MeasureFn(n__1000,V__UNIT))))))
)
)

 Merge.kif 6170-6174
( ! [V__MEGAUNIT,V__UNIT] :
   ((s__instance(V__MEGAUNIT,s__UnitOfMeasure) =>
       (((s__instance(V__UNIT,s__UnitOfMeasure) &
             (V__MEGAUNIT = s__MegaFn(V__UNIT)))
         =>
         ((s__MeasureFn(n__1,V__MEGAUNIT)
           = s__MeasureFn(n__1000000,V__UNIT))))))
)
)

 Merge.kif 6184-6188
( ! [V__MICROUNIT,V__UNIT] :
   ((s__instance(V__MICROUNIT,s__UnitOfMeasure) =>
       (((s__instance(V__UNIT,s__UnitOfMeasure) &
             (V__MICROUNIT = s__MicroFn(V__UNIT)))
         =>
         ((s__MeasureFn(n__1,V__MICROUNIT)
           = s__MeasureFn(n__0_000001,V__UNIT))))))
)
)

 Merge.kif 6240-6244
( ! [V__MILLIUNIT,V__UNIT] :
   ((s__instance(V__MILLIUNIT,s__UnitOfMeasure) =>
       (((s__instance(V__UNIT,s__UnitOfMeasure) &
             (V__MILLIUNIT = s__MilliFn(V__UNIT)))
         =>
         ((s__MeasureFn(n__1,V__MILLIUNIT)
           = s__MeasureFn(n__0_001,V__UNIT))))))
)
)

 Merge.kif 6226-6230
( ! [V__NANOUNIT,V__UNIT] :
   ((s__instance(V__NANOUNIT,s__UnitOfMeasure) =>
       (((s__instance(V__UNIT,s__UnitOfMeasure) &
             (V__NANOUNIT = s__NanoFn(V__UNIT)))
         =>
         ((s__MeasureFn(n__1,V__NANOUNIT)
           = s__MeasureFn(n__0_000000001,V__UNIT))))))
)
)

 Merge.kif 6255-6259
( ! [V__PICOUNIT,V__UNIT] :
   ((s__instance(V__PICOUNIT,s__UnitOfMeasure) =>
       (((s__instance(V__UNIT,s__UnitOfMeasure) &
             (V__PICOUNIT = s__PicoFn(V__UNIT)))
         =>
         ((s__MeasureFn(n__1,V__PICOUNIT)
           = s__MeasureFn(n__0_000000000001,V__UNIT))))))
)
)

 Merge.kif 6270-6274
( ! [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__MagnitudeFn(V__QUANT)
           = V__NUMBER)))))
)
)

 Merge.kif 6318-6322
( ! [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 6335-6339
( ! [V__TERAUNIT,V__UNIT] :
   ((s__instance(V__TERAUNIT,s__UnitOfMeasure) =>
       (((s__instance(V__UNIT,s__UnitOfMeasure) &
             (V__TERAUNIT = s__TeraFn(V__UNIT)))
         =>
         ((s__MeasureFn(n__1,V__TERAUNIT)
           = s__MeasureFn(n__1000000000,s__KiloFn(V__UNIT)))))))
)
)

 Merge.kif 6212-6216
( ! [V__REGION,V__OBJ,V__FAR,V__ZONE,V__UNIT,V__LIMIT] :
   (((s__instance(V__REGION,s__Region) &
         s__instance(V__OBJ,s__Object) &
         s__instance(V__FAR,s__RealNumber) &
         s__instance(V__LIMIT,s__RealNumber))
       =>
       (((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)
,n__0))
=>
(~(s__located(V__OBJ,V__ZONE))))))
)
)

 Geography.kif 862-871
( ! [V__REGION,V__OBJ,V__FAR,V__ZONE,V__UNIT,V__LIMIT] :
   (((s__instance(V__REGION,s__Region) &
         s__instance(V__OBJ,s__Object) &
         s__instance(V__FAR,s__RealNumber) &
         s__instance(V__LIMIT,s__RealNumber))
       =>
       (((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)
,n__0))
=>
(s__located(V__OBJ,V__ZONE)))))
)
)

 Geography.kif 851-860

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


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

( ! [V__NUMBER1,V__NUMBER2] :
   (((s__instance(s__lessThan__m,s__RelationExtendedToQuantities) &
         s__instance(s__lessThan__m,s__BinaryPredicate) &
         s__instance(V__NUMBER1,s__RealNumber) &
         s__instance(V__NUMBER2,s__RealNumber) &
         s__lessThan(V__NUMBER1,V__NUMBER2))
     =>
     (( ! [V__UNIT] :
         ((s__instance(V__UNIT,s__UnitOfMeasure) =>
             (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__instance(s__lessThanOrEqualTo__m,s__BinaryPredicate) &
         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))))))))
)
)

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

 Merge.kif 6122-6132
( ! [V__X,V__TOKEN] :
   ((s__instance(V__TOKEN,s__SymbolicString) =>
       ((s__codeMapping(s__ISO_4217_A,V__TOKEN,V__X)
         =>
         ((s__instance(V__X,s__UnitOfMeasure) &
             s__stringLength(n__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 3.0 is open source software produced by Articulate Software and its partners