No TPTP formula. May not be expressible in strict first order. |
naics.kif 6406-6406 |
汽车和其他汽车批发商 是 汽车及汽车零部件及用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6428-6428 |
汽车零部件二手批发商 是 汽车及汽车零部件及用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6413-6413 |
汽车用品和新零件批发商 是 汽车及汽车零部件及用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6421-6421 |
轮胎和管批发商 是 汽车及汽车零部件及用品批发商 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38867-38867 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38866-38866 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38865-38865 |
|