No TPTP formula. May not be expressible in strict first order. |
naics.kif 3878-3880 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10098-10098 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11353-11353 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11354-11354 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11355-11355 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11356-11356 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3876-3876 |
LimeManufacturing est un sous-attribut de LimeAndGypsumProductManufacturing |