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	The number 2 argument of rental price is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 456-456	The number 3 argument of rental price is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 457-457	The number 4 argument of rental price is an instance of pricing scheme
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 454-454	The number 1 argument of rental price is a subclass of physical
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 447-447	rental price is an instance of quaternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4386-4386
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4385-4385
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4384-4384
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	If the price of a kind of physical set by a cognitive agent according to a pricing scheme is a function quantity and the function quantity is equal to the per of a currency measure and the measure of a real number is an unit of measure and the unit of measure is an instance of unit of duration and an entity is an immediate instance of a kind of physical and a process is an instance of renting and the entity is a patient of the process and an agent is an agent of the process and the process exists during the real numberINT, then for all another time interval if there exists another real number such that the real numberINT takes place during the other time interval and the other time interval is an instance of time interval and duration of the other time interval is the other real number the unit of measure(s) and the other real number is less than or equal to the real number, then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the cognitive agent and the agent is an agent of the financial transaction and the currency measure is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 459-465	If the price of a kind of physical set by a cognitive agent according to a pricing scheme is a function quantity, then there exist a physical quantity and another physical quantity such that the physical quantity is an instance of time duration and the other physical quantity is an instance of currency measure and the function quantity is equal to the per of the other physical quantity and the physical quantity

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