Sigma KB Term Intersection

(=> (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	attribute Object and Oversized 立即實例 Object and Class 子類 Class and HotelUnit Physical RealNumber, RealNumber and UnitOfMeasure 立即實例 Physical and Class 例 UnitOfMeasure and UnitOfArea 測量 Physical and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 RealNumber and AreaMeasure 例 RealNumber and AreaMeasure 比較多 RealNumber and RealNumber
(subclass HotelUnit StationaryArtifact)	Hotel.kif 89-89	子類 HotelUnit and StationaryArtifact
(subclass HotelUnit TemporaryResidence)	Hotel.kif 90-90	子類 HotelUnit and 暫住
(subclass HotelRoom HotelUnit)	Hotel.kif 120-120	子類 HotelRoom and HotelUnit
(subclass HotelVilla HotelUnit)	Hotel.kif 133-133	子類 HotelVilla and HotelUnit