publishedPrice |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 327-329 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 333-333 | Le nombre 2 argument de publishedPrice est une instance de mesure de devise |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 334-334 | Le nombre 3 argument de publishedPrice est une instance de agent cognitif |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 335-335 | Le nombre 4 argument de publishedPrice est une instance de PricingScheme |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 332-332 | Le nombre 1 argument de publishedPrice est une sous-classe de entit� |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 326-326 | publishedPrice est une instance de pr�dicat quaternaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4274-4274 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4273-4273 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4272-4272 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 330-330 |
antecedent |