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	Oversized e' um atributo de Objeto Objeto e' uma instancia imediata de Classe Classe e' uma sub-classe de HotelUnit Fisico Numero Real, Numero Real and Unidade de Medida Fisico e' uma instancia imediata de Classe Unidade de Medida e' uma instancia de UnitOfArea a medida de Fisico e' Numero Real Unidade de Medida(s) a medida de Objeto e' Numero Real Unidade de Medida(s) Numero Real e' uma instancia de Medida de Area Numero Real e' uma instancia de Medida de Area Numero Real e' maior que Numero Real
(subclass HotelUnit StationaryArtifact)	Hotel.kif 89-89	HotelUnit e' uma sub-classe de Artefato Estacionario
(subclass HotelUnit TemporaryResidence)	Hotel.kif 90-90	HotelUnit e' uma sub-classe de TemporaryResidence
(subclass HotelRoom HotelUnit)	Hotel.kif 120-120	HotelRoom e' uma sub-classe de HotelUnit
(subclass HotelVilla HotelUnit)	Hotel.kif 133-133	HotelVilla e' uma sub-classe de HotelUnit