Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Spark
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Spark ElectricTransmission) | Cars.kif 371-371 | Spark is a subclass of electric transmission |
| (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 373-374 | Spark is a subclass of electric transmission |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Spark "spark") | Cars.kif 372-372 | |
| (subclass Lightning Spark) | Cars.kif 375-375 | Lightning is a subclass of spark |
| 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 377-385 | If X is an instance of spark, then there exist Y, Z such that Y is an instance of electricity, Y is a patient of X, Z is an instance of substance, gas is an attribute of Z, and X is located at Z |
| consequent |
|
|
| (=> (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 |
| (=> (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 |
| (=> (instance ?IC IgnitionCoil) (hasPurpose ?IC (exists (?P ?S) (and (instance ?P ElectricTransmission) (instrument ?P ?IC) (instance ?S Spark) (causes ?P ?S))))) |
Cars.kif 3057-3065 | If X is an instance of ignition coil, then X has the purpose there exist Y, Z such that Y is an instance of electric transmission, X is an instrument for Y, Z is an instance of spark, and Y causes Z |
| (=> (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 3072-3083 | If X is an instance of ignition control module, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of automobile (3) Y is an instance of spark (4) W is an instance of computer process (5) X is a part of Z (6) W is located at Z (7) Y is located at Z (8) W causes Y |
|