No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 448-451 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 455-455 |
Le nombre 2 argument de rentalPrice est une instance de function de quantit� |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 456-456 |
Le nombre 3 argument de rentalPrice est une instance de agent cognitif |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 457-457 |
Le nombre 4 argument de rentalPrice est une instance de PricingScheme |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 454-454 |
Le nombre 1 argument de rentalPrice est une sous-classe de physique |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 447-447 |
rentalPrice est une instance de pr�dicat quaternaire |