No TPTP formula. May not be expressible in strict first order. | Transportation.kif 837-837 | 港口城市 是 城市 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 852-852 | 河港 是 港口城市 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 868-868 | 海港 是 港口城市 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 884-884 | 集装箱港口 是 港口城市 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 887-887 | 深水港 是 港口城市 的 subclass |
![]() |