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 | Die Zahl 2 Argument von productPrice ist ein fall von CurrencyMeasure %n{nicht} |
(domain productPrice 3 CognitiveAgent) | Catalog.kif 417-417 | Die Zahl 3 Argument von productPrice ist ein fall von CognitiveAgent %n{nicht} |
(domainSubclass productPrice 1 Entity) | Catalog.kif 415-415 | Die Zahl 1 Argument von productPrice ist eine teilkategorie von Entity %n{nicht} |
(instance productPrice TernaryPredicate) | Catalog.kif 409-409 | productPrice ist ein fall von TernaryPredicate %n{nicht} |
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 |