No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1947-1947 |
子類 汽車 and 自供電公路車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1966-1966 |
子類 總線 and 自供電公路車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1876-1876 |
子類 摩托車 and 自供電公路車輛 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2009-2009 |
子類 卡車 and 自供電公路車輛 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52011-52011 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52010-52010 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52009-52009 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3709-3709 |
CarAlarm typically 是 自供電公路車輛 的 part |