IgnitionCoil(ignition coil) | coil, ignition_coil |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3137-3139 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3135-3135 | Ignition coil is a subclass of transformer |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3140-3140 | A ignition coil is typically a part of a automobile |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3141-3141 | A automobile typically has a part ignition coil |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3136-3136 |
antecedent |