No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2409-2409 |
Concierge e' uma instancia de ServicePosition |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2423-2423 |
Doorman e' uma instancia de ServicePosition |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30717-30717 |
FlightSteward e' uma instancia de ServicePosition |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20624-20624 |
Maid e' uma instancia de ServicePosition |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2378-2378 |
Porter e' uma instancia de ServicePosition |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20591-20591 |
Waiter e' uma instancia de ServicePosition |
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 123-123 |
Valet e' uma sub-classe de ServicePosition |
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 |
|