No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18458-18460 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18462-18462 |
域 defaultMaxValue, 1 and Predicate |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18463-18463 |
域 defaultMaxValue, 2 and Integer |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18464-18464 |
域 defaultMaxValue, 3 and Quantity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18461-18461 |
例 defaultMaxValue and TernaryPredicate |