| 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 5261-5263 | |
| (externalImage Bay "http://upload.wikimedia.org/wikipedia/commons/d/d5/Hel_peninsula_landsat.jpg") | pictureList.kif 4543-4543 | |
| (subclass Bay Inlet) | Geography.kif 5259-5259 | Bay is a subclass of inlet |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bay "湾") | domainEnglishFormat.kif 10256-10256 | |
| (termFormat ChineseTraditionalLanguage Bay "灣") | domainEnglishFormat.kif 10255-10255 | |
| (termFormat EnglishLanguage Bay "bay") | domainEnglishFormat.kif 10254-10254 |
| antecedent |
|
|
| (=> (and (instance ?COVE Cove) (instance ?BAY Bay)) (larger ?BAY ?COVE)) |
Geography.kif 5270-5274 |
|
| (=> (and (instance ?GULF Gulf) (instance ?BAY Bay)) (larger ?GULF ?BAY)) |
Geography.kif 5145-5149 |
|
|
|
|