No TPTP formula. May not be expressible in strict first order. |
naics.kif 10610-10610 |
AllOtherSupportServices e' um sub-atributo de OtherSupportServices |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10603-10603 |
ConventionAndTradeShowOrganizers e' um sub-atributo de OtherSupportServices |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10596-10596 |
PackagingAndLabelingServices e' um sub-atributo de OtherSupportServices |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43548-43548 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43547-43547 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43546-43546 |
|