reservingEntity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - reservingEntity

reservingEntity

appearance as argument number 1

(documentation reservingEntity EnglishLanguage "(reservingEntity ?ENTITY ?RESERVE) means that ?ENTITY is the AutonomousAgent reserving a particular resource indicated by ?RESERVE")	Dining.kif 653-655
(domain reservingEntity 1 AutonomousAgent)	Dining.kif 656-656	The number 1 argument of reserving entity is an instance of agent
(domain reservingEntity 2 Reservation)	Dining.kif 657-657	The number 2 argument of reserving entity is an instance of reservation
(instance reservingEntity BinaryPredicate)	Dining.kif 652-652	reserving entity is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage reservingEntity "%1 reserves %2 ")	domainEnglishFormat.kif 4418-4418
(format ChineseTraditionalLanguage reservingEntity "%1 reserves %2 ")	domainEnglishFormat.kif 4417-4417
(format EnglishLanguage reservingEntity "%1 reserves %2")	domainEnglishFormat.kif 4416-4416
(termFormat EnglishLanguage reservingEntity "reserving entity")	domainEnglishFormat.kif 65985-65985

antecedent

(=> (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 (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 (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
(=> (and (reservedPackage ?RESERVE ?PACKAGE) (reservingEntity ?RESERVE ?CUST)) (modalAttribute (exists (?PROC) (and (realization ?PROC ?PACKAGE) (experiencer ?PROC ?CUST))) Likely))	Hotel.kif 2973-2981	If a reservation is a reservation for a proposition and the reservation reserves another reservation, then the statement there exists an entity such that the entity expresses the content of the proposition and the other reservation experiences the entity has the modal force of likely
(=> (and (reservedRoom ?RESERVE ?ROOMTYPE) (reservationStart ?RESERVE ?TIME1) (reservationEnd ?RESERVE ?TIME2) (reservingEntity ?RESERVE ?CUST)) (modalAttribute (holdsDuring (TimeIntervalFn ?TIME1 ?TIME2) (exists (?X) (and (instance ?X ?ROOMTYPE) (stays ?CUST ?X)))) Likely))	Hotel.kif 2951-2963	If a hotel reservation is a reservation for a kind of hotel unit and a reservation starts at the hotel reservation and another reservation ends at the hotel reservation and the hotel reservation reserves a third reservation, then the statement there exists an entity such that the entity is an instance of a kind of hotel unit and the third reservation stays at the entity holds during interval between the reservation and the other reservation has the modal force of likely
(=> (reservingEntity ?ENTITY ?RESERVE) (exists (?P) (and (instance ?P Reserving) (agent ?P ?ENTITY) (result ?P ?RESERVE))))	Dining.kif 659-665	If an agent reserves a reservation, then there exists a process such that the process is an instance of reserving and the agent is an agent of the process and the reservation is a result of the process

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