No TPTP formula. May not be expressible in strict first order. |
naics.kif 1889-1889 |
Breweries e' um sub-atributo de BeverageManufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1901-1901 |
Distilleries e' um sub-atributo de BeverageManufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1863-1863 |
SoftDrinkAndIceManufacturing e' um sub-atributo de BeverageManufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1895-1895 |
Wineries e' um sub-atributo de BeverageManufacturing |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10919-10919 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10918-10918 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10917-10917 |
|