No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 338-340 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 336-336 |
O argumento numero 1 de freeRoomAmenity e' uma sub-classe de HotelUnit |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 337-337 |
O argumento numero 2 de freeRoomAmenity e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 335-335 |
freeRoomAmenity e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 334-334 |
freeRoomAmenity e' uma sub-relacao de roomAmenity |