| 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 |
汽车制造业 是 汽车和轻型汽车制造业 的 subAttribute |
more pictures...