TreeView Knowledge Base Browser - EngineFlooded

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - EngineFlooded

EngineFlooded(engine flooded)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2791-2792
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2789-2789	Engine flooded is an instance of relational attribute

appearance as argument number 2

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

Cars.kif 2790-2790

antecedent

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

Cars.kif 2794-2813

If an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and an entity is an instance of fuel and another entity is an instance of unit of volume and the other object contains the entity and the measure of the entity is a third entity the other entity(s) and engine flooded is an attribute of the object holds during a time position,
then the other object has the purpose there don't exist the entity2 and a fifth entity such that the entity2 is an instance of fuel and the other object contains the entity2 and the measure of the entity2 is the fifth entity the other entity(s) and the fifth entity is greater than or equal to the third 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