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 |
Le nombre 2 argument de unitPrice est une instance de function de quantit� |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 399-399 |
Le nombre 3 argument de unitPrice est une instance de agent cognitif |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 400-400 |
Le nombre 4 argument de unitPrice est une instance de PricingScheme |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 397-397 |
Le nombre 1 argument de unitPrice est une sous-classe de entit� |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 390-390 |
unitPrice est une instance de pr�dicat quaternaire |