![]() |
![]() ![]() ![]()
|
![]() |
|
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 |
![]() |
![]() |