No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9626-9626 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9623-9623 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9628-9628 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9627-9627 |
|
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 9625-9625 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9629-9629 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9624-9624 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2920-2920 |
Sewage disposal is a subclass of sanitation |