TreeView Knowledge Base Browser

appearance as argument number 1

(subclass PortFacility GeopoliticalArea)	Transportation.kif 938-938	Port facility is a subclass of geopolitical area
(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	Port facility is a subclass of geopolitical area

appearance as argument number 2

(subclass DeepwaterPort PortFacility)	Transportation.kif 908-908	Deepwater port is a subclass of port facility
(range PortFacilityFn PortFacility)	Transportation.kif 947-947	The range of port facility is an instance of port facility
(subclass ShipBerth PortFacility)	Transportation.kif 4315-4315	Ship berth is a subclass of port facility
(termFormat EnglishLanguage PortFacility "port facility")	domainEnglishFormat.kif 46723-46723	Ship berth is a subclass of port facility
(termFormat ChineseTraditionalLanguage PortFacility "港口設施")	domainEnglishFormat.kif 46724-46724	Ship berth is a subclass of port facility
(termFormat ChineseLanguage PortFacility "港口设施")	domainEnglishFormat.kif 46725-46725	Ship berth is a subclass of port facility

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