| Oversized | |
| appearance as argument number 1 |
|
|
| (documentation Oversized EnglishLanguage "Oversized means that something has a larger measure than normal") | Hotel.kif 1176-1177 | |
| (instance Oversized RelationalAttribute) | Hotel.kif 1175-1175 | Oversized は 関係属性 の instance では |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Oversized "oversized") | Hotel.kif 1178-1178 |
| antecedent |
|
|
| (=> (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 |
|
| (=> (and (immediateInstance ?BIG ?CLASS) (immediateInstance ?NORMAL ?CLASS) (attribute ?BIG Oversized)) (exists (?BIGSIZE ?NORMALSIZE ?U) (and (instance ?U UnitOfMeasure) (measure ?BIG (MeasureFn ?BIGSIZE ?U)) (measure ?NORMAL (MeasureFn ?NORMALSIZE ?U)) (greaterThan ?BIGSIZE ?NORMALSIZE)))) |
Hotel.kif 1180-1192 |
|
|
|