|
|
   Antacid
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3890-3892 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3888-3888 | OtherNonmetallicMineralProductManufacturing est un sous-attribut de NonmetallicMineralProductManufacturing |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3894-3894 | AbrasiveProductManufacturing est un sous-attribut de OtherNonmetallicMineralProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3901-3901 | AllOtherNonmetallicMineralProductManufacturing est un sous-attribut de OtherNonmetallicMineralProductManufacturing |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43322-43322 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43321-43321 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43320-43320 |
|
|
|