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

No TPTP formula. May not be expressible in strict first order.	Dining.kif 653-655
No TPTP formula. May not be expressible in strict first order.	Dining.kif 656-656	Le nombre 1 argument de reservingEntity est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 657-657	Le nombre 2 argument de reservingEntity est une instance de Reservation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 652-652	reservingEntity est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4418-4418
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4417-4417
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4416-4416
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65928-65928

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	AutonomousAgent est une instance de AutonomousAgent potentialCustomer agent cognitif and AutonomousAgent l'argument entit� est une instance de Reserving entit� aboutit � AutonomousAgent a la force modale de Necessity la probabilit� de entit�ES1 entit�ES1 est une instance de Reservation reservingEntity agent cognitif and entit�ES1 fulfillingEntity AutonomousAgent and entit�ES1 pourvu que customer agent cognitif and AutonomousAgent vaut nombre r�el la probabilit� de entit�ES2 entit�ES2 est une instance de Reservation reservingEntity agent cognitif and entit�ES2 fulfillingEntity AutonomousAgent and entit�ES2 pourvu que customer agent cognitif and AutonomousAgent vaut nombre r�el nombre r�el est moins que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Dining.kif 732-742	numberOfCustomers nombre entier positif and Reservation fulfillingEntity AutonomousAgent and Reservation reservingEntity AutonomousAgent and Reservation collection potentialCustomer collection and AutonomousAgent collection est une instance de GroupOfPeople AutonomousAgent est un membre de collection memberCount collection and nombre entier positif
No TPTP formula. May not be expressible in strict first order.	Dining.kif 711-724	reservationStart point temporel and Reservation reservationEnd point temporel and Reservation reservingEntity AutonomousAgent and Reservation fulfillingEntity AutonomousAgent and Reservation l'argument entit� entit� est une instance de processus intentionnel entit� est un agent de AutonomousAgent entit� aboutit � AutonomousAgent pendant l'intervale entre point temporel et point temporel a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2973-2981	reservedPackage Reservation and proposition reservingEntity Reservation and Reservation l'argument entit� entit� exprime le contenu de proposition Reservation exp�rimente entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2951-2963	reservedRoom HotelReservation and HotelUnit reservationStart HotelReservation and Reservation reservationEnd HotelReservation and Reservation reservingEntity HotelReservation and Reservation l'argument entit� entit� est une instance de HotelUnit stays Reservation and entit� pendant l'intervale entre Reservation et Reservation a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Dining.kif 659-665	reservingEntity AutonomousAgent and Reservation processus processus est une instance de Reserving processus est un agent de AutonomousAgent Reservation est le resultat de processus

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