| TidalBore(tidal bore)
| | aegir, bore, eager, eagre, tidal_bore |
| 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 |
|
|
|