| Harbor(harbor)
| | marina |
| 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 | Harbor is a subclass of water area |
| (subclass Harbor Waterway) | Transportation.kif 1833-1833 | Harbor is a subclass of waterway |
| appearance as argument number 2 |
|
|
| (subclass DeepDraftHarbor Harbor) | Transportation.kif 895-895 | Deep draft harbor is a subclass of harbor |
| (termFormat ChineseLanguage Harbor "港口") | domainEnglishFormat.kif 27436-27436 | Deep draft harbor is a subclass of harbor |
| (termFormat ChineseTraditionalLanguage Harbor "港口") | domainEnglishFormat.kif 27435-27435 | Deep draft harbor is a subclass of harbor |
| (termFormat EnglishLanguage Harbor "harbor") | domainEnglishFormat.kif 27434-27434 | Deep draft harbor is a subclass of harbor |
| antecedent |
|
|
| (=> (and (instance ?HARBOR Harbor) (equipmentCount ?HARBOR ShipBerth ?NUM) (greaterThan ?NUM 0)) (capability ShipBerthing path ?HARBOR)) |
Transportation.kif 3742-3747 |
|
| consequent |
|
|
| (=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR)))) |
Transportation.kif 3749-3757 |
|
| (=> (instance ?ANCHOR OffshoreAnchorage) (not (exists (?HARBOR) (and (instance ?HARBOR Harbor) (located ?ANCHOR ?HARBOR))))) |
Transportation.kif 930-936 |
|
|
|
|