No TPTP formula. May not be expressible in strict first order. |
naics.kif 3882-3882 |
GypsumProductManufacturing est un sous-attribut de LimeAndGypsumProductManufacturing |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3876-3876 |
LimeManufacturing est un sous-attribut de LimeAndGypsumProductManufacturing |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34433-34433 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34432-34432 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34431-34431 |
|