No TPTP formula. May not be expressible in strict first order. | Geography.kif 2893-2893 | Salinifying is a subclass of combining |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2894-2894 | Salinifying is a subclass of natural process |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2952-2952 | Soil salination is a subclass of salinifying |