No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18423-18425 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18427-18427 |
ε maxValue, 1 and Predicate |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18428-18428 |
ε maxValue, 2 and Integer |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18429-18429 |
ε maxValue, 3 and Quantity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18426-18426 |
δΎ maxValue and TernaryPredicate |