| 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 |
汽車 是 汽車製造業 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 5714-5714 |
子屬性 汽車製造業 and 汽車和輕型汽車製造業 |
AutomobileManufacturing
