|
|
   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 |
| appearance as argument number 2 |
|
|
| (subclass Lightning Spark) | Cars.kif 422-422 | |
| (termFormat EnglishLanguage Spark "spark") | Cars.kif 419-419 |
| 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 |
|
|
| (=> (instance ?D Distributor) (hasPurpose ?D (exists (?SP ?S ?O ?R ?E) (and (instance ?E Engine) (instance ?SP SparkPlug) (instance ?S Spark) (part ?O ?D) (part ?D ?E) (part ?SP ?E) (instance ?R Rotating) (causes ?R ?S))))) |
Cars.kif 2257-2269 | |
| (=> (instance ?IC IgnitionCoil) (hasPurpose ?IC (exists (?P ?S) (and (instance ?P ElectricTransmission) (instrument ?P ?IC) (instance ?S Spark) (causes ?P ?S))))) |
Cars.kif 3152-3160 | |
| (=> (instance ?ICM IgnitionControlModule) (hasPurpose ?ICM (exists (?S ?A ?CP) (and (instance ?A Automobile) (instance ?S Spark) (instance ?CP ComputerProcess) (part ?ICM ?A) (eventLocated ?CP ?A) (eventLocated ?S ?A) (causes ?CP ?S))))) |
Cars.kif 3167-3178 | |
| (=> (instance ?SP SparkPlug) (hasPurpose ?SP (exists (?S ?C) (and (instance ?S Spark) (instrument ?S ?SP) (instance ?C Combustion) (causes ?S ?C))))) |
Cars.kif 447-455 | |
| (=> (instance ?SP SparkPlug) (hasPurpose ?SP (exists (?S) (and (instance ?S Spark) (instrument ?S ?SP))))) |
Cars.kif 439-445 |
|
|
|