fulfillingEntity |
appearance as argument number 1 |
![]() |
(documentation fulfillingEntity EnglishLanguage "(fulfillingEntity ?ENTITY ?RESERVE) means that ?ENTITY is the Agent who will execute the agreement") | Dining.kif 637-639 | |
(domain fulfillingEntity 1 Agent) | Dining.kif 640-640 | domain fulfillingEntity, 1 and Agent |
(domain fulfillingEntity 2 Reservation) | Dining.kif 641-641 | domain fulfillingEntity, 2 and Reservation |
(instance fulfillingEntity BinaryPredicate) | Dining.kif 636-636 | instance fulfillingEntity and BinaryPredicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage fulfillingEntity "%1 fulfills %2 ") | domainEnglishFormat.kif 3503-3503 | |
(format ChineseTraditionalLanguage fulfillingEntity "%1 fulfills %2 ") | domainEnglishFormat.kif 3502-3502 | |
(format EnglishLanguage fulfillingEntity "%1 fulfills %2") | domainEnglishFormat.kif 3501-3501 |
antecedent |
![]() |
consequent |
![]() |
(=> (instance ?R DiningReservation) (and (fulfillingEntity ?AGENT ?R) (instance ?AGENT Restaurant))) |
Dining.kif 703-707 |
![]() |
![]() |