contractedRentalPrice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - contractedRentalPrice

contractedRentalPrice

appearance as argument number 1

(documentation contractedRentalPrice EnglishLanguage "(contractedRentalPrice ?OBJ ?PRICE ?AGREEMENT) means that the conditions of rental of Physical ?OBJ is stipulated in Agreement ?AGREEMENT entered into by CognitiveAgent ?AGENT with a customer.")	Catalog.kif 495-498
(domain contractedRentalPrice 2 FunctionQuantity)	Catalog.kif 502-502	The number 2 argument of contracted rental price is an instance of function quantity
(domain contractedRentalPrice 3 Agreement)	Catalog.kif 503-503	The number 3 argument of contracted rental price is an instance of agreement
(domainSubclass contractedRentalPrice 1 Physical)	Catalog.kif 501-501	The number 1 argument of contracted rental price is a subclass of physical
(instance contractedRentalPrice TernaryPredicate)	Catalog.kif 494-494	contracted rental price is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage contractedRentalPrice "%3 对于 %2 指定 %1 的 rental ")	domainEnglishFormat.kif 3102-3102
(format ChineseTraditionalLanguage contractedRentalPrice "%3 對於 %2 指定 %1 的 rental ")	domainEnglishFormat.kif 3101-3101
(format EnglishLanguage contractedRentalPrice "%3 specifies the rental of %1 for %2")	domainEnglishFormat.kif 3100-3100
(termFormat EnglishLanguage contractedRentalPrice "contracted rental price")	Catalog.kif 499-499

antecedent

(=> (contractedRentalPrice ?OBJ ?QUANT ?AGREE) (exists (?DURATION ?CURR) (and (instance ?CURR CurrencyMeasure) (instance ?DURATION TimeDuration) (equal ?QUANT (PerFn ?CURR ?DURATION)))))	Catalog.kif 505-511	If an agreement specifies the rental of a kind of physical for a function quantity, then there exist a physical quantity and another physical quantity such that the other physical quantity is an instance of currency measure and the physical quantity is an instance of time duration and the function quantity is equal to the per of the other physical quantity and the physical quantity
(=> (contractedRentalPrice ?OBJ ?QUANT ?AGREE) (exists (?SELLER ?CUSTOMER) (and (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?CUSTOMER ?AGREE) (modalAttribute (exists (?R ?O) (and (instance ?R Renting) (instance ?O ?OBJ) (patient ?R ?O) (agent ?R ?SELLER) (destination ?R ?CUSTOMER))) Obligation))))	Catalog.kif 513-526	If an agreement specifies the rental of a kind of physical for a function quantity, then there exist a cognitive agent and another cognitive agent such that the agreement is a party to agreement of the cognitive agent and the agreement is a party to agreement of the other cognitive agent and the statement there exist an entity and another entity such that the entity is an instance of renting and the other entity is an instance of a kind of physical and the other entity is a patient of the entity and the cognitive agent is an agent of the entity and the entity ends up at the other cognitive agent has the modal force of obligation

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