fulfillingEntity - Sigma Knowledge base Browser

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	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
(instance fulfillingEntity BinaryPredicate)	Dining.kif 682-682	fulfilling entity is an instance of binary predicate

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 65869-65869

antecedent

(=> (and (fulfillingEntity ?AGENT ?RESERVE) (instance ?RESERVE HotelReservation)) (attribute ?AGENT TravelerAccommodation))	Hotel.kif 2847-2851	If an agent fulfills a reservation and the reservation is an instance of hotel reservation, then traveler accommodation is an attribute of the agent
(=> (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 an agent is an instance of agent and a cognitive agent is a potential customer for the agent and the statement an entity is an instance of reserving and the entity ends up at the agent has the modal force of necessity and probability of there exists the entityES1 such that the entityES1 is an instance of reservation and the cognitive agent reserves the entityES1 and the agent fulfills the entityES1 provided that the agent is a customer of the cognitive agent holds is a real number and probability of there doesn't exist the entityES2 such that the entityES2 is an instance of reservation and the cognitive agent reserves the entityES2 and the agent fulfills the entityES2 provided that the agent is a customer of the cognitive agent holds is another real number, then the other real number is less than the real number
(=> (and (numberAdultOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL HumanAdult) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2883-2892	If a hotel reservation may have an integer adults and an agent fulfills the hotel reservation, then there exists a collection such that the collection is an instance of group of people and human adult is a member type of the collection and the integer is a member count of the collection and the collection is a potential customer for the agent
(=> (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 2903-2914	If a hotel reservation may have an integer children and an agent fulfills the hotel reservation, then there exist a collection and another collection such that the collection is an instance of group of people and the other collection is a proper sub_collection of the collection and the other collection is an instance of group of people and human child is a member type of the other collection and the integer is a member count of the other collection and the collection is a potential customer for the agent
(=> (and (numberOccupant ?RESERVE ?NUM) (fulfillingEntity ?HOTEL ?RESERVE)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL Human) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2864-2873	If a hotel reservation may have an integer occupants and an agent fulfills the hotel reservation, then there exists a collection such that the collection is an instance of group of people and human is a member type of the collection and the integer is a member count of the collection and the collection is a potential customer for the agent
(=> (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 a reservation is for a positive integer customers and an agent fulfills the reservation and another agent reserves the reservation, then there exists a collection such that the collection is a potential customer for the agent and the collection is an instance of group of people and the other agent is a member of the collection and the positive integer is a member count of the collection
(=> (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 2925-2940	If a hotel reservation is for an integer seniors and an agent fulfills the hotel reservation, then there exist a collection and a real number such that the collection is an instance of group of people and for all a physical if the physical is a member of the collection, then the physical is an instance of human adult and the age of the physical is the real number year duration(s) and the real number is greater than or equal to 60 and the integer is a member count of the collection and the collection is a potential customer for the agent
(=> (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 a reservation starts at a time point and the reservation ends at another time point and an agent reserves the reservation and another agent fulfills the reservation, then the statement there exists an entity such that the entity is an instance of intentional process and the other agent is an agent of the entity and the entity ends up at the agent holds during interval between the time point and the other time point has the modal force of likely
(=> (fulfillingEntity ?ENTITY ?RESERVE) (exists (?P) (and (instance ?P Reserving) (destination ?P ?ENTITY) (result ?P ?RESERVE))))	Dining.kif 689-695	If an agent fulfills a reservation, then there exists a process such that the process is an instance of reserving and the process ends up at the agent and the reservation is a result of the process

consequent

(=>
    (instance ?R DiningReservation)
    (exists (?AGENT)
        (and
            (fulfillingEntity ?AGENT ?R)
            (instance ?AGENT Restaurant))))

Dining.kif 749-754

If a reservation is an instance of dining reservation,
then there exists an agent such that the agent fulfills the reservation and the agent is an instance of restaurant

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

KB Term:			Term intersection

English Word: