| appearance as argument number 1 |
|
|
| (documentation Bay EnglishLanguage "Bay is the class of extensions of a body of water (salt or fresh) that reach into the land, usually smaller than a Gulf.") | Geography.kif 5331-5333 | |
| (externalImage Bay "http://upload.wikimedia.org/wikipedia/commons/d/d5/Hel_peninsula_landsat.jpg") | pictureList.kif 4542-4542 | |
| (subclass Bay Inlet) | Geography.kif 5329-5329 | Bay is a subclass of inlet |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bay "湾") | domainEnglishFormat.kif 10255-10255 | |
| (termFormat ChineseTraditionalLanguage Bay "灣") | domainEnglishFormat.kif 10254-10254 | |
| (termFormat EnglishLanguage Bay "bay") | domainEnglishFormat.kif 10253-10253 |
| antecedent |
|
|
| (=> (and (instance ?COVE Cove) (instance ?BAY Bay)) (larger ?BAY ?COVE)) |
Geography.kif 5340-5344 |
|
| (=> (and (instance ?GULF Gulf) (instance ?BAY Bay)) (larger ?GULF ?BAY)) |
Geography.kif 5215-5219 |
|
|
|
|