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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfArea
UnitOfArea

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


s__documentation(s__UnitOfArea,s__ChineseLanguage,'"这个 Class 所有的实例都是可以用 MeasureFn 来 组成 AreaMeasure 实例的 UnitOfMeasure."')

chinese_format.kif 2410-2411
s__documentation(s__UnitOfArea,s__EnglishLanguage,'"Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of AreaMeasure."')

Merge.kif 6013-6015
s__subclass(s__UnitOfArea,s__CompositeUnitOfMeasure)

s__instance(s__UnitOfArea,s__SetOrClass)

s__instance(s__CompositeUnitOfMeasure,s__SetOrClass)

Merge.kif 6011-6011 UnitOfArea is a subclass of CompositeUnitOfMeasure

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


s__instance(s__Acre,s__UnitOfArea)

s__instance(s__UnitOfArea,s__SetOrClass)

Mid-level-ontology.kif 12042-12042 Acre is an instance of UnitOfArea
s__instance(s__SquareKilometer,s__UnitOfArea)

s__instance(s__UnitOfArea,s__SetOrClass)

Geography.kif 620-620 Square kilometer is an instance of UnitOfArea
s__instance(s__SquareMeter,s__UnitOfArea)

s__instance(s__UnitOfArea,s__SetOrClass)

Geography.kif 3788-3788 Square meter is an instance of UnitOfArea
s__instance(s__SquareMile,s__UnitOfArea)

s__instance(s__UnitOfArea,s__SetOrClass)

Mid-level-ontology.kif 12045-12045 Square mile is an instance of UnitOfArea
s__instance(s__SquareYard,s__UnitOfArea)

s__instance(s__UnitOfArea,s__SetOrClass)

Mid-level-ontology.kif 12055-12055 Square yard is an instance of UnitOfArea

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


( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__AMOUNT,s__ConstantQuantity) &
         s__instance(V__TOTAL,s__RealNumber) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__arableLandArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__0)
         &
         s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
     &
     s__instance(V__UNIT,s__UnitOfArea) &
     (V__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
    ,V__UNIT)))
=>
(s__arableLandArea(V__REGION,V__AMOUNT)))))
)
)

Geography.kif 2061-2068
( ! [V__REGION,V__TOTAL,V__FRACTION,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__TOTAL,s__RealNumber) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__arableLandArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__0)
         &
         s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
     &
     s__instance(V__UNIT,s__UnitOfArea))
   =>
   (( ? [V__ARABLE] :
       ((s__instance(V__ARABLE,s__ArableLand) &
           s__geographicSubregion(V__ARABLE,V__REGION)
         &
         s__measure(V__ARABLE,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
      ,V__UNIT)))))))))
)
)

Geography.kif 2070-2080
No TPTP formula. May not be expressible in strict first order. Geography.kif 658-668
( ! [V__QUANT,V__NUMBER,V__UNIT] :
   (((s__instance(V__QUANT,s__PhysicalQuantity) &
         s__instance(V__NUMBER,s__RealNumber))
       =>
       ((((s__MeasureFn(V__NUMBER,V__UNIT)
             = V__QUANT)
           &
           s__instance(V__UNIT,s__UnitOfArea))
         =>
         (s__instance(V__QUANT,s__AreaMeasure)))))
   )
)

Merge.kif 6109-6113
( ! [V__LAND,V__WATER,V__AREA,V__UNIT] :
   (((s__instance(V__LAND,s__RealNumber) &
         s__instance(V__WATER,s__RealNumber) &
         s__instance(V__AREA,s__GeographicArea))
       =>
       (((s__instance(V__UNIT,s__UnitOfArea) &
             s__landAreaOnly(V__AREA,s__MeasureFn(V__LAND,V__UNIT))
         &
         s__waterAreaOnly(V__AREA,s__MeasureFn(V__WATER,V__UNIT)))
   =>
   (s__totalArea(V__AREA,s__MeasureFn(s__AdditionFn(V__LAND,V__WATER)
  ,V__UNIT))))))
)
)

Geography.kif 562-567
( ! [V__REGION,V__AMOUNT,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__AMOUNT,s__RealNumber))
       =>
       (((s__irrigatedLandArea(V__REGION,s__MeasureFn(V__AMOUNT,V__UNIT))
         &
         s__instance(V__UNIT,s__UnitOfArea))
       =>
       (( ? [V__IRRLAND] :
           ((s__instance(V__IRRLAND,s__IrrigatedLand) &
               s__geographicSubregion(V__IRRLAND,V__REGION)
             &
             s__measure(V__IRRLAND,s__MeasureFn(V__AMOUNT,V__UNIT)))))))))
)
)

Geography.kif 2209-2217
( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__AMOUNT,s__RealNumber) &
         s__instance(V__TOTAL,s__RealNumber) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__irrigatedLandArea(V__REGION,s__MeasureFn(V__AMOUNT,V__UNIT))
         &
         s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
     &
     s__instance(V__UNIT,s__UnitOfArea) &
     (V__FRACTION = s__DivisionFn(V__AMOUNT,V__TOTAL)))
=>
(s__irrigatedLandArea(V__REGION,V__FRACTION)))))
)
)

Geography.kif 2201-2207
( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__AMOUNT,s__ConstantQuantity) &
         s__instance(V__TOTAL,s__RealNumber) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__otherLandUseArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__0)
         &
         s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
     &
     s__instance(V__UNIT,s__UnitOfArea) &
     (V__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
    ,V__UNIT)))
=>
(s__otherLandUseArea(V__REGION,V__AMOUNT)))))
)
)

Geography.kif 2151-2158
( ! [V__REGION,V__TOTAL,V__FRACTION,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__TOTAL,s__RealNumber) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__otherLandUseArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__0)
         &
         s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
     &
     s__instance(V__UNIT,s__UnitOfArea))
   =>
   (( ? [V__OTHER] :
       ((s__instance(V__OTHER,s__LandArea) &
           ~(s__instance(V__OTHER,s__ArableLand))
           &
           ~(s__instance(V__OTHER,s__PermanentCropLand))
           &
           s__geographicSubregion(V__OTHER,V__REGION)
         &
         s__measure(V__OTHER,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
      ,V__UNIT)))))))))
)
)

Geography.kif 2160-2172
( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__AMOUNT,s__ConstantQuantity) &
         s__instance(V__TOTAL,s__RealNumber) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__permanentCropLandArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__0)
         &
         s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
     &
     s__instance(V__UNIT,s__UnitOfArea) &
     (V__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
    ,V__UNIT)))
=>
(s__permanentCropLandArea(V__REGION,V__AMOUNT)))))
)
)

Geography.kif 2109-2116
( ! [V__REGION,V__TOTAL,V__FRACTION,V__UNIT] :
   (((s__instance(V__REGION,s__GeographicArea) &
         s__instance(V__TOTAL,s__RealNumber) &
         s__instance(V__FRACTION,s__Number) &
         s__instance(V__FRACTION,s__ConstantQuantity))
       =>
       (((s__permanentCropLandArea(V__REGION,V__FRACTION)
           &
           s__greaterThanOrEqualTo(V__FRACTION,n__0)
         &
         s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
     &
     s__instance(V__UNIT,s__UnitOfArea))
   =>
   (( ? [V__PERMCROP] :
       ((s__instance(V__PERMCROP,s__PermanentCropLand) &
           s__geographicSubregion(V__PERMCROP,V__REGION)
         &
         s__measure(V__PERMCROP,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
      ,V__UNIT)))))))))
)
)

Geography.kif 2118-2128

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


( ! [V__ROOM,V__HOTELUNIT] :
   (((s__instance(V__ROOM,s__Object) &
         s__instance(V__HOTELUNIT,s__Class))
       =>
       (((s__attribute(V__ROOM,s__Oversized) &
             s__immediateInstance(V__ROOM,V__HOTELUNIT)
           &
           s__subclass(V__HOTELUNIT,s__HotelUnit))
         =>
         (( ? [V__NORMAL, V__AREA1, V__AREA2, V__U] :
             ((s__instance(V__NORMAL,s__Physical) &
                 (s__immediateInstance(V__NORMAL,V__HOTELUNIT)
                 &
                 s__instance(V__U,s__UnitOfArea) &
                 s__measure(V__NORMAL,s__MeasureFn(V__AREA1,V__U))
             &
             s__measure(V__ROOM,s__MeasureFn(V__AREA2,V__U))
         &
         s__instance(V__AREA1,s__AreaMeasure) &
         s__instance(V__AREA2,s__AreaMeasure) &
         s__greaterThan(V__AREA2,V__AREA1)))))))))
)
)

Hotel.kif 1151-1166


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