Renting - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Renting

Renting

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22422-22423
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22421-22421	Renting e' uma sub-classe de Tomar Emprestado
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22420-22420	Renting e' uma sub-classe de Transacao Financeira

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49490-49490
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49489-49489
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49488-49488

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	freeFunctionRoomAmenity HotelFunctionRoom and Fisico Entidade e' uma instancia de HotelFunctionRoom Entidade e' um elemento de propriedade de AutonomousAgent Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo termina em Agente Cognitivo Objeto e' uma instancia de Fisico AutonomousAgent possui Objeto customer Agente Cognitivo and AutonomousAgent Objeto e' uma instancia de Processo Objeto e' um agente de Agente Cognitivo Agente Cognitivo experimenta Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de Objeto Agente Cognitivo usa Objeto price Objeto, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	functionRoomAmenity HotelFunctionRoom and Fisico Entidade e' uma instancia de HotelFunctionRoom Entidade e' um elemento de propriedade de AutonomousAgent Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo termina em Entidade Fisico e' uma sub-classe de Objeto o argumento Entidade Entidade Entidade e' uma instancia de Fisico Entidade e' uma instancia de Processo Entidade e' um recurso para Entidade Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' um agente de Entidade Entidade experimenta Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22425-22432	Processo e' uma instancia de Renting Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo o argumento AutonomousAgent usa Entidade tem a forca modal de Permission vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 871-897	paidFunctionRoomAmenity HotelFunctionRoom and Fisico Entidade e' uma instancia de HotelFunctionRoom Entidade e' um elemento de propriedade de AutonomousAgent Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo termina em Agente Cognitivo Objeto e' uma instancia de Fisico AutonomousAgent possui Objeto customer Agente Cognitivo and AutonomousAgent Objeto e' uma instancia de Processo Objeto e' um agente de Agente Cognitivo Agente Cognitivo experimenta Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de Objeto Agente Cognitivo usa Objeto Numero Real Unidade de Medida price Objeto, Numero Real Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency Numero Real e' maior que 0
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	rentalPrice Fisico, Funcao de Quantidade, Agente Cognitivo and PricingScheme Funcao de Quantidade e' igual a PerFn Medida de Divisa and a medida de Numero Real e' Unidade de Medida Unidade de Medida e' uma instancia de UnitOfDuration Entidade e' uma instancia imediata de Fisico Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo existe durante Numero RealINT Intervalo Temporal Numero Real Numero RealINT acontece durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal a duracao de Intervalo Temporal e' Numero Real Unidade de Medida(s) Numero Real e' menor ou igual a Numero Real Transacao Financeira Transacao Financeira e' uma instancia de Payment Transacao Financeira termina em Agente Cognitivo Transacao Financeira e' um agente de AutonomousAgent transactionAmount Transacao Financeira and Medida de Divisa

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1696-1704	Fisico e' uma instancia de HotelFunctionRoom Fisico e' um elemento de propriedade de AutonomousAgent Fisico tem por fim Entidade Entidade e' uma instancia de Renting Fisico e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	naics.kif 9711-9720	PassengerCarRental e' um atributo de Objeto Objeto tem por fim Entidade Entidade and Entidade customer Entidade and Objeto Entidade e' uma instancia de Automobile Entidade e' uma instancia de Renting Objeto possui Entidade Entidade e' um agente de Entidade
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 513-526	contractedRentalPrice Fisico, Funcao de Quantidade and Agreement Agente Cognitivo Agente Cognitivo partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement o argumento Entidade Entidade Entidade e' uma instancia de Renting Entidade e' uma instancia de Fisico Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo Entidade termina em Agente Cognitivo tem a forca modal de Obligation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6890-6898	landlord AutonomousAgent and PermanentResidence Processo AutonomousAgent AutonomousAgent possui PermanentResidence tenant AutonomousAgent and PermanentResidence Processo e' um agente de AutonomousAgent Processo e' uma instancia de Renting PermanentResidence e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29989-29997	rents AutonomousAgent, AutonomousAgent, Objeto and Intervalo Temporal Entidade Entidade e' uma instancia de Renting Objeto e' um patient de Entidade Entidade e' um agente de AutonomousAgent AutonomousAgent possui Objeto vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6906-6914	tenant AutonomousAgent and PermanentResidence AutonomousAgent Processo Processo e' uma instancia de Renting landlord AutonomousAgent and PermanentResidence Processo e' um agente de AutonomousAgent AutonomousAgent possui PermanentResidence PermanentResidence e' um patient 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