No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 391-396 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 398-398 |
O argumento numero 2 de unitPrice e' uma instancia de Funcao de Quantidade |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 399-399 |
O argumento numero 3 de unitPrice e' uma instancia de Agente Cognitivo |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 400-400 |
O argumento numero 4 de unitPrice e' uma instancia de PricingScheme |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 397-397 |
O argumento numero 1 de unitPrice e' uma sub-classe de Entidade |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 390-390 |
unitPrice e' uma instancia de Predicado Quaternario |