(=> (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 1186-1201 | |
(subclass HotelUnit StationaryArtifact) | Hotel.kif 89-89 | |
(subclass HotelUnit TemporaryResidence) | Hotel.kif 90-90 | |
(subclass HotelRoom HotelUnit) | Hotel.kif 120-120 | |
(subclass HotelVilla HotelUnit) | Hotel.kif 133-133 |