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 | Le nombre 1 argument de roomAmenity est une sous-classe de HotelUnit |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 279-279 | Le nombre 2 argument de roomAmenity est une sous-classe de physique |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 273-273 | roomAmenity est une instance de pr�dicat binaire |
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 est une sous-relation de roomAmenity |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 380-380 | paidRoomAmenity est une sous-relation 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 |
![]() |
![]() |