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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EngineCycle

Sigma KEE - EngineCycle
EngineCycle(engine cycle)

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 81-83
No TPTP formula. May not be expressible in strict first order. Cars.kif 80-80 Engine cycle is a subclass of motion

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 134-134 Four stroke engine cycle is a subclass of engine cycle
No TPTP formula. May not be expressible in strict first order. Cars.kif 251-251 Two stroke engine cycle is a subclass of engine cycle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64822-64822

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1898-1917
No TPTP formula. May not be expressible in strict first order. Cars.kif 1868-1887
No TPTP formula. May not be expressible in strict first order. Cars.kif 1943-1965


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