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 | O argumento numero 1 de numberChildOccupant e' uma instancia de HotelReservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2901-2901 | O argumento numero 2 de numberChildOccupant e' uma instancia de Numero Inteiro |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2895-2895 | numberChildOccupant e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2894-2894 | numberChildOccupant e' uma sub-relacao 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 |
|
![]() |
![]() |