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 2 Reservation) | Dining.kif 641-641 | |
(instance fulfillingEntity BinaryPredicate) | Dining.kif 636-636 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage fulfillingEntity "%1 fulfills %2 ") | domainEnglishFormat.kif 3507-3507 | |
(format ChineseTraditionalLanguage fulfillingEntity "%1 fulfills %2 ") | domainEnglishFormat.kif 3506-3506 | |
(format EnglishLanguage fulfillingEntity "%1 fulfills %2") | domainEnglishFormat.kif 3505-3505 |
antecedent |
![]() |
(=> (and (fulfillingEntity ?AGENT ?RESERVE) (instance ?RESERVE HotelReservation)) (attribute ?AGENT TravelerAccommodation)) |
Hotel.kif 2790-2794 | |
(=> (and (instance ?AGENT Agent) (potentialCustomer ?CUST ?AGENT) (modalAttribute (and (instance ?R Reserving) (destination ?R ?AGENT)) Necessity) (conditionalProbability (exists (?RES1) (and (instance ?RES1 Reservation) (reservingEntity ?CUST ?RES1) (fulfillingEntity ?AGENT ?RES1))) (customer ?CUST ?AGENT) ?NUM1) (conditionalProbability (not (exists (?RES2) (and (instance ?RES2 Reservation) (reservingEntity ?CUST ?RES2) (fulfillingEntity ?AGENT ?RES2)))) (customer ?CUST ?AGENT) ?NUM2)) (lessThan ?NUM2 ?NUM1)) |
Dining.kif 725-748 | |
(=> (and (numberAdultOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL HumanAdult) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2826-2835 | |
(=> (and (numberChildOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL ?SUBCOL) (and (instance ?COL GroupOfPeople) (subCollection ?SUBCOL ?COL) (instance ?SUBCOL GroupOfPeople) (memberType ?SUBCOL HumanChild) (memberCount ?SUBCOL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2846-2857 | |
(=> (and (numberOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL Human) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2807-2816 | |
(=> (and (numberOfCustomers ?NUM ?RESERVE) (fulfillingEntity ?AGENT ?RESERVE) (reservingEntity ?CUST ?RESERVE)) (exists (?GRP) (and (potentialCustomer ?GRP ?AGENT) (instance ?GRP GroupOfPeople) (member ?CUST ?GRP) (memberCount ?GRP ?NUM)))) |
Dining.kif 686-696 | |
(=> (and (numberSeniorOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL) (and (instance ?COL GroupOfPeople) (forall (?X) (=> (member ?X ?COL) (and (instance ?X HumanAdult) (age ?X (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE 60)))) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2868-2883 | |
(=> (and (reservationStart ?TIME1 ?R) (reservationEnd ?TIME2 ?R) (reservingEntity ?CUST ?R) (fulfillingEntity ?AGENT ?R)) (modalAttribute (holdsDuring (TimeIntervalFn ?TIME1 ?TIME2) (exists (?P) (and (instance ?P IntentionalProcess) (agent ?P ?AGENT) (destination ?P ?CUST)))) Likely)) |
Dining.kif 665-678 | |
(=> (fulfillingEntity ?ENTITY ?RESERVE) (exists (?P) (and (instance ?P Reserving) (destination ?P ?ENTITY) (result ?P ?RESERVE)))) |
Dining.kif 643-649 |
consequent |
![]() |
(=> (instance ?R DiningReservation) (and (fulfillingEntity ?AGENT ?R) (instance ?AGENT Restaurant))) |
Dining.kif 703-707 |
![]() |
![]() |