rentalPrice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - rentalPrice

rentalPrice

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 448-451
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 455-455	O argumento numero 2 de rentalPrice e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 456-456	O argumento numero 3 de rentalPrice e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 457-457	O argumento numero 4 de rentalPrice e' uma instancia de PricingScheme
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 454-454	O argumento numero 1 de rentalPrice e' uma sub-classe de Fisico
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 447-447	rentalPrice e' uma instancia de Predicado Quaternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4382-4382
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4381-4381
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4380-4380
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 452-452

antecedent

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
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 459-465	rentalPrice Fisico, Funcao de Quantidade, Agente Cognitivo and PricingScheme Quantidade Fisica Quantidade Fisica Quantidade Fisica e' uma instancia de Duracao Temporal Quantidade Fisica e' uma instancia de Medida de Divisa Funcao de Quantidade e' igual a PerFn Quantidade Fisica and Quantidade Fisica

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