No TPTP formula. May not be expressible in strict first order. |
naics.kif 5716-5719 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8363-8363 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8948-8948 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8942-8942 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8938-8938 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8940-8940 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8941-8941 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8946-8946 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8947-8947 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8944-8944 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8949-8949 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1705-1705 |
Automobile is an industry product type of automobile manufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5714-5714 |
Automobile manufacturing is a subattribute of automobile and light duty motor vehicle manufacturing |