No TPTP formula. May not be expressible in strict first order. |
naics.kif 1926-1926 |
CigaretteManufacturing e' um sub-atributo de TobaccoProductManufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1932-1932 |
OtherTobaccoProductManufacturing e' um sub-atributo de TobaccoProductManufacturing |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58264-58264 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58263-58263 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58262-58262 |
|