ShipBerth - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ShipBerth WaterArea)	Transportation.kif 4314-4314	Ship berth is a subclass of water area
(subclass ShipBerth PortFacility)	Transportation.kif 4315-4315	Ship berth is a subclass of port facility
(documentation ShipBerth EnglishLanguage "ShipBerth is the class of areas where a Ship may be moored, whether at an Anchorage or dock.")	Transportation.kif 4317-4318	Ship berth is a subclass of port facility
(externalImage ShipBerth "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ MV_Blue_Marlin_carrying_USS_Cole.jpg")	pictureList.kif 8704-8704	Ship berth is a subclass of port facility
(externalImage ShipBerth "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ USS_Orion_%28AS-18%29.jpg")	pictureList.kif 9651-9651	Ship berth is a subclass of port facility

appearance as argument number 2

(termFormat EnglishLanguage ShipBerth "ship berth")	domainEnglishFormat.kif 52606-52606
(termFormat ChineseTraditionalLanguage ShipBerth "船泊位")	domainEnglishFormat.kif 52607-52607
(termFormat ChineseLanguage ShipBerth "船泊位")	domainEnglishFormat.kif 52608-52608

antecedent

(=>
    (and
        (instance ?HARBOR Harbor)
        (equipmentCount ?HARBOR ShipBerth ?NUM)
        (greaterThan ?NUM 0))
    (capability ShipBerthing path ?HARBOR))

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