No TPTP formula. May not be expressible in strict first order. | Geography.kif 2577-2577 | Planting is a subclass of putting |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2571-2571 | Afforestation is a subclass of planting |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2583-2583 | Reforestation is a subclass of planting |