No TPTP formula. May not be expressible in strict first order. |
naics.kif 9066-9066 |
CableAndOtherProgramDistribution e' um sub-atributo de CableNetworksAndProgramDistribution |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9060-9060 |
CableNetworks e' um sub-atributo de CableNetworksAndProgramDistribution |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12595-12595 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12594-12594 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12593-12593 |
|