No TPTP formula. May not be expressible in strict first order. |
naics.kif 6208-6211 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10171-10171 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11559-11559 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11560-11560 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6206-6206 |
OphthalmicGoodsManufacturing est un sous-attribut de MedicalEquipmentAndSuppliesManufacturing |