Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SparkPlug(spark plug) |  | plug, spark_plug, sparking_plug |
| appearance as argument number 1 |
|
|
| (subclass SparkPlug ElectricalComponent) | Cars.kif 387-387 | Spark plug is a subclass of electrical component |
| (documentation SparkPlug EnglishLanguage "A device, used to ignite Fuel, that generates a Spark.") | Cars.kif 389-390 | Spark plug is a subclass of electrical component |
| (typicalPart SparkPlug AutomobileIgnitionSystem) | Cars.kif 3096-3096 | A spark plug is typically a part of a automobile ignition system |
| (typicallyContainsPart SparkPlug AutomobileIgnitionSystem) | Cars.kif 3097-3097 | A automobile ignition system typically has a part spark plug |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SparkPlug "spark plug") | Cars.kif 388-388 |
| antecedent |
|
|
| (=> (instance ?SP SparkPlug) (hasPurpose ?SP (exists (?S) (and (instance ?S Spark) (instrument ?S ?SP))))) |
Cars.kif 392-398 | If X is an instance of spark plug, then X has the purpose there exists Y such that Y is an instance of spark and X is an instrument for Y |
| (=> (instance ?SP SparkPlug) (hasPurpose ?SP (exists (?S ?C) (and (instance ?S Spark) (instrument ?S ?SP) (instance ?C Combustion) (causes ?S ?C))))) |
Cars.kif 400-408 | If X is an instance of spark plug, then X has the purpose there exist Y, Z such that Y is an instance of spark, X is an instrument for Y, Z is an instance of burning, and Y causes Z |
| 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 2123-2135 | If X is an instance of distributor, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that U is an instance of engine (3) Y is an instance of spark plug (4) Z is an instance of spark (5) W is a part of X (6) X is a part of U (7) Y is a part of U (8) V is an instance of rotating (9) V causes Z |
|