TreeView Knowledge Base Browser - Spark

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Spark

Spark(spark)

arc, discharge, electric_arc, electric_discharge, spark

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 420-421
No TPTP formula. May not be expressible in strict first order.	Cars.kif 418-418	Spark is a subclass of electric transmission

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 422-422	Lightning is a subclass of spark
No TPTP formula. May not be expressible in strict first order.	Cars.kif 419-419

antecedent

No TPTP formula. May not be expressible in strict first order.

Cars.kif 424-432

If a process is an instance of spark,
then there exist an entity and an object such that the entity is an instance of electricity and the entity is a patient of the process and the object is an instance of substance and gas is an attribute of the object and the process is located at 2

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2274-2286	If a physical is an instance of distributor, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the fifth entity is an instance of engine and the entity is an instance of spark plug and the other entity is an instance of spark and the third entity is a part of the physical and the physical is a part of the fifth entity and the entity is a part of the fifth entity and the fourth entity is an instance of rotating and the fourth entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3167-3175	If a physical is an instance of ignition coil, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of electric transmission and the physical is an instrument for the entity and the other entity is an instance of spark and the entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3182-3193	If a physical is an instance of ignition control module, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of automobile and the entity is an instance of spark and the third entity is an instance of computer process and the physical is a part of the other entity and the third entity is located at 2 and the entity is located at 2 and the third entity causes the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 447-455	If a physical is an instance of spark plug, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of spark and the physical is an instrument for the entity and the other entity is an instance of combustion and the entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 439-445	If a physical is an instance of spark plug, then the physical has the purpose there exists an entity such that the entity is an instance of spark and the physical is an instrument for the entity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners