TidalBore
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5061-5063 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3012-3012 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5059-5059 | Tidal bore is a subclass of littoral current |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58034-58034 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58033-58033 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58032-58032 |