| 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 3214-3214 | |
| (typicallyContainsPart SparkPlug AutomobileIgnitionSystem) | Cars.kif 3215-3215 |
| 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 2280-2292 |
|
|
|