No TPTP formula. May not be expressible in strict first order. |
naics.kif 2591-2593 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10247-10247 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11805-11805 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11806-11806 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11807-11807 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11808-11808 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11809-11809 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11810-11810 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2589-2589 |
Sawmills is a subattribute of sawmills and wood preservation |