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 |
|