Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AreaMeasure(area measure) |  | ar, are, area, area_unit, arpent, b, balk, barn, baulk, centare, dessiatine, erasure, expanse, footprint, hectare, king-size, king-sized, morgen, perch, pole, quarter_section, queen-size, queen-sized, rod, sq_ft, sq_in, sq_yd, square_foot, square_inch, square_measure, square_meter, square_metre, square_yard, surface_area |
| appearance as argument number 1 |
|
|
| (subclass AreaMeasure FunctionQuantity) | Merge.kif 6386-6386 | Area measure is a subclass of function quantity |
| (documentation AreaMeasure EnglishLanguage "Measures of the amount of space in two dimensions.") | Merge.kif 6388-6389 | Area measure is a subclass of function quantity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AreaMeasure "area measure") | english_format.kif 1831-1831 |
| appearance as argument number 3 |
|
|
| (domain totalArea 2 AreaMeasure) | Mid-level-ontology.kif 33802-33802 | The number 2 argument of total area is an instance of area measure |
| (domain landAreaOnly 2 AreaMeasure) | Geography.kif 2015-2015 | The number 2 argument of land area only is an instance of area measure |
| (domain waterAreaOnly 2 AreaMeasure) | Geography.kif 2024-2024 | The number 2 argument of water area only is an instance of area measure |
| antecedent |
|
|
| (=> (and (instance ?UNIT AreaMeasure) (measure Alaska (MeasureFn ?NUMBER1 ?UNIT)) (measure ?STATE (MeasureFn ?NUMBER2 ?UNIT)) (instance ?STATE AmericanState) (not (equal Alaska ?STATE))) (lessThan ?NUMBER2 ?NUMBER1)) |
CountriesAndRegions.kif 871-878 | If X is an instance of area measure, the measure of alaska is Y X(s), the measure of Z is W X(s), Z is an instance of american state, and equal alaska and Z, then W is less than Y |
| (=> (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 |
| consequent |
|
|
| (=> (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 (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 |
|