No TPTP formula. May not be expressible in strict first order. |
naics.kif 2941-2941 |
Printing e' um sub-atributo de PrintingAndRelatedSupportActivities |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3017-3017 |
SupportActivitiesForPrinting e' um sub-atributo de PrintingAndRelatedSupportActivities |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47384-47384 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47383-47383 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47382-47382 |
|