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 | negotiatedPrice の数値 2 引数は 通貨測定 の instance では %n |
(domain negotiatedPrice 3 Agreement) | Catalog.kif 271-271 | negotiatedPrice の数値 3 引数は Agreement の instance では %n |
(domainSubclass negotiatedPrice 1 Physical) | Catalog.kif 269-269 | negotiatedPrice の数値 1 引数は 物理 のsubclass では %n |
(instance negotiatedPrice TernaryPredicate) | Catalog.kif 265-265 | negotiatedPrice は 3進述語 の instance では %n |
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 65884-65884 |
antecedent |