| Printing(printing)
| | printing |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2943-2945 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6793-6793 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2941-2941 | Printing is a subattribute of printing and related support activities |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3002-3002 | Blankbook looseleaf binders and devices manufacturing is a subattribute of printing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2996-2996 | Books printing is a subattribute of printing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2961-2961 | Commercial flexographic printing is a subattribute of printing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2954-2954 | Commercial gravure printing is a subattribute of printing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2947-2947 | Commercial lithographic printing is a subattribute of printing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2968-2968 | Commercial screen printing is a subattribute of printing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2982-2982 | Digital printing is a subattribute of printing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2989-2989 | Manifold business forms printing is a subattribute of printing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3010-3010 | Other commercial printing is a subattribute of printing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 2976-2976 | Quick printing is a subattribute of printing |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47378-47378 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47377-47377 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47376-47376 |
|
|
|