Cove | ![]() |
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 5558-5559 | |
(subclass Cove Inlet) | Geography.kif 5556-5556 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Cove "拱") | domainEnglishFormat.kif 17667-17667 | |
(termFormat ChineseTraditionalLanguage Cove "拱") | domainEnglishFormat.kif 17666-17666 | |
(termFormat EnglishLanguage Cove "cove") | domainEnglishFormat.kif 17665-17665 |
antecedent |
![]() |
(=> (and (instance ?COVE Cove) (instance ?BAY Bay)) (larger ?BAY ?COVE)) |
Geography.kif 5561-5565 |
![]() |
![]() |