PortFacility | ![]() |
appearance as argument number 1 |
![]() |
(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 | |
(subclass PortFacility GeopoliticalArea) | Transportation.kif 938-938 | PortFacility は 地政学的地域 の subclass では |
appearance as argument number 2 |
![]() |
(range PortFacilityFn PortFacility) | Transportation.kif 947-947 | PortFacilityFn の range は PortFacility のインスタンス では |
(subclass DeepwaterPort PortFacility) | Transportation.kif 908-908 | DeepwaterPort は PortFacility の subclass では |
(subclass ShipBerth PortFacility) | Transportation.kif 3775-3775 | ShipBerth は PortFacility の subclass では |
(termFormat ChineseLanguage PortFacility "港口设施") | domainEnglishFormat.kif 46732-46732 | ShipBerth は PortFacility の subclass では |
(termFormat ChineseTraditionalLanguage PortFacility "港口設施") | domainEnglishFormat.kif 46731-46731 | ShipBerth は PortFacility の subclass では |
(termFormat EnglishLanguage PortFacility "port facility") | domainEnglishFormat.kif 46730-46730 | ShipBerth は PortFacility の subclass では |
antecedent |
![]() |
(=> (and (instance ?PORT PortFacility) (capability ShipBerthing patient ?PORT)) (exists (?HARBOR) (and (instance ?HARBOR Harbor) (connected ?HARBOR ?PORT) (capability ShipBerthing path ?HARBOR)))) |
Transportation.kif 3787-3795 |
![]() |
![]() |