Cove(cove) | cove, lough |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5267-5268 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5265-5265 | Cove is a subclass of inlet |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17658-17658 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17657-17657 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17656-17656 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5270-5274 |
|