Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Backfire

Sigma KEE - Backfire
Backfire(backfire)backfire

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1352-1353
No TPTP formula. May not be expressible in strict first order. Cars.kif 1350-1350 Backfire is a subclass of combustion

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1351-1351

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1354-1362


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