No TPTP formula. May not be expressible in strict first order. |
naics.kif 1857-1857 |
BeverageManufacturing est un sous-attribut de BeverageAndTobaccoProductManufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1907-1907 |
TobaccoManufacturing est un sous-attribut de BeverageAndTobaccoProductManufacturing |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10913-10913 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10912-10912 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10911-10911 |
|