![]() |
![]() ![]() ![]()
|
![]() |
|
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 2258-2270 | |
(=> (instance ?IC IgnitionCoil) (hasPurpose ?IC (exists (?P ?S) (and (instance ?P ElectricTransmission) (instrument ?P ?IC) (instance ?S Spark) (causes ?P ?S))))) |
Cars.kif 3228-3236 | |
(=> (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 3243-3254 | |
(=> (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 |
![]() |
![]() |