No TPTP formula. May not be expressible in strict first order. |
naics.kif 2631-2633 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8768-8768 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9775-9775 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9776-9776 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9779-9779 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9780-9780 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9781-9781 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2629-2629 |
TrussManufacturing est un sous-attribut de VeneerPlywoodAndEngineeredWoodProductManufacturing |