negotiatedPrice - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - negotiatedPrice

negotiatedPrice

appearance as argument number 1

(documentation negotiatedPrice EnglishLanguage "(negotiatedPrice ?ENT ?PRICE ?AGREE) means that according to Agreement ?AGREE - which is agreed upon by seller and buyer - the CurrencyMeasure ?PRICE is given to Entity ?ENT")	Catalog.kif 266-268
(domain negotiatedPrice 2 CurrencyMeasure)	Catalog.kif 270-270	The number 2 argument of negotiated price is an instance of currency measure
(domain negotiatedPrice 3 Agreement)	Catalog.kif 271-271	The number 3 argument of negotiated price is an instance of agreement
(domainSubclass negotiatedPrice 1 Physical)	Catalog.kif 269-269	The number 1 argument of negotiated price is a subclass of physical
(instance negotiatedPrice TernaryPredicate)	Catalog.kif 265-265	negotiated price is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage negotiatedPrice "对于 %1 协商的 price 在 %3 是 %2 ")	domainEnglishFormat.kif 3960-3960
(format ChineseTraditionalLanguage negotiatedPrice "對於 %1 協商的 price 在 %3 是 %2 ")	domainEnglishFormat.kif 3959-3959
(format EnglishLanguage negotiatedPrice "the price negotiated for %1 in %3 is %2")	domainEnglishFormat.kif 3958-3958
(termFormat EnglishLanguage negotiatedPrice "negotiated price")	domainEnglishFormat.kif 65937-65937

antecedent

(=> (and (negotiatedPrice ?ENT ?PRICE ?AGREE) (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?BUYER ?AGREE)) (agreementClause (exists (?B ?ITEM) (and (instance ?B Buying) (patient ?B ?ITEM) (immediateInstance ?ITEM ?ENT) (agent ?B ?BUYER) (origin ?B ?SELLER) (transactionAmount ?B ?PRICE))) Obligation ?AGREE ?SELLER))	Catalog.kif 311-324	If the price negotiated for a kind of physical in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent, then the cognitive agent has the responsibility to make there exist an entity and another entity such that the entity is an instance of buying and the other entity is a patient of the entity and the other entity is an immediate instance of a kind of physical and the other cognitive agent is an agent of the entity and the entity originates at the cognitive agent and the currency measure is a transaction amount of the entity obligation in the agreement
(=> (and (negotiatedPrice ?ENT ?PRICE ?AGREE) (partyToAgreement ?SELLER ?AGREE) (partyToAgreement ?BUYER ?AGREE)) (modalAttribute (exists (?S ?ITEM) (and (instance ?S Selling) (patient ?S ?ITEM) (immediateInstance ?ITEM ?ENT) (agent ?S ?SELLER) (destination ?S ?BUYER) (transactionAmount ?S ?PRICE))) Promise))	Catalog.kif 276-289	If the price negotiated for a kind of physical in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent, then the statement there exist an entity and another entity such that the entity is an instance of selling and the other entity is a patient of the entity and the other entity is an immediate instance of a kind of physical and the cognitive agent is an agent of the entity and the entity ends up at the other cognitive agent and the currency measure is a transaction amount of the entity has the modal force of promise

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