No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9137-9137 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6356-6356 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6358-6358 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6357-6357 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5953-5953 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9139-9139 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6354-6354 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6355-6355 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6353-6353 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6825-6825 |
DeforestationIssue e' uma instancia de EnvironmentalIssue |