reservingEntity |
appearance as argument number 1 |
(documentation reservingEntity EnglishLanguage "(reservingEntity ?ENTITY ?RESERVE) means that ?ENTITY is the AutonomousAgent reserving a particular resource indicated by ?RESERVE") | Dining.kif 653-655 | |
(domain reservingEntity 1 AutonomousAgent) | Dining.kif 656-656 | reservingEntity 的 1 数量 是 施事体 的 instance |
(domain reservingEntity 2 Reservation) | Dining.kif 657-657 | reservingEntity 的 2 数量 是 Reservation 的 instance |
(instance reservingEntity BinaryPredicate) | Dining.kif 652-652 | reservingEntity 是 二元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage reservingEntity "%1 reserves %2 ") | domainEnglishFormat.kif 4418-4418 | |
(format ChineseTraditionalLanguage reservingEntity "%1 reserves %2 ") | domainEnglishFormat.kif 4417-4417 | |
(format EnglishLanguage reservingEntity "%1 reserves %2") | domainEnglishFormat.kif 4416-4416 | |
(termFormat EnglishLanguage reservingEntity "reserving entity") | domainEnglishFormat.kif 65926-65926 |
antecedent |