CommodoreWheel |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4496-4497 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4499-4499 | manufacturer CommodoreWheel and HoldenCorporation |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4495-4495 | 子類 CommodoreWheel and 輪 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4498-4498 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4501-4507 |