ElectricTransmission
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2385-2388 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2383-2383 | Electric transmission is a subclass of radiating electromagnetic |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2382-2382 | Electric transmission is a subclass of transfer |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2397-2397 | Charging is a subclass of electric transmission |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2419-2419 | Discharging is a subclass of electric transmission |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 418-418 | Spark is a subclass of electric transmission |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2384-2384 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3155-3165 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2390-2395 |
|
consequent |