No TPTP formula. May not be expressible in strict first order. | Merge.kif 11886-11886 | Service is a subclass of social interaction |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 143-143 | Valet parking is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3335-3335 | Transportation service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11897-11897 | Commercial service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1780-1780 | Laundry service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1804-1804 | Dry-clean is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1821-1821 | Valet laundry is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1850-1850 | Ironing service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1866-1866 | Child-care service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1918-1918 | Service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1948-1948 | Turndown service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1964-1964 | Room service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1989-1989 | Wake-up service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2082-2082 | Tour service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2096-2096 | Currency exchange is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2126-2126 | Photocopying service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2148-2148 | Check-in service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2181-2181 | Check-out service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2240-2240 | Executive service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2255-2255 | Safety deposit box is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2275-2275 | Medical service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2294-2294 | Secretarial service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 571-571 | Catering is a subclass of service |