|
|
   SparkPlug
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SparkPlug EnglishLanguage "A device, used to ignite Fuel, that generates a Spark.") | Cars.kif 436-437 | |
| (subclass SparkPlug ElectricalComponent) | Cars.kif 434-434 | |
| (typicalPart SparkPlug AutomobileIgnitionSystem) | Cars.kif 3191-3191 | |
| (typicallyContainsPart SparkPlug AutomobileIgnitionSystem) | Cars.kif 3192-3192 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SparkPlug "spark plug") | Cars.kif 435-435 |
| antecedent |
|
|
| (=> (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 |
| 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 |
|
|
|