No TPTP formula. May not be expressible in strict first order. |
naics.kif 6130-6133 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10528-10528 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9910-9910 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10527-10527 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6128-6128 |
BlindAndShadeManufacturing est un sous-attribut de OtherFurnitureRelatedProductManufacturing |