No TPTP formula. May not be expressible in strict first order. |
naics.kif 507-509 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12005-12005 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12004-12004 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12003-12003 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12002-12002 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10293-10293 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11999-11999 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11996-11996 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11998-11998 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 505-505 |
Timber tract operations is a subattribute of forestry and logging |