No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2725-2725 | HotelPackage e' uma sub-classe de Proposicao |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2805-2805 | GolfPackage e' uma sub-classe de HotelPackage |