Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| negotiatedPrice |
| appearance as argument number 1 |
|
| (instance negotiatedPrice TernaryPredicate) | Catalog.kif 265-265 | negotiated price is an instance of ternary predicate |
| (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 | negotiated price is an instance of ternary predicate |
| (domainSubclass negotiatedPrice 1 Physical) | Catalog.kif 269-269 | The number 1 argument of negotiated price is a subclass of physical |
| (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 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage negotiatedPrice "the price negotiated for %1 in %3 is %2") | domainEnglishFormat.kif 3962-3962 | |
| (format ChineseTraditionalLanguage negotiatedPrice "對於 %1 協商的 price 在 %3 是 %2 ") | domainEnglishFormat.kif 3963-3963 | |
| (format ChineseLanguage negotiatedPrice "对于 %1 协商的 price 在 %3 是 %2 ") | domainEnglishFormat.kif 3964-3964 | |
| (termFormat EnglishLanguage negotiatedPrice "negotiated price") | domainEnglishFormat.kif 65903-65903 |
| antecedent |
|
|
| (=> (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 X in Y is Z, Y is a party to agreement of W, and Y is a party to agreement of V, then All of the following hold: (1) the statement there exist U (2) T such that U is an instance of selling (3) T is a patient of U (4) T is an immediate instance of X (5) W is an agent of U (6) U ends up at V (7) Z is a transaction amount of U has the modal force of promise |
| (=> (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 X in Y is Z, Y is a party to agreement of W, and Y is a party to agreement of V, then All of the following hold: (1) W has the responsibility to make there exist U (2) T such that U is an instance of buying (3) T is a patient of U (4) T is an immediate instance of X (5) V is an agent of U (6) U originates at W (7) Z is a transaction amount of U obligation in Y |
|