No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6860-6860 |
EndangeredSpeciesIssue est une instance de BiodiversityIssue |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6862-6862 |
FragileEcosystemIssue est une instance de BiodiversityIssue |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6873-6873 |
LandClearingIssue est une instance 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 |
|