|
|
  Distilleries
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1903-1905 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4657-4657 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1901-1901 | Distilleries e' um sub-atributo de BeverageManufacturing |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19950-19950 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19949-19949 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19948-19948 |
|
|
|
