stays - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - stays

stays

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14415-14415	stays e home sao disjuntos
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3377-3378
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14418-14419
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14416-14416	O argumento numero 1 de stays e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14417-14417	O argumento numero 2 de stays e' uma instancia de TemporaryResidence
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14414-14414	stays e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14413-14413	stays e' uma sub-relacao de inhabits

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4638-4638
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4637-4637
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4636-4636
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55206-55206
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55205-55205
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55204-55204

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	freeRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Objeto TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Objeto e' uma instancia de Fisico Objeto e' situado em TemporaryResidence Processo e' uma instancia de Processo Processo e' um agente de Humano Objeto e' um patient de Processo Objeto e' um instrumento para Processo Objeto e' um recurso para Processo price Objeto, 0 UnitedStatesDollar(s) and Humano
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	freeRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Processo TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Humano e' um patient de Processo Processo e' uma instancia de Fisico Processo e' uma instancia de Fisico Processo e' um sub-processo de Processo Processo e' situado em TemporaryResidence price Processo, 0.0 UnitedStatesDollar(s) and Humano
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	guest Humano and AutonomousAgent stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent TemporaryResidence e' uma instancia de TemporaryResidenceOOM roomAmenity TemporaryResidenceOOM and Fisico Fisico e' uma sub-classe de Objeto Fisico Fisico e' uma instancia de Fisico Fisico e' situado em TemporaryResidence AutonomousAgent autoriza Humano a executar tarefas de tipo Entidade Entidade e' um agente de Humano Fisico e' um instrumento para Entidade Fisico e' um patient de Entidade Fisico e' um recurso para Entidade
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 396-417	paidRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Objeto TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Objeto e' uma instancia de Fisico Objeto e' situado em TemporaryResidence Processo e' uma instancia de Processo Processo e' um agente de Humano Processo e' situado em TemporaryResidence Objeto e' um patient de Processo Objeto e' um instrumento para Processo Objeto e' um recurso para Processo ProcessoRICE Unidade de Medida price Objeto, ProcessoRICE Unidade de Medida(s) and Humano Unidade de Medida e' uma instancia de UnitOfCurrency ProcessoRICE e' maior que 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	paidRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Processo TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Humano e' um patient de Processo Processo e' uma instancia de Fisico Processo e' uma instancia de Fisico Processo e' um sub-processo de Processo Processo e' situado em TemporaryResidence ProcessoRICE Unidade de Medida price Processo, ProcessoRICE Unidade de Medida(s) and Humano Unidade de Medida e' uma instancia de UnitOfCurrency ProcessoRICE e' maior que 0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20567-20577	Entidade e' uma instancia de IntensiveCareUnit stays Entidade and Entidade vale durante Posicao Temporal o argumento Entidade Entidade e' uma instancia de Morte tempo de existencia de Entidade termina em Posicao Temporal tem a forca modal de Possibility

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2654-2674	Policy e' uma instancia de DailyHousekeepingPolicy policyOwner Organizacao and Policy o argumento Entidade Entidade and Entidade guest Entidade and Organizacao stays Entidade and Entidade Entidade e' igual a tempo de existencia de stays Entidade and Entidade Entidade Entidade e' uma instancia de Dia Entidade acontece durante Entidade Entidade Entidade e' uma instancia de RoomCleaningService Entidade e' um patient de Entidade Entidade acontece durante Entidade vale durante Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2681-2697	Policy e' uma instancia de NoHousekeepingPolicy policyOwner Organizacao and Policy TravelerAccommodation e' um atributo de Organizacao o argumento Entidade Entidade guest Entidade and Organizacao Entidade Entidade e' uma instancia de RoomCleaningService Entidade e' um patient de Entidade vale durante tempo de existencia de stays Entidade and Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2704-2719	Policy e' uma instancia de WithHousekeepingPolicy policyOwner Organizacao and Policy TravelerAccommodation e' um atributo de Organizacao o argumento Entidade Entidade guest Entidade and Organizacao Entidade Entidade e' uma instancia de RoomCleaningService Entidade e' um patient de Entidade vale durante tempo de existencia de stays Entidade and Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 479-490	maxRoomCapacity Artefato Estacionario and Numero Inteiro Entidade e' uma instancia de Artefato Estacionario Entidade e' um elemento de propriedade de AutonomousAgent o argumento Entidade Entidade Entidade e' uma instancia de GroupOfPeople memberCount Entidade and Entidade Entidade e' menor ou igual a Numero Inteiro stays Entidade and Entidade tem a forca modal de Possibility
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 o argumento Entidade Entidade e' uma instancia de HotelUnit stays Reservation and Entidade vale durante o intervalo entre Reservation e Reservation tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1029-1035	ChildrenSuite e' um atributo de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de HumanChild stays Entidade and Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1243-1254	ExclusiveFemaleLevel e' um atributo de Objeto Fisico Fisico e' uma instancia de HotelRoom Fisico e' situado em Objeto Fisico tem por fim Entidade Female e' um atributo de Entidade stays Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1224-1236	ExecutiveLevel e' um atributo de Objeto Fisico Fisico e' uma instancia de HotelRoom Fisico e' situado em Objeto Fisico tem por fim Entidade BusinessExecutive e' um atributo de Entidade Entidade e' uma instancia de Humano stays Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1042-1050	FemaleExecutiveRoom e' um atributo de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Humano Female e' um atributo de Entidade BusinessExecutive e' um atributo de Entidade stays Entidade and Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2245-2252	ServiceProcess e' uma instancia de ExecutiveService Humano Objeto and TemporaryResidence serviceRecipient ServiceProcess and Humano stays Humano and TemporaryResidence TemporaryResidence e' situado em Objeto ExecutiveLevel e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1827-1848	Processo e' uma instancia de ValetLaundryService Humano AutonomousAgent, TemporaryResidence, Entidade, Processo, Processo and Processo customer Humano and AutonomousAgent stays Humano and TemporaryResidence Processo e' um agente de AutonomousAgent Entidade e' uma instancia de Roupa Processo e' uma instancia de Obter Processo e' situado em TemporaryResidence Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo e' uma instancia de LaundryService Processo e' uma instancia de DryCleaningService Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo e' uma instancia de DeliveryService Entidade e' um patient de Processo Processo termina em TemporaryResidence o comeco de tempo de existencia de Processo comeca antes de o comeco de tempo de existencia de Processo o comeco de tempo de existencia de Processo comeca antes de o comeco de tempo de existencia de Processo

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