| AreaMeasure(面积测量) | |
| appearance as argument number 1 |
|
|
| (documentation AreaMeasure ChineseLanguage "这是用来量度二维空间的尺度。") | chinese_format.kif 2409-2409 | |
| (documentation AreaMeasure EnglishLanguage "Measures of the amount of space in two dimensions.") | Merge.kif 6173-6174 | |
| (subclass AreaMeasure FunctionQuantity) | Merge.kif 6171-6171 | 面积测量 是 函数量 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AreaMeasure "面积测量") | chinese_format.kif 1305-1305 | |
| (termFormat EnglishLanguage AreaMeasure "area measure") | english_format.kif 1827-1827 |
| appearance as argument number 3 |
|
|
| (domain landAreaOnly 2 AreaMeasure) | Geography.kif 546-546 | 仅限陆地面积 的 2 数量 是 面积测量 的 instance |
| (domain totalArea 2 AreaMeasure) | Geography.kif 539-539 | 总面积 的 2 数量 是 面积测量 的 instance |
| (domain waterAreaOnly 2 AreaMeasure) | Geography.kif 555-555 | 仅限水域 的 2 数量 是 面积测量 的 instance |
| antecedent |
|
|
| (=> (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 2083-2093 | |
| (=> (and (subclass ?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 |
| 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 1164-1179 |
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfArea)) (instance ?QUANT AreaMeasure)) |
Merge.kif 6274-6278 |
|
|
|