No TPTP formula. May not be expressible in strict first order. |
naics.kif 5358-5361 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10411-10411 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10410-10410 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10409-10409 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9886-9886 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10414-10414 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10412-10412 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5356-5356 |
AnalyticalLaboratoryInstrumentManufacturing e' um sub-atributo de NavigationalMeasuringElectromedicalAndControlInstrumentsManufacturing |