No TPTP formula. May not be expressible in strict first order. |
naics.kif 1063-1065 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9639-9639 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8700-8700 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9635-9635 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9636-9636 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9637-9637 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9641-9641 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9632-9632 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9638-9638 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9642-9642 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9633-9633 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9634-9634 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1061-1061 |
Sewage treatment facilities is a subattribute of water sewage and other systems |