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 1948-1948 | 子類 汽車 and 乘用車 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 836-836 | 子類 汽車 and 物理系統 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1962-1962 | 子類 出租車 and 汽車 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4505-4505 | 子類 CommodoreAutomobile and 汽車 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4851-4851 | 子類 MiniCooper and 汽車 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4863-4863 | 子類 HoldenToranaAutomobile and 汽車 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4909-4909 | 子類 FordAutomobile and 汽車 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4966-4966 | 子類 ChevroletAutomobile and 汽車 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5118-5118 | 子類 Corvette and 汽車 |