| Spark | |
| appearance as argument number 1 |
|
|
| (documentation Spark EnglishLanguage "An electric charge that moves from point to point across an Air gap, rather than travelling through a solid conductor.") | Cars.kif 420-421 | |
| (subclass Spark ElectricTransmission) | Cars.kif 418-418 | Spark 是 ElectricTransmission 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Lightning Spark) | Cars.kif 422-422 | 闪电 是 Spark 的 subclass |
| (termFormat EnglishLanguage Spark "spark") | Cars.kif 419-419 | 闪电 是 Spark 的 subclass |
| antecedent |
|
|
| (=> (instance ?S Spark) (exists (?E ?G) (and (instance ?E Electricity) (patient ?S ?E) (instance ?G Substance) (attribute ?G Gas) (eventLocated ?S ?G)))) |
Cars.kif 424-432 |
| consequent |
|
|
|
|
|