No TPTP formula. May not be expressible in strict first order. |
naics.kif 9066-9066 |
CableAndOtherProgramDistribution est un sous-attribut de CableNetworksAndProgramDistribution |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9060-9060 |
CableNetworks est un sous-attribut 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 |
|