Translocation(translocation) |
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 |
|