  totalArea
|
|
Sigma KEE - totalArea
|
appearance as argument number 1
|
|
|
|
appearance as argument number 2
|
|
|
|
antecedent
|
|
|
(=>
(totalArea CentralValleyCalifornia
(MeasureFn ?X SquareMile))
(approximateValue ?X 18000)) |
Geography.kif 1408-1411 |
If X square mile(s) is a total area of Central Valley California, then the approximate value of X is 18000 |
(=>
(and
(arableLandArea ?REGION
(MeasureFn ?FRACTION ?UNIT))
(greaterThanOrEqualTo ?FRACTION 0.0)
(totalArea ?REGION
(MeasureFn ?TOTAL ?UNIT))
(instance ?TOTAL AreaMeasure)
(equal ?AMOUNT
(MultiplicationFn ?FRACTION ?TOTAL)))
(arableLandArea ?REGION
(MeasureFn ?AMOUNT ?UNIT))) |
Geography.kif 3535-3545 |
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, W is an instance of area measure, and equal V, X, and W, then V Y(s) is an arable land area of Z |
(=>
(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 |
|
consequent
|
|
|
(=>
(equal
(MeasureFn
(PerFn
(MeasureFn ?F KilogramForce)
(MeasureFn ?A SquareMillimeter)) VickersPyramidNumber)
(VickersHardnessFn ?CLASS))
(modalAttribute
(exists (?SUB ?P ?D ?H ?S)
(and
(instance ?SUB ?CLASS)
(instance ?P Pushing)
(destination ?P ?SUB)
(instance ?D Diamond)
(shape ?D SquarePyramid)
(patient ?P ?D)
(result ?P ?H)
(instance ?H HoleRegion)
(part ?H ?SUB)
(surface ?S ?H)
(totalArea ?S
(MeasureFn ?A SquareMillimeter))
(measure ?P
(MeasureFn ?F KilogramForce)))) Likely)) |
Mid-level-ontology.kif 10641-10662 |
If equal the per of X kilogram force(s) and Y square millimeter(s) Vickers pyramid number(s) and The Vickers Hardness of Z is, then the statement there exist W, V,, , U,, , T and S such that W is an instance of Z and V is an instance of pushing and V ends up at W and U is an instance of diamond and U is square pyramid and U is a patient of V and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of T and Y square millimeter(s) is a total area of S and the measure of V is X kilogram force(s) has the modal force of likely |
(=>
(and
(memberMeasure ?S ?M ?Q)
(instance ?S Set)
(element ?O ?S))
(totalArea ?O ?Q)) |
Mid-level-ontology.kif 33815-33820 |
If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then Y is a total area of W |
(=>
(and
(memberMeasure ?S Area ?Q)
(instance ?S Class)
(instance ?O ?S))
(totalArea ?O ?Q)) |
Mid-level-ontology.kif 33822-33827 |
If members of X have the measure Y in terms of Area, X is an instance of class, and Z is an instance of X, then Y is a total area of Z |
(=>
(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 |
(=>
(landAreaOnly ?AREA ?MEASURE)
(exists (?LAND)
(and
(instance ?LAND SurfaceGroundArea)
(part ?LAND ?AREA)
(totalArea ?LAND ?MEASURE)))) |
Geography.kif 2055-2061 |
If X is a land area only of Y, then there exists Z such that Z is an instance of surface ground area, Z is a part of Y, and X is a total area of Z |
(=>
(waterAreaOnly ?AREA ?MEASURE)
(exists (?WATER)
(and
(instance ?WATER WaterOnlyArea)
(part ?WATER ?AREA)
(totalArea ?WATER ?MEASURE)))) |
Geography.kif 2079-2085 |
If X is a water area only of Y, then there exists Z such that Z is an instance of water only area, Z is a part of Y, and X is a total area of Z |
|
