No TPTP formula. May not be expressible in strict first order. | Geography.kif 2893-2893 | Salination est une sous-classe de combiner |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2894-2894 | Salination est une sous-classe de NaturalProcess |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2952-2952 | SoilSalination est une sous-classe de Salination |