No TPTP formula. May not be expressible in strict first order. |
naics.kif 1857-1857 |
BeverageManufacturing e' um sub-atributo de BeverageAndTobaccoProductManufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1907-1907 |
TobaccoManufacturing e' um sub-atributo 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 |
|