| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4669-4669 |
农具制造业 是 农业建设和采矿机械制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4692-4692 |
建造机械制造业 是 农业建设和采矿机械制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4700-4700 |
采矿和油气田机械制造业 是 农业建设和采矿机械制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5994-5994 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5993-5993 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5992-5992 |
|
AgricultureConstructionAndMiningMachineryManufacturing