| No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2409-2409 |
Concierge 是 服务职位 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2423-2423 |
Doorman 是 服务职位 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30729-30729 |
FlightSteward 是 服务职位 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20625-20625 |
女佣 是 服务职位 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2378-2378 |
Porter 是 服务职位 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20592-20592 |
Waiter 是 服务职位 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 123-123 |
Valet 是 服务职位 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52263-52263 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52262-52262 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52261-52261 |
|
