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

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 and ElectricTransmission

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 422-422	子類閃電 and 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

例 Process and Spark
Entity Object 例 Entity and 電力患者 Process and Entity 例 Object and Substance attribute Object and 加油站 Process 是 located 在 Object

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2257-2269	例 Physical and Distributor 有目的 Physical and entity entity, entity, entity and entity 例 entity and 發動機例 entity and SparkPlug 例 entity and Spark 部分 entity and Physical 部分 Physical and entity 部分 entity and entity 例 entity and 旋轉原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3152-3160	例 Physical and IgnitionCoil 有目的 Physical and entity entity 例 entity and ElectricTransmission 儀器 entity and Physical 例 entity and Spark 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3167-3178	例 Physical and IgnitionControlModule 有目的 Physical and entity entity and entity 例 entity and 汽車例 entity and Spark 例 entity and 電腦程序部分 Physical and entity entity 是 located 在 entity entity 是 located 在 entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 447-455	例 Physical and SparkPlug 有目的 Physical and entity entity 例 entity and Spark 儀器 entity and Physical 例 entity and Combustion 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 439-445	例 Physical and SparkPlug 有目的 Physical and entity 例 entity and Spark 儀器 entity and Physical

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