|
|
  AllOtherMiscellaneousManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6331-6333 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6329-6329 | AllOtherMiscellaneousManufacturing e' um sub-atributo de OtherMiscellaneousManufacturing |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6356-6356 | BroomBrushAndMopManufacturing e' um sub-atributo de AllOtherMiscellaneousManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6363-6363 | BurialCasketManufacturing e' um sub-atributo de AllOtherMiscellaneousManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6349-6349 | FastenerButtonNeedleAndPinManufacturing e' um sub-atributo de AllOtherMiscellaneousManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6335-6335 | GasketPackingAndSealingDeviceManufacturing e' um sub-atributo de AllOtherMiscellaneousManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6342-6342 | MusicalInstrumentManufacturing e' um sub-atributo de AllOtherMiscellaneousManufacturing |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6762-6762 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6761-6761 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6760-6760 |
|
|
|