ServiceProcess(service) | ![]() | service |
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 12016-12020 | |
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 12014-12014 | Service is a subclass of social interaction |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 571-571 | Catering is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2159-2159 | Check-in service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2192-2192 | Check-out service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1877-1877 | Child-care service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12025-12025 | Commercial service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2107-2107 | Currency exchange is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1815-1815 | Dry-clean is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2251-2251 | Executive service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1861-1861 | Ironing service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1791-1791 | Laundry service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2286-2286 | Medical service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2137-2137 | Photocopying service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1929-1929 | Service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1975-1975 | Room service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2266-2266 | Safety deposit box is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2305-2305 | Secretarial service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2093-2093 | Tour service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 4478-4478 | Transportation service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1959-1959 | Turndown service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 147-147 | Valet parking is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2000-2000 | Wake-up service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52273-52273 | Wake-up service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52272-52272 | Wake-up service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52271-52271 | Wake-up service is a subclass of service |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24518-24518 | The number 1 argument of service provider is an instance of service |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24529-24529 | The number 1 argument of service recipient is an instance of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 216-216 | The number 2 argument of service amenity in all rooms is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 201-201 | The number 2 argument of service amenity in some rooms is a subclass of service |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24537-24542 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24544-24549 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1783-1789 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3102-3114 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3092-3100 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15569-15578 |
|
![]() |
![]() |