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 3966-3966 | |
(format ChineseTraditionalLanguage negotiatedPrice "對於 %1 協商的 price 在 %3 是 %2 ") | domainEnglishFormat.kif 3965-3965 | |
(format EnglishLanguage negotiatedPrice "the price negotiated for %1 in %3 is %2") | domainEnglishFormat.kif 3964-3964 | |
(termFormat EnglishLanguage negotiatedPrice "negotiated price") | domainEnglishFormat.kif 65886-65886 |
antecedent |