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 |
域 rentalPrice, 2 and FunctionQuantity |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 456-456 |
域 rentalPrice, 3 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 457-457 |
域 rentalPrice, 4 and PricingScheme |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 454-454 |
域子類 rentalPrice, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 447-447 |
例 rentalPrice and QuaternaryPredicate |