| PortFacility(port facility) | | coaling_station, entrepot, free_port, free_zone, harbor, harbour, haven, home_port, outport, point_of_entry, port, port_of_call, port_of_entry, seaport, transshipment_center, treaty_port |
| 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 4291-4291 | 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)))) |
Transportation.kif 4303-4311 | 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 |
|
|
|