EngineChoke - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1311-1312
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1309-1309	Engine choke is a subclass of device

appearance as argument number 2

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

Cars.kif 1310-1310

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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: