| MattressManufacturing(床垫制造)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6123-6126 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8590-8590 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9409-9409 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6121-6121 | 床垫制造 是 其他家具相关产品制造 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36533-36533 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36532-36532 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36531-36531 |
|
|
|