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 引数は AutonomousAgent の instance では |
(domain reservingEntity 2 Reservation) | Dining.kif 657-657 | reservingEntity の数値 2 引数は Reservation の instance では |
(instance reservingEntity BinaryPredicate) | Dining.kif 652-652 | reservingEntity は 2進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage reservingEntity "%1 reserves %2 ") | domainEnglishFormat.kif 4422-4422 | |
(format ChineseTraditionalLanguage reservingEntity "%1 reserves %2 ") | domainEnglishFormat.kif 4421-4421 | |
(format EnglishLanguage reservingEntity "%1 reserves %2") | domainEnglishFormat.kif 4420-4420 | |
(termFormat EnglishLanguage reservingEntity "reserving entity") | domainEnglishFormat.kif 65947-65947 |
antecedent |
![]() |
![]() |
![]() |