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 est une sous-classe de mettre |
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 |