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 | O argumento numero 2 de negotiatedPrice e' uma instancia de Medida de Divisa |
(domain negotiatedPrice 3 Agreement) | Catalog.kif 271-271 | O argumento numero 3 de negotiatedPrice e' uma instancia de Agreement |
(domainSubclass negotiatedPrice 1 Physical) | Catalog.kif 269-269 | O argumento numero 1 de negotiatedPrice e' uma sub-classe de Fisico |
(instance negotiatedPrice TernaryPredicate) | Catalog.kif 265-265 | negotiatedPrice e' uma instancia de Predicado Ternario |
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 |