No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18383-18385 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18387-18387 |
Le nombre 1 argument de minValue est une instance de predicat |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18388-18388 |
Le nombre 2 argument de minValue est une instance de nombre entier |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18389-18389 |
Le nombre 3 argument de minValue est une instance de quantit� |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18386-18386 |
minValue est une instance de pr�dicat ternaire |