TreeView Knowledge Base Browser - PositiveCrankcaseVentilationValve

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

PositiveCrankcaseVentilationValve

Sigma KEE - PositiveCrankcaseVentilationValve

PositiveCrankcaseVentilationValve(positive crankcase ventilation valve)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3798-3800
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3796-3796	Positive crankcase ventilation valve is a subclass of valve
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3801-3801	A positive crankcase ventilation valve is typically a part of a four stroke engine

appearance as argument number 2

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

Cars.kif 3797-3797

antecedent

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

Cars.kif 3803-3819

If a physical is an instance of positive crankcase ventilation valve,
then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of crankcase and the other entity is an instance of fuel and the third entity is an instance of combustion chamber and the fourth entity is an instance of transfer and the fifth entity is an instance of automobile and the entity is a part of the fifth entity and the third entity is a part of the fifth entity and the physical is a part of the fifth entity and the fourth entity originates at the entity and the fourth entity ends up at the third entity and the object transferred in the fourth entity is the other entity and the physical is path along which the fourth entity occurs

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