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 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 939-942 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 938-938 | Port facility is a subclass of geopolitical area |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 947-947 | The range of port facility is an instance of port facility |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 908-908 | Deepwater port is a subclass of port facility |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46730-46730 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46729-46729 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46728-46728 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2949-2957 |
|