HotelUnit - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HotelUnit

HotelUnit

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 91-93
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 89-89	HotelUnit est une sous-classe de artefact stationnaire
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 90-90	HotelUnit est une sous-classe de TemporaryResidence

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 120-120	HotelRoom est une sous-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 133-133	HotelVilla est une sous-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 94-94

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 336-336	Le nombre 1 argument de freeRoomAmenity est une sous-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 382-382	Le nombre 1 argument de paidRoomAmenity est une sous-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2949-2949	Le nombre 2 argument de reservedRoom est une sous-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 278-278	Le nombre 1 argument de roomAmenity est une sous-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 460-460	Le nombre 1 argument de roomAttribute est une sous-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 445-445	Le nombre 1 argument de roomPolicy est une sous-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2739-2739	Le nombre 3 argument de roomStay est une sous-classe de HotelUnit

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	Oversized est un attribut de objet objet est une instance imm�diate de classe classe est une sous-classe de HotelUnit physique nombre r�el, nombre r�el and unit� de mesure physique est une instance imm�diate de classe unit� de mesure est une instance de UnitOfArea la mesure de physique est nombre r�el unit� de mesure(s) la mesure de objet est nombre r�el unit� de mesure(s) nombre r�el est une instance de mesure d'aire nombre r�el est une instance de mesure d'aire nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1003-1014	Suite est un attribut de objet objet est une instance de HotelUnit objet objet objet est une instance de HotelRoom objet est une instance de HotelRoom objet est Inside � objet objet est Inside � objet objet est objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 69-75	rents AutonomousAgent, AutonomousAgent, objet and interval temporel TravelerAccommodation est un attribut de AutonomousAgent objet est une instance de HotelUnit guest AutonomousAgent and AutonomousAgent pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 96-101	Objet est une instance de HotelUnit physique physique est une instance de Bed physique est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 103-108	Entit� est une instance de HotelUnit AutonomousAgent TravelerAccommodation est un attribut de AutonomousAgent entit� est un appartenir � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 110-117	Physique est une instance de HotelUnit physique a pour but entit� entit� and entit� entit� est entit� physique est un appartenir � entit� rents entit�, entit�, physique and entit�

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 978-982	Attribut est un attribut de objet attribut est une instance de HotelRoomAttribute objet est une instance de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	TravelerAccommodation est un attribut de AutonomousAgent AutonomousAgent est capable de faire RoomCleaningService dans le r�le agent agent cognitif objet AutonomousAgent emploie agent cognitif Maid est un attribut de agent cognitif objet est une instance de HotelUnit objet est une partie de appartenir � AutonomousAgent objet est capable de faire RoomCleaningService dans le r�le patient agent cognitif est capable de faire RoomCleaningService dans le r�le serviceProvider
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2392-2407	customer agent cognitif and AutonomousAgent AutonomousAgent emploie agent cognitif TravelerAccommodation est un attribut de AutonomousAgent Porter est un attribut de agent cognitif agent cognitif poss�de objet objet est une instance de TravelContainer objet processus objet est une instance de HotelUnit processus est une instance de Carrying processus est un agent de agent cognitif processus aboutit � objet processus a pour origine objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 45-52	TravelerAccommodation est un attribut de objet objet a pour but entit� entit� and entit� rents entit�, objet, entit� and entit� entit� est une instance de HotelUnit entit� est un appartenir � objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1969-1987	Processus est une instance de RoomService AutonomousAgent entit�, agent cognitif, processus, entit�, processus and objet customer agent cognitif and AutonomousAgent processus est un agent de AutonomousAgent processus est une instance de demander processus est un agent de agent cognitif entit� est un patient de processus entit� d�finie entit� entit� est une instance de PreparedFood agent cognitif est situ� � objet objet est une instance de HotelUnit processus est une instance de DeliveryService entit� est un patient de processus processus aboutit � objet le d�but de temps d'existence de processus se produit avant le d�but de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 143-145	Collection est une instance de RoomInventory memberType collection and HotelUnit

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