numberChildOccupant |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2896-2898 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2900-2900 | Le nombre 1 argument de numberChildOccupant est une instance de HotelReservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2901-2901 | Le nombre 2 argument de numberChildOccupant est une instance de nombre entier |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2895-2895 | numberChildOccupant est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2894-2894 | numberChildOccupant est une sous-relation de numberOccupant |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3986-3986 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3985-3985 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3984-3984 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2899-2899 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2903-2914 |
|
![]() |
![]() |