No TPTP formula. May not be expressible in strict first order. |
naics.kif 2109-2109 |
地毯和地毯厂 是 纺织品家具厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2115-2115 |
窗帘和亚麻布厂 是 纺织品家具厂 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57728-57728 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57727-57727 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57726-57726 |
|