No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 410-412 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 416-416 |
域 productPrice, 2 and CurrencyMeasure |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 417-417 |
域 productPrice, 3 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 415-415 |
域子類 productPrice, 1 and Entity |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 409-409 |
例 productPrice and TernaryPredicate |