Translocation(translocation) |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 854-856 |
|
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 14289-14297 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14276-14282 |
|
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 3675-3704 |
|