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 | The number 1 argument of number of child occupants is an instance of hotel reservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2901-2901 | The number 2 argument of number of child occupants is an instance of integer |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2895-2895 | number of child occupants is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2894-2894 | number of child occupants is a subrelation of number of occupants |
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 |
|