| Harbor(harbor)
| | marina |
| appearance as argument number 1 |
|
|
| (subclass Harbor WaterArea) | Transportation.kif 917-917 | Harbor is a subclass of water area |
| (documentation Harbor EnglishLanguage "Harbor is the subclass of WaterAreas that provide shelter and anchorage for WaterVehicle.") | Transportation.kif 918-919 | Harbor is a subclass of water area |
| (subclass Harbor Waterway) | Transportation.kif 1848-1848 | Harbor is a subclass of waterway |
| (externalImage Harbor "http://upload.wikimedia.org/wikipedia/commons/8/8b/ Harbour.JPG") | pictureList.kif 953-953 | Harbor is a subclass of waterway |
| (externalImage Harbor "http://upload.wikimedia.org/wikipedia/commons/8/88/ Sitka_Harbor.jpg") | pictureList.kif 1482-1482 | Harbor is a subclass of waterway |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?HARBOR Harbor) (equipmentCount ?HARBOR ShipBerth ?NUM) (greaterThan ?NUM 0)) (capability ShipBerthing path ?HARBOR)) |
Transportation.kif 4296-4301 | If X is an instance of harbor, X equipment count ship berth for Y, and Y is greater than 0, then X is capable of doing ship berthing as a path |
| consequent |
|
|
| (=> (instance ?ANCHOR OffshoreAnchorage) (not (exists (?HARBOR) (and (instance ?HARBOR Harbor) (located ?ANCHOR ?HARBOR))))) |
Transportation.kif 930-936 | If X is an instance of offshore anchorage, then there doesn't exist Y such that Y is an instance of harbor and X is located at Y |
| (=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR)))) |
Transportation.kif 4303-4311 | If X is an instance of port facility and X is capable of doing ship berthing as a patient, then there exists Y such that Y is an instance of harbor, Y is connected to X, and Y is capable of doing ship berthing as a path |
|
|
|