| Siltation
| |
| 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 e' uma sub-classe de Colocar |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2950-2950 | causesSubclass SoilErosion and Siltation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53092-53092 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53091-53091 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53090-53090 |
|
|
|