No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6281-6288 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2087-2094 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14311-14319 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14298-14304 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 523-530 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3683-3712 |
|