Spark(spark) | arc, discharge, electric_arc, electric_discharge, spark |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 420-421 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 418-418 | Spark is a subclass of electric transmission |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 422-422 | Lightning is a subclass of spark |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 419-419 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 424-432 |
|
consequent |