| Canal
| |
| appearance as argument number 1 |
|
|
| (documentation Canal EnglishLanguage "Canal is the subclass of navigable Waterways flowing through an artificial course. Typically, a canal is a Transitway connecting two bodies of water.") | Geography.kif 5665-5667 | |
| (externalImage Canal "http://upload.wikimedia.org/wikipedia/commons/4/49/ Birmingham_canals_800.jpg") | pictureList.kif 944-944 | |
| (subclass Canal StationaryArtifact) | Geography.kif 5664-5664 | |
| (subclass Canal Waterway) | Geography.kif 5663-5663 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Canal "运河") | domainEnglishFormat.kif 12910-12910 | |
| (termFormat ChineseTraditionalLanguage Canal "運河") | domainEnglishFormat.kif 12909-12909 | |
| (termFormat EnglishLanguage Canal "canal") | domainEnglishFormat.kif 12908-12908 |
| antecedent |
|
|
| (=> (instance ?CHANNEL Canal) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5669-5675 |
|
|
|