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 | Il numero 2 argomenti di productPrice è un istanza di MisuraMonetaria |
(domain productPrice 3 CognitiveAgent) | Catalog.kif 417-417 | Il numero 3 argomenti di productPrice è un istanza di AgenteCognitivo |
(domainSubclass productPrice 1 Entity) | Catalog.kif 415-415 | Il numero 1 argomento productPrice è una sottoclasse diEntit� |
(instance productPrice TernaryPredicate) | Catalog.kif 409-409 | productPrice è un' istanza di PredicatoTernario |
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 |