Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Oversized(oversized) |  | outsize, outsized, oversize, oversized |
| appearance as argument number 1 |
|
|
| (instance Oversized RelationalAttribute) | Hotel.kif 1175-1175 | Oversized is an instance of relational attribute |
| (documentation Oversized EnglishLanguage "Oversized means that something has a larger measure than normal") | Hotel.kif 1176-1177 | Oversized is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Oversized "oversized") | Hotel.kif 1178-1178 |
| antecedent |
|
|
| (=> (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 | If X is an immediate instance of Y, Z is an immediate instance of Y, and oversized is an attribute of X, then there exist W, V and U such that U is an instance of unit of measure and the measure of X is W U(s) and the measure of Z is V U(s) and W is greater than V |
| (=> (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 |
|