| Harbor
| |
| appearance as argument number 1 |
|
|
| (documentation Harbor EnglishLanguage "Harbor is the subclass of WaterAreas that provide shelter and anchorage for WaterVehicle.") | Transportation.kif 918-919 | |
| (externalImage Harbor "http://upload.wikimedia.org/wikipedia/commons/8/88/ Sitka_Harbor.jpg") | pictureList.kif 1482-1482 | |
| (externalImage Harbor "http://upload.wikimedia.org/wikipedia/commons/8/8b/ Harbour.JPG") | pictureList.kif 953-953 | |
| (subclass Harbor WaterArea) | Transportation.kif 917-917 | |
| (subclass Harbor Waterway) | Transportation.kif 1833-1833 |
| appearance as argument number 2 |
|
|
| (subclass DeepDraftHarbor Harbor) | Transportation.kif 895-895 | |
| (termFormat ChineseLanguage Harbor "港口") | domainEnglishFormat.kif 27431-27431 | |
| (termFormat ChineseTraditionalLanguage Harbor "港口") | domainEnglishFormat.kif 27430-27430 | |
| (termFormat EnglishLanguage Harbor "harbor") | domainEnglishFormat.kif 27429-27429 |
| antecedent |
|
|
| (=> (and (instance ?HARBOR Harbor) (equipmentCount ?HARBOR ShipBerth ?NUM) (greaterThan ?NUM 0)) (capability ShipBerthing path ?HARBOR)) |
Transportation.kif 3732-3737 |
| consequent |
|
|
| (=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR)))) |
Transportation.kif 3739-3747 | |
| (=> (instance ?ANCHOR OffshoreAnchorage) (not (exists (?HARBOR) (and (instance ?HARBOR Harbor) (located ?ANCHOR ?HARBOR))))) |
Transportation.kif 930-936 |
|
|
|