No TPTP formula. May not be expressible in strict first order. | Transportation.kif 837-837 | Port city is a subclass of city |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 852-852 | River port is a subclass of port city |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 868-868 | Sea port is a subclass of port city |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 884-884 | Container port is a subclass of port city |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 887-887 | Deep draft port is a subclass of port city |