No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2725-2725 | HotelPackage est une sous-classe de proposition |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2805-2805 | GolfPackage est une sous-classe de HotelPackage |