|
|
  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 est un sous-attribut de NonmetallicMineralMiningAndQuarrying |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 839-839 | ClayAndCeramicAndRefractoryMineralsMining est un sous-attribut de SandGravelClayAndCeramicAndRefractoryMineralsMiningAndQuarrying |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 819-819 | ConstructionSandAndGravelMining est un sous-attribut de SandGravelClayAndCeramicAndRefractoryMineralsMiningAndQuarrying |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 826-826 | IndustrialSandMining est un sous-attribut de SandGravelClayAndCeramicAndRefractoryMineralsMiningAndQuarrying |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 832-832 | KaolinAndBallClayMining est un sous-attribut 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 |
|
|
|