TreeView Knowledge Base Browser - FourStrokeEngineCycle

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

FourStrokeEngineCycle

Sigma KEE - FourStrokeEngineCycle

FourStrokeEngineCycle(four stroke engine cycle)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 136-138
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

appearance as argument number 2

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

Cars.kif 135-135

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 140-145	If a process is an instance of four stroke engine cycle, then there exists an object such that the object is an instance of four stroke engine and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 147-164	If a process is an instance of four stroke engine cycle, then there exist a time interval, another time interval,, , a third time interval,, , a fourth time interval and the time interval2 such that the time interval is an instance of four stroke intake and the other time interval is an instance of four stroke compression and the third time interval is an instance of four stroke combustion and the fourth time interval is an instance of four stroke exhaust and the time interval2 is an instance of four stroke intake and the time interval is a subprocess of the process and the other time interval is a subprocess of the process and the third time interval is a subprocess of the process and the fourth time interval is a subprocess of the process and the time interval2 is a subprocess of the process and the time interval meets the other time interval and the other time interval meets the third time interval and the third time interval meets the fourth time interval and the fourth time interval meets the time interval2

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