| Cove(cove) | | cove, lough |
| appearance as argument number 1 |
|
|
| (documentation Cove EnglishLanguage "A Cove is a small part of a body of water that reaches into a coast.") | Geography.kif 5336-5337 | |
| (subclass Cove Inlet) | Geography.kif 5334-5334 | Cove is a subclass of inlet |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Cove "拱") | domainEnglishFormat.kif 17673-17673 | |
| (termFormat ChineseTraditionalLanguage Cove "拱") | domainEnglishFormat.kif 17672-17672 | |
| (termFormat EnglishLanguage Cove "cove") | domainEnglishFormat.kif 17671-17671 |
| antecedent |
|
|
| (=> (and (instance ?COVE Cove) (instance ?BAY Bay)) (larger ?BAY ?COVE)) |
Geography.kif 5339-5343 |
|
|
|
|