No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2409-2409 |
Concierge est une instance de ServicePosition |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2423-2423 |
Doorman est une instance de ServicePosition |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30753-30753 |
FlightSteward est une instance de ServicePosition |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20652-20652 |
Maid est une instance de ServicePosition |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2378-2378 |
Porter est une instance de ServicePosition |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20619-20619 |
Waiter est une instance de ServicePosition |
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 127-127 |
Valet est une sous-classe de ServicePosition |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52265-52265 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52264-52264 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52263-52263 |
|