| Siltation(siltation)
| | silt, silt_up |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2925-2927 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6859-6859 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2923-2923 | Siltation is a subclass of putting |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2950-2950 | Siltation is a causes subclass of soil erosion |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53090-53090 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53089-53089 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53088-53088 |
|
|
|