No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2148-2148 | CheckInService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2168-2168 | SelfServiceCheckIn est une sous-classe de CheckInService |