No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1797-1797 |
不相交的 動力車輛 and 無動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2627-2627 |
子類 滑翔機 and 無動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1821-1821 |
子類 預告片 and 無動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1847-1847 |
子類 車皮 and 無動力車輛 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60532-60532 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60531-60531 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60530-60530 |
|