Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 89-89	HotelUnit e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 90-90	HotelUnit e' uma sub-classe de TemporaryResidence
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 120-120	HotelRoom e' uma sub-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 133-133	HotelVilla e' uma sub-classe de HotelUnit