roomAmenity |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 274-275 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 278-278 | O argumento numero 1 de roomAmenity e' uma sub-classe de HotelUnit |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 279-279 | O argumento numero 2 de roomAmenity e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 273-273 | roomAmenity e' uma instancia de Predicado Binario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4438-4438 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4437-4437 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4436-4436 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 334-334 | freeRoomAmenity e' uma sub-relacao de roomAmenity |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 380-380 | paidRoomAmenity e' uma sub-relacao de roomAmenity |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 276-276 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 171-176 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 218-223 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 187-192 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 203-208 |