|
|
| 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 5159-5161 | |
| (externalImage Bay "http://upload.wikimedia.org/wikipedia/commons/d/d5/Hel_peninsula_landsat.jpg") | pictureList.kif 4544-4544 | |
| (subclass Bay Inlet) | Geography.kif 5157-5157 | Bay is a subclass of inlet |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Bay "湾") | domainEnglishFormat.kif 10257-10257 | |
| (termFormat ChineseTraditionalLanguage Bay "灣") | domainEnglishFormat.kif 10256-10256 | |
| (termFormat EnglishLanguage Bay "bay") | domainEnglishFormat.kif 10255-10255 |
| antecedent |
|
|
| (=> (and (instance ?COVE Cove) (instance ?BAY Bay)) (larger ?BAY ?COVE)) |
Geography.kif 5168-5172 |
|
| (=> (and (instance ?GULF Gulf) (instance ?BAY Bay)) (larger ?GULF ?BAY)) |
Geography.kif 5043-5047 |
|
|
|
|
