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 | O argumento numero 2 de publishedPrice e' uma instancia de Medida de Divisa |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 334-334 | O argumento numero 3 de publishedPrice e' uma instancia de Agente Cognitivo |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 335-335 | O argumento numero 4 de publishedPrice e' uma instancia de PricingScheme |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 332-332 | O argumento numero 1 de publishedPrice e' uma sub-classe de Entidade |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 326-326 | publishedPrice e' uma instancia de Predicado Quaternario |
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 |