paidRoomAmenity |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 384-386 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 382-382 | 域子類 paidRoomAmenity, 1 and HotelUnit |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 383-383 | 域子類 paidRoomAmenity, 2 and Physical |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 381-381 | 例 paidRoomAmenity and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 380-380 | 子關係 paidRoomAmenity and roomAmenity |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4070-4070 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4069-4069 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4068-4068 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 387-387 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 396-417 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 419-438 |
|