No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2910-2910 | 中转站 是 固定人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1265-1265 | 飞机场 是 中转站 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1508-1508 | 直升机场 是 中转站 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2079-2079 | 铁路枢纽 是 中转站 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2917-2917 | 火车站 是 中转站 的 subclass |