| ServiceProcess | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3100-3102 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11912-11916 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1871-1873 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11910-11910 | ServiceProcess est une sous-classe de interaction social |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 571-571 | CateringService 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 1866-1866 | ChildCareService est une sous-classe de ServiceProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11921-11921 | CommercialService 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 1804-1804 | DryCleaningService 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 1850-1850 | IroningService 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 2275-2275 | MedicalService 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 1918-1918 | RoomCleaningService 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 2255-2255 | SafetyDepositService 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. | Hotel.kif 2082-2082 | TourService est une sous-classe de ServiceProcess |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3516-3516 | TransportationService 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 1821-1821 | ValetLaundryService est une sous-classe de ServiceProcess |
| No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 147-147 | ValetParking 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. | domainEnglishFormat.kif 52271-52271 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52270-52270 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52269-52269 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22929-22929 | Le nombre 1 argument de serviceProvider est une instance de ServiceProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22940-22940 | Le nombre 1 argument de serviceRecipient est une instance de ServiceProcess |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 216-216 | Le nombre 2 argument de allRoomsServiceAmenity est une sous-classe de ServiceProcess |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 201-201 | Le nombre 2 argument de someRoomsServiceAmenity est une sous-classe de ServiceProcess |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22948-22953 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22955-22960 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1772-1778 |
| consequent |
|
|
|
|
|