Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (subclass IgnitionCoil ElectricalTransformer) | Cars.kif 3025-3025 | Ignition coil is a subclass of electrical transformer |
| (documentation IgnitionCoil EnglishLanguage "An ElectricalTransformer designed to take 12 Volt power from the Battery of an Automobile and convert it to the 10,000-50,000 volts required to produce a Spark across the SparkPlugs.") | Cars.kif 3027-3029 | Ignition coil is a subclass of electrical transformer |
| (typicalPart IgnitionCoil Automobile) | Cars.kif 3030-3030 | A ignition coil is typically a part of a automobile |
| (typicallyContainsPart IgnitionCoil Automobile) | Cars.kif 3031-3031 | A automobile typically has a part ignition coil |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage IgnitionCoil "ignition coil") | Cars.kif 3026-3026 |
| antecedent |
|
|
|