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 5835-5836 | |
(subclass AreaMeasure FunctionQuantity) | Merge.kif 5833-5833 | subclass AreaMeasure and FunctionQuantity |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage AreaMeasure "面积测量") | chinese_format.kif 1305-1305 | termFormat ChineseLanguage, AreaMeasure and "面积测量" |
(termFormat EnglishLanguage AreaMeasure "area measure") | english_format.kif 1836-1836 | termFormat EnglishLanguage, AreaMeasure and "area measure" |
appearance as argument number 3 |
![]() |
(domain landAreaOnly 2 AreaMeasure) | Geography.kif 546-546 | domain landAreaOnly, 2 and AreaMeasure |
(domain totalArea 2 AreaMeasure) | Geography.kif 539-539 | domain totalArea, 2 and AreaMeasure |
(domain waterAreaOnly 2 AreaMeasure) | Geography.kif 555-555 | domain waterAreaOnly, 2 and AreaMeasure |
antecedent |
![]() |
consequent |
![]() |
(=> (and (attribute ?ROOM Oversized) (immediateInstance ?ROOM ?HOTELUNIT) (subclass ?HOTELUNIT HotelUnit)) (exists (?NORMAL ?AREA1 ?AREA2) (and (immediateInstance ?NORMAL ?HOTELUNIT) (measure ?NORMAL ?AREA1) (measure ?ROOM ?AREA2) (instance ?AREA1 AreaMeasure) (instance ?AREA2 AreaMeasure) (greaterThan ?AREA2 ?AREA1)))) |
Hotel.kif 1140-1152 |
|
(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfArea)) (instance ?QUANT AreaMeasure)) |
Merge.kif 5936-5940 |
![]() |
![]() |