|
|
  SandGravelClayAndCeramicAndRefractoryMineralsMiningAndQuarrying
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 813-817 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 811-811 | SandGravelClayAndCeramicAndRefractoryMineralsMiningAndQuarrying e' um sub-atributo de NonmetallicMineralMiningAndQuarrying |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 839-839 | ClayAndCeramicAndRefractoryMineralsMining e' um sub-atributo de SandGravelClayAndCeramicAndRefractoryMineralsMiningAndQuarrying |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 819-819 | ConstructionSandAndGravelMining e' um sub-atributo de SandGravelClayAndCeramicAndRefractoryMineralsMiningAndQuarrying |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 826-826 | IndustrialSandMining e' um sub-atributo de SandGravelClayAndCeramicAndRefractoryMineralsMiningAndQuarrying |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 832-832 | KaolinAndBallClayMining e' um sub-atributo de SandGravelClayAndCeramicAndRefractoryMineralsMiningAndQuarrying |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51069-51069 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51068-51068 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51067-51067 |
|
|
|