paidFunctionRoomAmenity |
appearance as argument number 1 |
(documentation paidFunctionRoomAmenity EnglishLanguage "(paidFunctionRoomAmenity ?RM ?PHY) means that the use of ?PHY provided by TravelerAccommodation to customers renting HotelFunctionRoom incurs charges") | Hotel.kif 866-868 | |
(instance paidFunctionRoomAmenity BinaryPredicate) | Hotel.kif 865-865 | paidFunctionRoomAmenity è un' istanza di PredicatoBinario |
(subrelation paidFunctionRoomAmenity functionRoomAmenity) | Hotel.kif 864-864 | paidFunctionRoomAmenity è una sottorelazione di functionRoomAmenity |
appearance as argument number 2 |
(format ChineseLanguage paidFunctionRoomAmenity "%1 的 承租人 能 pay 去使用 %2 ") | domainEnglishFormat.kif 4062-4062 | |
(format ChineseTraditionalLanguage paidFunctionRoomAmenity "%1 的 承租人 能 pay 去使用 %2 ") | domainEnglishFormat.kif 4061-4061 | |
(format EnglishLanguage paidFunctionRoomAmenity "renters of %1 can pay to use %2") | domainEnglishFormat.kif 4060-4060 | |
(termFormat EnglishLanguage paidFunctionRoomAmenity "free function room amenity") | Hotel.kif 869-869 |
antecedent |