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 |
The number 2 argument of unit price is an instance of function quantity |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 399-399 |
The number 3 argument of unit price is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 400-400 |
The number 4 argument of unit price is an instance of pricing scheme |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 397-397 |
The number 1 argument of unit price is a subclass of entity |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 390-390 |
unit price is an instance of quaternary predicate |