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 是 ElectricTransmission 的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 422-422	闪电是 Spark 的 subclass
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

如果过程是 Spark 的 instance，
然后有存在实体和客体这样那个实体是电力的 instance 和那个实体是那个过程的 patient 和那个客体是物质的 instance 和加油站是那个客体的 attribute 和那个过程是 located 在那个客体

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2274-2286	如果物理是 Distributor 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个第五实体是发动机的 instance 和那个实体是 SparkPlug 的 instance 和那个另外实体是 Spark 的 instance 和那个第三实体是那个物理的 part 和那个物理是那个第五实体的 part 和那个实体是那个第五实体的 part 和那个第四实体是旋转的 instance 和那个第四实体 causes 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3167-3175	如果物理是 IgnitionCoil 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是 ElectricTransmission 的 instance 和那个物理是导致那个实体的 instrument 和那个另外实体是 Spark 的 instance 和那个实体 causes 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3182-3193	如果物理是 IgnitionControlModule 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个另外实体是汽车的 instance 和那个实体是 Spark 的 instance 和那个第三实体是电脑程序的 instance 和那个物理是那个另外实体的 part 和那个第三实体是 located 在那个另外实体和那个实体是 located 在那个另外实体和那个第三实体 causes 那个实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 447-455	如果物理是 SparkPlug 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是 Spark 的 instance 和那个物理是导致那个实体的 instrument 和那个另外实体是燃烧的 instance 和那个实体 causes 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 439-445	如果物理是 SparkPlug 的 instance，然后那个物理的目的是有存在实体这样那个实体是 Spark 的 instance 和那个物理是导致那个实体的 instrument

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