fulfillingEntity |
appearance as argument number 1 |
![]() |
(documentation fulfillingEntity EnglishLanguage "(fulfillingEntity ?ENTITY ?RESERVE) means that ?ENTITY is the AutonomousAgent who will execute the agreement") | Dining.kif 683-685 | |
(domain fulfillingEntity 1 AutonomousAgent) | Dining.kif 686-686 | Le nombre 1 argument de fulfillingEntity est une instance de AutonomousAgent |
(domain fulfillingEntity 2 Reservation) | Dining.kif 687-687 | Le nombre 2 argument de fulfillingEntity est une instance de Reservation |
(instance fulfillingEntity BinaryPredicate) | Dining.kif 682-682 | fulfillingEntity est une instance de pr�dicat binaire |
appearance as argument number 2 |
![]() |
(format ChineseLanguage fulfillingEntity "%1 fulfills %2 ") | domainEnglishFormat.kif 3500-3500 | |
(format ChineseTraditionalLanguage fulfillingEntity "%1 fulfills %2 ") | domainEnglishFormat.kif 3499-3499 | |
(format EnglishLanguage fulfillingEntity "%1 fulfills %2") | domainEnglishFormat.kif 3498-3498 | |
(termFormat EnglishLanguage fulfillingEntity "fulfilling entity") | domainEnglishFormat.kif 65838-65838 |
antecedent |
![]() |
consequent |
![]() |
(=> (instance ?R DiningReservation) (exists (?AGENT) (and (fulfillingEntity ?AGENT ?R) (instance ?AGENT Restaurant)))) |
Dining.kif 749-754 |
|
![]() |
![]() |