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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfMeasure

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,'"这是某些量䋞的量度标准。例如:MeterInch 是长度的 UnitOfMeasureUnitOfMeasure 没有令它原始和基本的固有性质, 反而一个单位制(例如: 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 5972-5977
s__partition__3(s__UnitOfMeasure,s__CompositeUnitOfMeasure,s__NonCompositeUnitOfMeasure)

Merge.kif 5995-5995 Unit of measure is exhaustively partitioned into CompositeUnitOfMeasure and NonCompositeUnitOfMeasure
s__instance(s__UnitOfMeasure,s__Class)

s__instance(s__PhysicalQuantity,s__Class)

s__subclass(s__UnitOfMeasure,s__PhysicalQuantity)

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

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


s__instance(s__UnitOfMeasure,s__Class)

s__instance(s__Rad,s__UnitOfMeasure)

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

s__instance(s__RevolutionsPerMinute,s__UnitOfMeasure)

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

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

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

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

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

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

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

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

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

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

Merge.kif 6404-6404 The range of UnitFn is an instance of unit of measure
s__instance(s__UnitOfMeasure,s__Class)

s__subclass(s__AcidityMeasure,s__UnitOfMeasure)

s__instance(s__AcidityMeasure,s__Class)

Mid-level-ontology.kif 9241-9241 AcidityMeasure is a subclass of unit of measure
s__instance(s__UnitOfMeasure,s__Class)

s__subclass(s__CompositeUnitOfMeasure,s__UnitOfMeasure)

s__instance(s__CompositeUnitOfMeasure,s__Class)

Merge.kif 5979-5979 CompositeUnitOfMeasure is a subclass of unit of measure
s__instance(s__UnitOfMeasure,s__Class)

s__subclass(s__NonCompositeUnitOfMeasure,s__UnitOfMeasure)

s__instance(s__NonCompositeUnitOfMeasure,s__Class)

Merge.kif 5987-5987 NonCompositeUnitOfMeasure is a subclass of unit of measure
s__instance(s__UnitOfMeasure,s__Class)

s__subclass(s__SoundPressureLevelUnit,s__UnitOfMeasure)

s__instance(s__SoundPressureLevelUnit,s__Class)

Merge.kif 7235-7235 Sound pressure level unit is a subclass of unit of measure
s__instance(s__UnitOfMeasure,s__Class)

s__subclass(s__SystemeInternationalUnit,s__UnitOfMeasure)

s__instance(s__SystemeInternationalUnit,s__Class)

Merge.kif 6009-6009 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 1824-1824

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


s__domain(s__GigaFn__m,n__1,s__UnitOfMeasure)

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

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

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

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

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

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

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

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

Geography.kif 3796-3796 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 6282-6282 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 5923-5923 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__Number) &
         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 3804-3808 An unit of measure is an instance of unit of measure and a number is equal to 1 the square unit of the unit of measure(s) if and only if the number is equal to 1 the unit of measure(s) and 1 the unit of measure(s)
( ! [V__FOOD1,V__FOOD2,V__MEAS1,V__U,V__MEAS2,V__CLASS] :
   (((s__instance(V__FOOD1,s__Object) &
         s__instance(V__FOOD2,s__Object) &
         s__instance(V__MEAS1,s__RealNumber) &
         s__instance(V__MEAS2,s__RealNumber) &
         s__instance(V__CLASS,s__Class))
       =>
       (((s__attribute(V__FOOD1,s__FamilyStylePortion) &
             s__measure(V__FOOD1,s__MeasureFn(V__MEAS1,V__U))
         &
         ~(s__attribute(V__FOOD2,s__FamilyStylePortion))
         &
         s__measure(V__FOOD2,s__MeasureFn(V__MEAS2,V__U))
     &
     s__instance(V__FOOD1,V__CLASS)
   &
   s__instance(V__FOOD2,V__CLASS)
&
s__instance(V__U,s__UnitOfMeasure))
=>
(s__greaterThan(V__MEAS1,V__MEAS2)))))
)
)

Dining.kif 1118-1129
No TPTP formula. May not be expressible in strict first order. Cars.kif 1314-1348
No TPTP formula. May not be expressible in strict first order. Weather.kif 2358-2377
( ! [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 6275-6279
( ! [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 6247-6251
( ! [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 6261-6265
( ! [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 6317-6321
( ! [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 6303-6307
( ! [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 6332-6336
( ! [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 6347-6351
( ! [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 6395-6399
( ! [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 6412-6416
( ! [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 6289-6293
No TPTP formula. May not be expressible in strict first order. Weather.kif 349-366
( ! [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
( ! [V__ATTR,V__U,V__MAX,V__MIN] :
   (((s__instance(V__ATTR,s__SpeedScaleAttribute) &
         s__instance(V__MAX,s__RealNumber) &
         s__instance(V__MIN,s__RealNumber))
       =>
       (((s__speedScaleAttributeMinMax(V__ATTR,s__MeasureFn(V__MIN,V__U)
          ,s__MeasureFn(V__MAX,V__U))
       &
       s__instance(V__U,s__UnitOfMeasure))
     =>
     (( ? [V__X, V__SPEED] :
         ((s__instance(V__SPEED,s__RealNumber) &
             (s__instance(V__X,s__Motion) &
               s__property(V__X,V__ATTR)
             &
             s__measure(V__X,s__MeasureFn(V__SPEED,V__U))
         &
         s__greaterThanOrEqualTo(V__SPEED,V__MIN)
       &
       s__lessThanOrEqualTo(V__SPEED,V__MAX)))))))))
)
)

Weather.kif 2123-2136
( ! [V__A,V__Time,V__B,V__U,V__Distance,V__Observe,V__Area] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__Distance,s__RealNumber) &
         s__instance(V__Area,s__Region))
       =>
       (((s__visibilityInMeteorology(V__Area,V__Time,s__MeasureFn(V__Distance,V__U))
         &
         s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__Time,s__DayTime) &
         s__instance(V__Observe,s__Looking) &
         s__instance(V__B,s__Object) &
         s__color(V__B,s__Black) &
         s__agent(V__Observe,V__A)
       &
       s__patient(V__Observe,V__B)
     &
     s__orientation(V__A,V__B,s__Horizontal) &
     s__eventLocated(V__Observe,V__Area)
   &
   s__during(s__WhenFn(V__Observe)
,V__Time)
&
s__instance(V__B,s__Object))
=>
(( ? [V__D2] :
((s__instance(V__D2,s__RealNumber) &
     (s__distance(V__A,V__B,s__MeasureFn(V__D2,V__U))
   &
   s__greaterThan(V__Distance,V__D2)))))))))
)
)

Weather.kif 2721-2741
( ! [V__A,V__Time,V__B,V__U,V__Distance,V__Observe,V__Area] :
   (((s__instance(V__A,s__Agent) &
         s__instance(V__Distance,s__RealNumber) &
         s__instance(V__Area,s__Region))
       =>
       (((s__visibilityInMeteorology(V__Area,V__Time,s__MeasureFn(V__Distance,V__U))
         &
         s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__Time,s__NightTime) &
         s__instance(V__Observe,s__Looking) &
         s__instance(V__B,s__Region) &
         s__attribute(V__B,s__Illuminated) &
         s__measure(V__B,s__MeasureFn(n__1000,s__Candela))
       &
       s__agent(V__Observe,V__A)
     &
     s__patient(V__Observe,V__B)
   &
   s__orientation(V__A,V__B,s__Horizontal) &
   s__eventLocated(V__Observe,V__Area)
&
s__during(s__WhenFn(V__Observe)
,V__Time)
&
s__instance(V__B,s__Object))
=>
(( ? [V__D2] :
((s__instance(V__D2,s__RealNumber) &
   (s__distance(V__A,V__B,s__MeasureFn(V__D2,V__U))
&
s__greaterThan(V__Distance,V__D2)))))))))
)
)

Weather.kif 2743-2764
( ! [V__Time,V__U,V__Distance,V__Area] :
   (((s__instance(V__Time,s__TimeInterval) &
         s__instance(V__Distance,s__RealNumber) &
         s__instance(V__Area,s__Region))
       =>
       (((s__visibilityInMeteorology(V__Area,V__Time,s__MeasureFn(V__Distance,V__U))
         &
         s__instance(V__U,s__UnitOfMeasure))
       =>
       (~(( ? [V__Observe, V__A, V__B, V__D2] :
             ((s__instance(V__A,s__Agent) &
                 s__instance(V__B,s__Object) &
                 s__instance(V__D2,s__RealNumber) &
                 (s__instance(V__Observe,s__Looking) &
                   s__agent(V__Observe,V__A)
                 &
                 s__patient(V__Observe,V__B)
               &
               s__orientation(V__A,V__B,s__Horizontal) &
               s__during(s__WhenFn(V__Observe)
            ,V__Time)
           &
           s__eventLocated(V__Observe,V__Area)
         &
         s__distance(V__A,V__B,s__MeasureFn(V__D2,V__U))
     &
     s__greaterThan(V__D2,V__Distance))))))))))
)
)

Weather.kif 2702-2719

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


( ! [V__NORMAL,V__BIG,V__CLASS] :
   (((s__instance(V__NORMAL,s__Physical) &
         s__instance(V__BIG,s__Object))
       =>
       (((s__immediateInstance(V__BIG,V__CLASS)
           &
           s__immediateInstance(V__NORMAL,V__CLASS)
         &
         s__attribute(V__BIG,s__Oversized))
       =>
       (( ? [V__BIGSIZE, V__NORMALSIZE, V__U] :
           ((s__instance(V__BIGSIZE,s__RealNumber) &
               s__instance(V__NORMALSIZE,s__RealNumber) &
               (s__instance(V__U,s__UnitOfMeasure) &
                 s__measure(V__BIG,s__MeasureFn(V__BIGSIZE,V__U))
             &
             s__measure(V__NORMAL,s__MeasureFn(V__NORMALSIZE,V__U))
         &
         s__greaterThan(V__BIGSIZE,V__NORMALSIZE)))))))))
)
)

Hotel.kif 1150-1162
( ! [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 6199-6209
( ! [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 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