PortFacility - Sigma Knowledge base Browser

appearance as argument number 1

(subclass PortFacility GeopoliticalArea)	Transportation.kif 938-938
(documentation PortFacility EnglishLanguage "PortFacility is the class of port complexes, including piers and docking space, moorings, cargo_handling and other support facilities for marine traffic. Ships are loaded and unloaded at a PortFacility.")	Transportation.kif 939-942

appearance as argument number 2

(subclass DeepwaterPort PortFacility)	Transportation.kif 908-908
(range PortFacilityFn PortFacility)	Transportation.kif 947-947
(subclass ShipBerth PortFacility)	Transportation.kif 4315-4315
(termFormat EnglishLanguage PortFacility "port facility")	domainEnglishFormat.kif 46723-46723
(termFormat ChineseTraditionalLanguage PortFacility "港口設施")	domainEnglishFormat.kif 46724-46724
(termFormat ChineseLanguage PortFacility "港口设施")	domainEnglishFormat.kif 46725-46725

antecedent

(=>
    (and
        (instance ?PORT PortFacility)
        (capability ShipBerthing patient ?PORT))
    (exists (?HARBOR)
        (and
            (instance ?HARBOR Harbor)
            (connected ?HARBOR ?PORT)
            (capability ShipBerthing path ?HARBOR))))