No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8547-8547 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9344-9344 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9345-9345 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9346-9346 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9347-9347 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6898-6898 |
InvasiveSpeciesIssue e' uma instancia de EnvironmentalIssue |