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 数量 是 HotelReservation 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2901-2901 | numberChildOccupant 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2895-2895 | numberChildOccupant 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2894-2894 | numberChildOccupant 是 numberOccupant 的 subrelation |
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 |