| 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 9640-9640 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8701-8701 |
|
| 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 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 9639-9639 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9643-9643 |
|
| 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. |
pictureList.kif 9635-9635 |
|
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 1061-1061 |
SewageTreatmentFacilities e' um sub-atributo de WaterSewageAndOtherSystems |
SewageTreatmentFacilities
