productPrice |
appearance as argument number 1 |
(documentation productPrice EnglishLanguage "(productPrice ?ENT ?QUANT ?AGENT) means that CognitiveAgent ?AGENT sells items of type Entity ?ENT for CurrencyMeasure ?QUANT") | Catalog.kif 410-412 | |
(domain productPrice 2 CurrencyMeasure) | Catalog.kif 416-416 | productPrice の数値 2 引数は 通貨測定 の instance では %n |
(domain productPrice 3 CognitiveAgent) | Catalog.kif 417-417 | productPrice の数値 3 引数は 認識エージェント の instance では %n |
(domainSubclass productPrice 1 Entity) | Catalog.kif 415-415 | productPrice の数値 1 引数は エンティティー のsubclass では %n |
(instance productPrice TernaryPredicate) | Catalog.kif 409-409 | productPrice は 3進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage productPrice "%3 sells %1 對於 %2 ") | domainEnglishFormat.kif 4242-4242 | |
(format ChineseTraditionalLanguage productPrice "%3 sells %1 對於 %2 ") | domainEnglishFormat.kif 4241-4241 | |
(format EnglishLanguage productPrice "%3 sells %1 for %2") | domainEnglishFormat.kif 4240-4240 | |
(termFormat EnglishLanguage productPrice "product price") | Catalog.kif 413-413 |
antecedent |