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 5728-5730 | |
(externalImage Canal "http://upload.wikimedia.org/wikipedia/commons/4/49/ Birmingham_canals_800.jpg") | pictureList.kif 944-944 | |
(subclass Canal StationaryArtifact) | Geography.kif 5727-5727 | Canal est une sous-classe de artefact stationnaire |
(subclass Canal Waterway) | Geography.kif 5726-5726 | Canal est une sous-classe de Waterway |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Canal "运河") | domainEnglishFormat.kif 12904-12904 | |
(termFormat ChineseTraditionalLanguage Canal "運河") | domainEnglishFormat.kif 12903-12903 | |
(termFormat EnglishLanguage Canal "canal") | domainEnglishFormat.kif 12902-12902 |
antecedent |
![]() |
(=> (instance ?CHANNEL Canal) (exists (?WATER1 ?WATER2) (and (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5732-5738 |
![]() |
![]() |