No TPTP formula. May not be expressible in strict first order. | Geography.kif 2405-2405 | Forest fire is a subclass of burning |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2716-2716 | Forest fire is a subclass of forest damage |