| MattressManufacturing(mattress manufacturing)
|
| 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 | Mattress manufacturing is a subattribute of other furniture related product manufacturing |
| 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 |
|
|
|