No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2168-2170 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2465-2465 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2167-2167 |
电气化铁路车 是 电器 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2166-2166 |
电气化铁路车 是 动力车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2165-2165 |
电气化铁路车 是 波荡股 的 subclass |