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


KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfArea
UnitOfArea(unit of area)

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


(subclass UnitOfArea CompositeUnitOfMeasure) Merge.kif 6391-6391 Unit of area is a subclass of composite unit of measure
(documentation UnitOfArea EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of AreaMeasure.") Merge.kif 6393-6395 Unit of area is a subclass of composite unit of measure

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


(instance SquareMillimeter UnitOfArea) Mid-level-ontology.kif 10618-10618 Square millimeter is an instance of unit of area
(instance SquareFoot UnitOfArea) Mid-level-ontology.kif 15208-15208 Square foot is an instance of unit of area
(instance Acre UnitOfArea) Mid-level-ontology.kif 15284-15284 Acre is an instance of unit of area
(instance SquareMile UnitOfArea) Mid-level-ontology.kif 15295-15295 Square mile is an instance of unit of area
(instance SquareYard UnitOfArea) Mid-level-ontology.kif 15301-15301 Square yard is an instance of unit of area
(instance SquareKilometer UnitOfArea) Geography.kif 2089-2089 Square kilometer is an instance of unit of area
(instance SquareMeter UnitOfArea) Geography.kif 5488-5488 Square meter is an instance of unit of area
(termFormat EnglishLanguage UnitOfArea "unit of area") domainEnglishFormat.kif 65655-65655 Square meter is an instance of unit of area

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


(domain populationDensity 3 UnitOfArea) Mid-level-ontology.kif 34154-34154 The number 3 argument of population density is an instance of unit of area

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


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfArea))
    (instance ?QUANT AreaMeasure))		 Merge.kif 6489-6493 If equal X Y(s) and Z and Y is an instance of unit of area, then Z is an instance of area measure
(=>
    (and
        (instance ?UNIT UnitOfArea)
        (landAreaOnly ?AREA
            (MeasureFn ?LAND ?UNIT))
        (waterAreaOnly ?AREA
            (MeasureFn ?WATER ?UNIT)))
    (totalArea ?AREA
        (MeasureFn
            (AdditionFn ?LAND ?WATER) ?UNIT)))		 Geography.kif 2031-2036 If X is an instance of unit of area, Y X(s) is a land area only of Z, and W X(s) is a water area only of Z, then (Y and W) X(s) is a total area of Z
(=>
    (and
        (comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2)
        (instance ?UNIT UnitOfArea)
        (measure ?REGION1
            (MeasureFn ?NUM1 ?UNIT))
        (measure ?REGION2
            (MeasureFn ?NUM2 ?UNIT)))
    (?RELATION
        (MeasureFn ?NUM1 ?UNIT)
        (MeasureFn
            (MultiplicationFn ?FACTOR ?NUM2) ?UNIT)))		 Geography.kif 2131-2141 If X comparative area Y for Z with W, V is an instance of unit of area, the measure of X is U V(s), and the measure of W is T V(s), then Y U V(s) and Z and T V(s)
(=>
    (and
        (arableLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?ARABLE)
        (and
            (instance ?ARABLE ArableLand)
            (geographicSubregion ?ARABLE ?REGION)
            (measure ?ARABLE
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))		 Geography.kif 3547-3561 If X Y(s) is an arable land area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, and Y is an instance of unit of area, then there exists V such that V is an instance of arable land and V is a geographic subregion of Z and the measure of V is X and W Y(s)
(=>
    (and
        (permanentCropLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (permanentCropLandArea ?REGION
        (MeasureFn ?AMOUNT ?UNIT)))		 Geography.kif 3580-3591 If X Y(s) is a permanent crop land area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, Y is an instance of unit of area, and equal V, X, and W, then V Y(s) is a permanent crop land area of Z
(=>
    (and
        (permanentCropLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?PERMCROP)
        (and
            (instance ?PERMCROP PermanentCropLand)
            (geographicSubregion ?PERMCROP ?REGION)
            (measure ?PERMCROP
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))		 Geography.kif 3593-3607 If X Y(s) is a permanent crop land area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, and Y is an instance of unit of area, then there exists V such that V is an instance of permanent crop land and V is a geographic subregion of Z and the measure of V is X and W Y(s)
(=>
    (and
        (otherLandUseArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (otherLandUseArea ?REGION
        (MeasureFn ?AMOUNT ?UNIT)))		 Geography.kif 3620-3631 If X Y(s) is an other land use area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, Y is an instance of unit of area, and equal V, X, and W, then V Y(s) is an other land use area of Z
(=>
    (and
        (otherLandUseArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?OTHER)
        (and
            (instance ?OTHER LandArea)
            (not
                (instance ?OTHER ArableLand))
            (not
                (instance ?OTHER PermanentCropLand))
            (geographicSubregion ?OTHER ?REGION)
            (measure ?OTHER
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))		 Geography.kif 3633-3651 If X Y(s) is an other land use area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, and Y is an instance of unit of area, then there exists V such that V is an instance of land area and V is not an instance of arable land and V is not an instance of permanent crop land and V is a geographic subregion of Z and the measure of V is X and W Y(s)
(=>
    (and
        (irrigatedLandArea ?REGION
            (MeasureFn ?AMOUNT ?UNIT))
        (instance ?UNIT UnitOfArea)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (equal ?FRACTION
            (DivisionFn ?AMOUNT ?TOTAL)))
    (irrigatedLandArea ?REGION
        (MeasureFn ?FRACTION ?UNIT)))		 Geography.kif 3670-3680 If X Y(s) is an irrigated land area of Z, Y is an instance of unit of area, W Y(s) is a total area of Z, and equal V, X, and W, then V Y(s) is an irrigated land area of Z
(=>
    (and
        (irrigatedLandArea ?REGION
            (MeasureFn ?AMOUNT ?UNIT))
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?FRACTION
            (DivisionFn ?AMOUNT ?TOTAL)))
    (irrigatedLandArea ?REGION
        (MeasureFn ?FRACTION ?UNIT)))		 Geography.kif 3682-3692 If X Y(s) is an irrigated land area of Z, W Y(s) is a total area of Z, Y is an instance of unit of area, and equal V, X, and W, then V Y(s) is an irrigated land area of Z
(=>
    (and
        (irrigatedLandArea ?REGION
            (MeasureFn ?AMOUNT ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?IRRLAND)
        (and
            (instance ?IRRLAND IrrigatedLand)
            (geographicSubregion ?IRRLAND ?REGION)
            (measure ?IRRLAND
                (MeasureFn ?AMOUNT ?UNIT)))))		 Geography.kif 3694-3704 If X Y(s) is an irrigated land area of Z and Y is an instance of unit of area, then there exists W such that W is an instance of irrigated land and W is a geographic subregion of Z and the measure of W is X Y(s)

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


(=>
    (and
        (attribute ?ROOM Oversized)
        (immediateInstance ?ROOM ?HOTELUNIT)
        (subclass ?HOTELUNIT HotelUnit))
    (exists (?NORMAL ?AREA1 ?AREA2 ?U)
        (and
            (immediateInstance ?NORMAL ?HOTELUNIT)
            (instance ?U UnitOfArea)
            (measure ?NORMAL
                (MeasureFn ?AREA1 ?U))
            (measure ?ROOM
                (MeasureFn ?AREA2 ?U))
            (instance ?AREA1 AreaMeasure)
            (instance ?AREA2 AreaMeasure)
            (greaterThan ?AREA2 ?AREA1))))		 Hotel.kif 1194-1209 If oversized is an attribute of X, X is an immediate instance of Y, and Y is a subclass of hotel unit, then there exist Z, W,, , V and U such that Z is an immediate instance of Y and U is an instance of unit of area and the measure of Z is W U(s) and the measure of X is V U(s) and W is an instance of area measure and V is an instance of area measure and V is greater than W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners