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 | Die Zahl 1 Argument von reservingEntity ist ein fall von AutonomousAgent %n{nicht} |
(domain reservingEntity 2 Reservation) | Dining.kif 657-657 | Die Zahl 2 Argument von reservingEntity ist ein fall von Reservation %n{nicht} |
(instance reservingEntity BinaryPredicate) | Dining.kif 652-652 | reservingEntity ist ein fall von BinaryPredicate %n{nicht} |
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 |