| 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 2803-2807 | |
| (=> (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 2839-2848 | |
| (=> (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 2859-2870 | |
| (=> (and (numberOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL Human) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2820-2829 | |
| (=> (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 2881-2896 | |
| (=> (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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners