No TPTP formula. May not be expressible in strict first order. |
naics.kif 1889-1889 |
Breweries est un sous-attribut de BeverageManufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1901-1901 |
Distilleries est un sous-attribut de BeverageManufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1863-1863 |
SoftDrinkAndIceManufacturing est un sous-attribut de BeverageManufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1895-1895 |
Wineries est un sous-attribut 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 |
|