TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ShipBerthing Translocation)	Transportation.kif 4436-4436	Ship berthing is a subclass of translocation
(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 4438-4440	Ship berthing is a subclass of translocation
(externalImage ShipBerthing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3f/ Mooring.jpg")	pictureList.kif 8705-8705	Ship berthing is a subclass of translocation
(externalImage ShipBerthing "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Fougeuse-02.jpg")	pictureList.kif 9652-9652	Ship berthing is a subclass of translocation
(externalImage ShipBerthing "http://upload.wikimedia.org/wikipedia/commons/ 0/ 06/ Mooring2HPoleFixed.jpg")	pictureList.kif 9653-9653	Ship berthing is a subclass of translocation
(externalImage ShipBerthing "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ USS_Orion_%28AS-18%29.jpg")	pictureList.kif 9654-9654	Ship berthing is a subclass of translocation

appearance as argument number 2

(rangeSubclass ShipBerthingFn ShipBerthing)	Transportation.kif 4444-4444	The values returned by ship berthing are subclasses of ship berthing
(termFormat EnglishLanguage ShipBerthing "ship berthing")	domainEnglishFormat.kif 52612-52612	The values returned by ship berthing are subclasses of ship berthing
(termFormat ChineseTraditionalLanguage ShipBerthing "船靠泊")	domainEnglishFormat.kif 52613-52613	The values returned by ship berthing are subclasses of ship berthing
(termFormat ChineseLanguage ShipBerthing "船靠泊")	domainEnglishFormat.kif 52614-52614	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))))

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

consequent

(=> (and (instance ?HARBOR Harbor) (equipmentCount ?HARBOR ShipBerth ?NUM) (greaterThan ?NUM 0)) (capability ShipBerthing path ?HARBOR))	Transportation.kif 4320-4325	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
(=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR))))	Transportation.kif 4327-4335	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