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 | 域 numberChildOccupant, 1 and HotelReservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2901-2901 | 域 numberChildOccupant, 2 and Integer |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2895-2895 | 例 numberChildOccupant and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2894-2894 | 子關係 numberChildOccupant and 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 |
|