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 | 子類 SparkPlug and 電氣元件 |
(typicalPart SparkPlug AutomobileIgnitionSystem) | Cars.kif 3214-3214 | SparkPlug typically 是 AutomobileIgnitionSystem 的 part |
(typicallyContainsPart SparkPlug AutomobileIgnitionSystem) | Cars.kif 3215-3215 | AutomobileIgnitionSystem typically 有 part SparkPlug |
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 |