No TPTP formula. May not be expressible in strict first order. | Geography.kif 2577-2577 | Planting est une sous-classe de mettre |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2571-2571 | Afforestation est une sous-classe de Planting |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2583-2583 | Reforestation est une sous-classe de Planting |