No TPTP formula. May not be expressible in strict first order. | Merge.kif 11864-11864 | ServiceProcess est une sous-classe de interaction social |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 143-143 | ValetParking est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3335-3335 | TransportationService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11875-11875 | CommercialService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1780-1780 | LaundryService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1804-1804 | DryCleaningService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1821-1821 | ValetLaundryService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1850-1850 | IroningService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1866-1866 | ChildCareService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1918-1918 | RoomCleaningService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1948-1948 | TurndownService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1964-1964 | RoomService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1989-1989 | WakeUpService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2082-2082 | TourService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2096-2096 | CurrencyExchangeService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2126-2126 | PhotocopyingService est une sous-classe de ServiceProcess |
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 2181-2181 | CheckOutService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2240-2240 | ExecutiveService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2255-2255 | SafetyDepositService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2275-2275 | MedicalService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2294-2294 | SecretarialService est une sous-classe de ServiceProcess |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 571-571 | CateringService est une sous-classe de ServiceProcess |