No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2027-2029 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5084-5084 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5083-5083 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5085-5085 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5087-5087 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5081-5081 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5082-5082 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4944-4944 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5086-5086 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2026-2026 |
Truck tractor is a subclass of truck |