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 11705-11709 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11703-11703 | 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 526-526 | Catering is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2121-2121 | Check-in service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2154-2154 | Check-out service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1841-1841 | Child-care service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11714-11714 | Commercial service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2071-2071 | Currency exchange is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1779-1779 | Dry-clean is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2213-2213 | Executive service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1825-1825 | Ironing service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1755-1755 | Laundry service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2248-2248 | Medical service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2099-2099 | Photocopying service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1893-1893 | Service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1939-1939 | Room service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2228-2228 | Safety deposit box is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2267-2267 | Secretarial service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2057-2057 | Tour service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3342-3342 | Transportation service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1923-1923 | Turndown service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1796-1796 | Valet laundry is a subclass of service |
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. | Hotel.kif 1964-1964 | Wake-up service is a subclass of service |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52252-52252 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52251-52251 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52250-52250 | |
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 22324-22324 | 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 22335-22335 | 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 211-211 | 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 196-196 | 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 22343-22348 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22350-22355 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1747-1753 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3053-3065 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 3044-3051 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13668-13677 |
|
![]() |
![]() |