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 47386-47386 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47385-47385 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47384-47384 |
|