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 | fulfillingEntity の数値 1 引数は AutonomousAgent の instance では |
(domain fulfillingEntity 2 Reservation) | Dining.kif 687-687 | fulfillingEntity の数値 2 引数は Reservation の instance では |
(instance fulfillingEntity BinaryPredicate) | Dining.kif 682-682 | fulfillingEntity は 2進述語 の instance では |
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 |
![]() |
![]() |