No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2081-2081 |
不相交的 軌道車 and 動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1822-1822 |
不相交的 預告片 and 動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1649-1649 |
子類 AAV and 動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1574-1574 |
子類 APC and 動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2616-2616 |
子類 飛機 and 動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2172-2172 |
子類 電氣化鐵路車 and 動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1893-1893 |
子類 緊急公路車輛 and 動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1887-1887 |
子類 緊急車輛 and 動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1947-1947 |
子類 LCAC and 動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2122-2122 |
子類 機車 and 動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2210-2210 |
子類 電動軌道車 and 動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2117-2117 |
子類 機動鐵路車 and 動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1804-1804 |
子類 自供電公路車輛 and 動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2048-2048 |
子類 火車 and 動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47026-47026 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47025-47025 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47024-47024 |
|