| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4675-4675 |
农业机械设备制造业 是 农具制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4683-4683 |
草坪和花园拖拉机和家庭草坪和园艺设备制造 是 农具制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5952-5952 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5951-5951 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5950-5950 |
|
AgriculturalImplementManufacturing