TreeView Knowledge Base Browser - FourStrokeEngine

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

FourStrokeEngine

Sigma KEE - FourStrokeEngine

FourStrokeEngine(four stroke engine)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 99-105
No TPTP formula. May not be expressible in strict first order.	Cars.kif 97-97
No TPTP formula. May not be expressible in strict first order.	Cars.kif 96-96	Four stroke engine is a subclass of intermittent combustion engine

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 98-98
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2646-2646	A exhaust valve is typically a part of a four stroke engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2671-2671	A intake valve is typically a part of a four stroke engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3877-3877	A positive crankcase ventilation valve is typically a part of a four stroke engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3902-3902	A rocker arm is typically a part of a four stroke engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2647-2647	A four stroke engine typically has a part exhaust valve
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2672-2672	A four stroke engine typically has a part intake valve
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3903-3903	A four stroke engine typically has a part rocker arm

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 107-112	If an object is an instance of four stroke engine, then there exists another object such that the other object is an instance of engine cylinder and the other object is a part of the object
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

consequent

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 3905-3925	If a physical is an instance of rocker arm, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of pushing and the other entity is an instance of cam and the third entity is an instance of pushing and the fourth entity is an instance of valve and the fifth entity is an instance of opening and the sixth entity is an instance of four stroke engine and the physical is a part of the sixth entity and the other entity is a part of the sixth entity and the fourth entity is a part of the sixth entity and the other entity is an instrument for the entity and the entity ends up at the physical and the physical is an instrument for the third entity and the third entity ends up at the fourth entity and the entity causes the third entity and the third entity causes the fifth entity and the fourth entity is a patient of the fifth entity

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