| ShipBerthing(ship berthing)
|
| appearance as argument number 1 |
|
| (documentation ShipBerthing EnglishLanguage "ShipBerthing is the class of Translocation processes in which a vessel is brought to a mooring, at dockside or anchorage.") | Transportation.kif 3892-3894 | |
| (externalImage ShipBerthing "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Mooring2HPoleFixed.jpg") | pictureList.kif 9653-9653 | |
| (externalImage ShipBerthing "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ USS_Orion_%28AS-18%29.jpg") | pictureList.kif 9654-9654 | |
| (externalImage ShipBerthing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Mooring.jpg") | pictureList.kif 8705-8705 | |
| (externalImage ShipBerthing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Fougeuse-02.jpg") | pictureList.kif 9652-9652 | |
| (subclass ShipBerthing Translocation) | Transportation.kif 3890-3890 | Ship berthing is a subclass of translocation |
| appearance as argument number 2 |
|
|
| (rangeSubclass ShipBerthingFn ShipBerthing) | Transportation.kif 3898-3898 | The values returned by ship berthing are subclasses of ship berthing |
| (termFormat ChineseLanguage ShipBerthing "船靠泊") | domainEnglishFormat.kif 52650-52650 | The values returned by ship berthing are subclasses of ship berthing |
| (termFormat ChineseTraditionalLanguage ShipBerthing "船靠泊") | domainEnglishFormat.kif 52649-52649 | The values returned by ship berthing are subclasses of ship berthing |
| (termFormat EnglishLanguage ShipBerthing "ship berthing") | domainEnglishFormat.kif 52648-52648 | The values returned by ship berthing are subclasses of ship berthing |
| antecedent |
|
|
| (=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR)))) |
Transportation.kif 3781-3789 |
|
| consequent |
|
|
| (=> (and (instance ?HARBOR Harbor) (equipmentCount ?HARBOR ShipBerth ?NUM) (greaterThan ?NUM 0)) (capability ShipBerthing path ?HARBOR)) |
Transportation.kif 3774-3779 |
|
| (=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR)))) |
Transportation.kif 3781-3789 |
|
|
|
|