| 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 928-931 | |
| (subclass PortFacility GeopoliticalArea) | Transportation.kif 927-927 | subclass PortFacility and GeopoliticalArea |
| appearance as argument number 2 |
|
|
| (range PortFacilityFn PortFacility) | Transportation.kif 936-936 | range PortFacilityFn and PortFacility |
| (subclass DeepwaterPort PortFacility) | Transportation.kif 897-897 | subclass DeepwaterPort and PortFacility |
| (termFormat ChineseLanguage PortFacility "港口设施") | domainEnglishFormat.kif 46669-46669 | termFormat ChineseLanguage, PortFacility and "港口设施" |
| (termFormat ChineseTraditionalLanguage PortFacility "港口設施") | domainEnglishFormat.kif 46668-46668 | termFormat ChineseTraditionalLanguage, PortFacility and "港口設施" |
| (termFormat EnglishLanguage PortFacility "port facility") | domainEnglishFormat.kif 46667-46667 | termFormat EnglishLanguage, PortFacility and "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 2918-2926 |
|
|
|
|