No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6872-6872 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7920-7920 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7921-7921 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7922-7922 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7923-7923 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7924-7924 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2921-2921 |
SolidWasteDisposal e' uma sub-classe de Sanitation |