No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6860-6860 |
EndangeredSpeciesIssue e' uma instancia de BiodiversityIssue |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6862-6862 |
FragileEcosystemIssue e' uma instancia de BiodiversityIssue |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6873-6873 |
LandClearingIssue e' uma instancia de BiodiversityIssue |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11075-11075 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11074-11074 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11073-11073 |
|