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 数量 是 HotelUnit 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 383-383 | paidRoomAmenity 的 2 数量 是 物理 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 381-381 | paidRoomAmenity 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 380-380 | paidRoomAmenity 是 roomAmenity 的 subrelation |
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 |