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,'"这是某些量䋞的量度标准。例如: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 5939-5944
s__partition__3(s__UnitOfMeasure,s__CompositeUnitOfMeasure,s__NonCompositeUnitOfMeasure)

Merge.kif 5962-5962 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 5937-5937 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 2107-2107 Revolutions per minute is an instance of unit of measure
s__range(s__GigaFn__m,s__UnitOfMeasure)

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

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

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

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

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

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

Merge.kif 6307-6307 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 6250-6250 The range of tera is an instance of unit of measure
s__range(s__UnitFn__m,s__UnitOfMeasure)

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

s__instance(s__UnitOfMeasure,s__SetOrClass)

s__instance(s__AcidityMeasure,s__SetOrClass)

Mid-level-ontology.kif 8917-8917 AcidityMeasure is a subclass of unit of measure
s__subclass(s__CompositeUnitOfMeasure,s__UnitOfMeasure)

s__instance(s__UnitOfMeasure,s__SetOrClass)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 5946-5946 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 5954-5954 NonCompositeUnitOfMeasure is a subclass of unit of measure
s__subclass(s__SoundPressureLevelUnit,s__UnitOfMeasure)

s__instance(s__SoundPressureLevelUnit,s__SetOrClass)

s__instance(s__UnitOfMeasure,s__SetOrClass)

Merge.kif 7202-7202 Sound pressure level unit 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 5976-5976 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 6235-6235 The number 1 argument of giga is an instance of unit of measure
s__domain(s__KiloFn__m,n__1,s__UnitOfMeasure)

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

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

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

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

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

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

Merge.kif 6306-6306 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 6249-6249 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 5890-5890 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 1328-1362
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 6242-6246
( ! [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 6214-6218
( ! [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 6228-6232
( ! [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 6284-6288
( ! [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 6270-6274
( ! [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 6299-6303
( ! [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 6314-6318
( ! [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 6362-6366
( ! [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 6379-6383
( ! [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 6256-6260
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 1137-1149
( ! [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 6166-6176
( ! [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