|
|
   Harbor
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Harbor EnglishLanguage "Harbor is the subclass of WaterAreas that provide shelter and anchorage for WaterVehicle.") | Transportation.kif 907-908 | |
| (externalImage Harbor "http://upload.wikimedia.org/wikipedia/commons/8/88/ Sitka_Harbor.jpg") | pictureList.kif 1483-1483 | |
| (externalImage Harbor "http://upload.wikimedia.org/wikipedia/commons/8/8b/ Harbour.JPG") | pictureList.kif 954-954 | |
| (subclass Harbor WaterArea) | Transportation.kif 906-906 | |
| (subclass Harbor Waterway) | Transportation.kif 1678-1678 |
| appearance as argument number 2 |
|
|
| (subclass DeepDraftHarbor Harbor) | Transportation.kif 884-884 | |
| (termFormat ChineseLanguage Harbor "港口") | domainEnglishFormat.kif 27400-27400 | |
| (termFormat ChineseTraditionalLanguage Harbor "港口") | domainEnglishFormat.kif 27399-27399 | |
| (termFormat EnglishLanguage Harbor "harbor") | domainEnglishFormat.kif 27398-27398 |
| antecedent |
|
|
| (=> (and (instance ?HARBOR Harbor) (equipmentCount ?HARBOR ShipBerth ?NUM) (greaterThan ?NUM 0)) (capability ShipBerthing path ?HARBOR)) |
Transportation.kif 2920-2925 |
| consequent |
|
|
| (=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR)))) |
Transportation.kif 2927-2935 | |
| (=> (instance ?ANCHOR OffshoreAnchorage) (not (exists (?HARBOR) (and (instance ?HARBOR Harbor) (located ?ANCHOR ?HARBOR))))) |
Transportation.kif 919-925 |
|
|
|
