TreeView Knowledge Base Browser - Reservation

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

SingleFamilyResidence

Sigma KEE - Reservation

Reservation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 640-642
No TPTP formula. May not be expressible in strict first order.	Dining.kif 639-639	Reservation e' uma sub-classe de Agreement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Dining.kif 744-744	DiningReservation e' uma sub-classe de Reservation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2832-2832	FlightReservation e' uma sub-classe de Reservation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2842-2842	HotelReservation e' uma sub-classe de Reservation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2837-2837	TourReservation e' uma sub-classe de Reservation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2819-2819	TravelReservation e' uma sub-classe de Reservation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 643-643

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Dining.kif 687-687	O argumento numero 2 de fulfillingEntity e' uma instancia de Reservation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 730-730	O argumento numero 2 de numberOfCustomers e' uma instancia de Reservation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2988-2988	O argumento numero 1 de rateDetail e' uma instancia de Reservation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 672-672	O argumento numero 2 de reservationChannel e' uma instancia de Reservation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 709-709	O argumento numero 2 de reservationEnd e' uma instancia de Reservation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 702-702	O argumento numero 2 de reservationStart e' uma instancia de Reservation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2970-2970	O argumento numero 1 de reservedPackage e' uma instancia de Reservation
No TPTP formula. May not be expressible in strict first order.	Dining.kif 657-657	O argumento numero 2 de reservingEntity e' uma instancia de Reservation

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	AutonomousAgent e' uma instancia de AutonomousAgent potentialCustomer Agente Cognitivo and AutonomousAgent o argumento Entidade e' uma instancia de Reserving Entidade termina em AutonomousAgent tem a forca modal de Necessity a probabilidade de EntidadeES1 EntidadeES1 e' uma instancia de Reservation reservingEntity Agente Cognitivo and EntidadeES1 fulfillingEntity AutonomousAgent and EntidadeES1 sabendo que customer Agente Cognitivo and AutonomousAgent vale e' Numero Real a probabilidade de EntidadeES2 EntidadeES2 e' uma instancia de Reservation reservingEntity Agente Cognitivo and EntidadeES2 fulfillingEntity AutonomousAgent and EntidadeES2 sabendo que customer Agente Cognitivo and AutonomousAgent vale e' Numero Real Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Dining.kif 645-650	Entidade e' uma instancia de Reservation Processo Processo e' uma instancia de Reserving Entidade e' o resultado de Processo

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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