TreeView Knowledge Base Browser - HotelUnit

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 e' uma sub-classe de Artefato Estacionario
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 90-90	HotelUnit e' uma sub-classe de TemporaryResidence

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 120-120	HotelRoom e' uma sub-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 133-133	HotelVilla e' uma sub-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	O argumento numero 1 de freeRoomAmenity e' uma sub-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 382-382	O argumento numero 1 de paidRoomAmenity e' uma sub-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2949-2949	O argumento numero 2 de reservedRoom e' uma sub-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 278-278	O argumento numero 1 de roomAmenity e' uma sub-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 460-460	O argumento numero 1 de roomAttribute e' uma sub-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 445-445	O argumento numero 1 de roomPolicy e' uma sub-classe de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2739-2739	O argumento numero 3 de roomStay e' uma sub-classe de HotelUnit

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	Oversized e' um atributo de Objeto Objeto e' uma instancia imediata de Classe Classe e' uma sub-classe de HotelUnit Fisico Numero Real, Numero Real and Unidade de Medida Fisico e' uma instancia imediata de Classe Unidade de Medida e' uma instancia de UnitOfArea a medida de Fisico e' Numero Real Unidade de Medida(s) a medida de Objeto e' Numero Real Unidade de Medida(s) Numero Real e' uma instancia de Medida de Area Numero Real e' uma instancia de Medida de Area Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1003-1014	Suite e' um atributo de Objeto Objeto e' uma instancia de HotelUnit Objeto Objeto Objeto e' uma instancia de HotelRoom Objeto e' uma instancia de HotelRoom Objeto e' Inside em relacao a Objeto Objeto e' Inside em relacao a Objeto Objeto e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 69-75	rents AutonomousAgent, AutonomousAgent, Objeto and Intervalo Temporal TravelerAccommodation e' um atributo de AutonomousAgent Objeto e' uma instancia de HotelUnit guest AutonomousAgent and AutonomousAgent vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 96-101	Objeto e' uma instancia de HotelUnit Fisico Fisico e' uma instancia de Bed Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 103-108	Entidade e' uma instancia de HotelUnit AutonomousAgent TravelerAccommodation e' um atributo de AutonomousAgent Entidade e' um elemento de propriedade de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 110-117	Fisico e' uma instancia de HotelUnit Fisico tem por fim Entidade Entidade and Entidade Entidade e' igual a Entidade Fisico e' um elemento de propriedade de Entidade rents Entidade, Entidade, Fisico and Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 978-982	Atributo e' um atributo de Objeto Atributo e' uma instancia de HotelRoomAttribute Objeto e' uma instancia de HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	TravelerAccommodation e' um atributo de AutonomousAgent AutonomousAgent e' capaz de fazer RoomCleaningService no role agent Agente Cognitivo Objeto AutonomousAgent emprega Agente Cognitivo Maid e' um atributo de Agente Cognitivo Objeto e' uma instancia de HotelUnit Objeto e' uma &parte de propriedade de AutonomousAgent Objeto e' capaz de fazer RoomCleaningService no role patient Agente Cognitivo e' capaz de fazer RoomCleaningService no role serviceProvider
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2392-2407	customer Agente Cognitivo and AutonomousAgent AutonomousAgent emprega Agente Cognitivo TravelerAccommodation e' um atributo de AutonomousAgent Porter e' um atributo de Agente Cognitivo Agente Cognitivo possui Objeto Objeto e' uma instancia de TravelContainer Objeto Processo Objeto e' uma instancia de HotelUnit Processo e' uma instancia de Carrying Processo e' um agente de Agente Cognitivo Processo termina em Objeto Processo tem como origem Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 45-52	TravelerAccommodation e' um atributo de Objeto Objeto tem por fim Entidade Entidade and Entidade rents Entidade, Objeto, Entidade and Entidade Entidade e' uma instancia de HotelUnit Entidade e' um elemento de propriedade de Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1969-1987	Processo e' uma instancia de RoomService AutonomousAgent Entidade, Agente Cognitivo, Processo, Entidade, Processo and Objeto customer Agente Cognitivo and AutonomousAgent Processo e' um agente de AutonomousAgent Processo e' uma instancia de Pedir Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Entidade define Entidade Entidade e' uma instancia de PreparedFood Agente Cognitivo e' situado em Objeto Objeto e' uma instancia de HotelUnit Processo e' uma instancia de DeliveryService Entidade e' um patient de Processo Processo termina em Objeto o comeco de tempo de existencia de Processo comeca antes de o comeco de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 143-145	Colecao e' uma instancia de RoomInventory memberType Colecao and HotelUnit

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