TreeView Knowledge Base Browser - FourStrokeCompression

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

FourStrokeCompression

Sigma KEE - FourStrokeCompression

FourStrokeCompression(four stroke compression)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 188-189
No TPTP formula. May not be expressible in strict first order.	Cars.kif 186-186	Four stroke compression is a subclass of motion

appearance as argument number 2

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

Cars.kif 187-187

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1314-1348	If an entity is an instance of engine choke and device on is an attribute of the entity holds during a process and device off is an attribute of the entity holds during another process and a self connected object is an instance of engine cylinder and a constant quantity is a capacity of the self connected object and the process is an instance of four stroke compression and the other process is an instance of four stroke compression and the process is located at the self connected object and the other process is located at the self connected object and an object is an instance of air and another object is an instance of fuel and the object is a part of the constant quantityIX1 and the other object is a part of the constant quantityIX1 and the measure of the constant quantityIX1 is the constant quantity and a fourth object is an instance of air and a fifth object is an instance of fuel and the fourth object is a part of the constant quantityIX2 and the fifth object is a part of the constant quantityIX2 and the measure of the constant quantityIX2 is the constant quantity and an unit of measure is an instance of unit of measure and the measure of the object is the objectM the unit of measure(s) and the measure of the fourth object is the fourth objectM the unit of measure(s) and the measure of the other object is the other objectM the unit of measure(s) and the measure of the fifth object is the fifth objectM the unit of measure(s), then the fourth objectM and the fifth objectM is greater than the objectM and the other objectM
No TPTP formula. May not be expressible in strict first order.	Cars.kif 191-200	If a process is an instance of four stroke compression and an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at the object, then pressurized is an attribute of the hole holds during the end of the time of existence of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 114-132	If a physical is an instance of four stroke engine, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and the entity2 such that the entity is an instance of four stroke intake and the other entity is an instance of four stroke compression and the third entity is an instance of four stroke combustion and the fourth entity is an instance of four stroke exhaust and the entity2 is an instance of four stroke intake and the entity is located at the physical and the other entity is located at the physical and the third entity is located at the physical and the fourth entity is located at the physical and the entity2 is located at the physical and the entity meets the other entity and the other entity meets the third entity and the third entity meets the fourth entity and the fourth entity meets the entity2
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