Salination(盐碱) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2896-2898 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6833-6833 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7775-7775 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2893-2893 | 盐碱 是 结合 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2894-2894 | 盐碱 是 自然过程 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2952-2952 | 土壤盐渍化 是 盐碱 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50931-50931 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50930-50930 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50929-50929 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2900-2905 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2911-2913 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2907-2909 |