No TPTP formula. May not be expressible in strict first order. |
naics.kif 3030-3030 |
PrepressServices e' um sub-atributo de SupportActivitiesForPrinting |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3023-3023 |
TradebindingAndRelatedWork e' um sub-atributo de SupportActivitiesForPrinting |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56191-56191 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56190-56190 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56189-56189 |
|