No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 266-268 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 270-270 |
域 negotiatedPrice, 2 and CurrencyMeasure |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 271-271 |
域 negotiatedPrice, 3 and 協議 |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 269-269 |
域子類 negotiatedPrice, 1 and Physical |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 265-265 |
例 negotiatedPrice and TernaryPredicate |