Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| fulfillingEntity |
| appearance as argument number 1 |
|
| (instance fulfillingEntity BinaryPredicate) | Dining.kif 682-682 | fulfilling entity is an instance of binary predicate |
| (documentation fulfillingEntity EnglishLanguage "(fulfillingEntity ?ENTITY ?RESERVE) means that ?ENTITY is the AutonomousAgent who will execute the agreement") | Dining.kif 683-685 | fulfilling entity is an instance of binary predicate |
| (domain fulfillingEntity 1 AutonomousAgent) | Dining.kif 686-686 | The number 1 argument of fulfilling entity is an instance of agent |
| (domain fulfillingEntity 2 Reservation) | Dining.kif 687-687 | The number 2 argument of fulfilling entity is an instance of reservation |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage fulfillingEntity "%1 fulfills %2") | domainEnglishFormat.kif 3498-3498 | |
| (format ChineseTraditionalLanguage fulfillingEntity "%1 fulfills %2 ") | domainEnglishFormat.kif 3499-3499 | |
| (format ChineseLanguage fulfillingEntity "%1 fulfills %2 ") | domainEnglishFormat.kif 3500-3500 | |
| (termFormat EnglishLanguage fulfillingEntity "fulfilling entity") | domainEnglishFormat.kif 65847-65847 |
| antecedent |
|
|
| (=> (fulfillingEntity ?ENTITY ?RESERVE) (exists (?P) (and (instance ?P Reserving) (destination ?P ?ENTITY) (result ?P ?RESERVE)))) |
Dining.kif 689-695 | If X fulfills Y, then there exists Z such that Z is an instance of reserving, Z ends up at X, and Y is a result of Z |
| (=> (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 711-724 | If X starts at Y, X ends at Z, W reserves X, and V fulfills X, then the statement there exists U such that U is an instance of intentional process, V is an agent of U, U ends up at W holds during interval between Y, and Z has the modal force of likely |
| (=> (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 732-742 | If X is for Y customers, Z fulfills X, and W reserves X, then there exists V such that V is a potential customer for Z, V is an instance of group of people, W is a member of V, and Y is a member count of V |
| (=> (and (instance ?AGENT AutonomousAgent) (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 772-795 | If X is an instance of agent, Y is a potential customer for X, the statement Z is an instance of reserving and Z ends up at X has the modal force of necessity, probability of there exists W such that W is an instance of reservation, Y reserves W, and X fulfills W provided that X is a customer of Y holds is V, and probability of there doesn't exist U such that U is an instance of reservation, Y reserves U, and X fulfills U provided that X is a customer of Y holds is T, then T is less than V |
| (=> (and (fulfillingEntity ?AGENT ?RESERVE) (instance ?RESERVE HotelReservation)) (attribute ?AGENT TravelerAccommodation)) |
Hotel.kif 2865-2869 | If X fulfills Y and Y is an instance of hotel reservation, then traveler accommodation is an attribute of X |
| (=> (and (numberOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL Human) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2882-2891 | If X may have Y occupants and Z fulfills X, then there exists W such that W is an instance of group of people, human is a member type of W, Y is a member count of W, and W is a potential customer for Z |
| (=> (and (numberAdultOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL HumanAdult) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2901-2910 | If X may have Y adults and Z fulfills X, then there exists W such that W is an instance of group of people, human adult is a member type of W, Y is a member count of W, and W is a potential customer for Z |
| (=> (and (numberChildOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL ?SUBCOL) (and (instance ?COL GroupOfPeople) (subCollection ?SUBCOL ?COL) (instance ?SUBCOL GroupOfPeople) (memberType ?SUBCOL HumanChild) (memberCount ?SUBCOL ?NUM) (potentialCustomer ?COL ?HOTEL)))) |
Hotel.kif 2921-2932 | If X may have Y children and Z fulfills X, then All of the following hold: (1) there exist W (2) V such that W is an instance of group of people (3) V is a proper sub-collection of W (4) V is an instance of group of people (5) human child is a member type of V (6) Y is a member count of V (7) W is a potential customer for Z |
| (=> (and (numberSeniorOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL ?AGE) (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 2943-2958 | If X is for Y seniors and Z fulfills X, then there exist W and V such that W is an instance of group of people and U U is a member of WU is an instance of human adult and the age of U is V year duration(s) and V is greater than or equal to 60 and Y is a member count of W and W is a potential customer for Z |
| consequent |
|
|
| (=> (instance ?R DiningReservation) (exists (?AGENT) (and (fulfillingEntity ?AGENT ?R) (instance ?AGENT Restaurant)))) |
Dining.kif 749-754 | If X is an instance of dining reservation, then there exists Y such that Y fulfills X and Y is an instance of restaurant |
|