engineCylinders - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - engineCylinders

engineCylinders

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4528-4529
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4525-4525	The number 1 argument of engine cylinders is an instance of engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4526-4526	The number 2 argument of engine cylinders is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4524-4524	engine cylinders is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4527-4527
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65820-65820

antecedent

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

Cars.kif 4531-4538

If engine an engine has a nonnegative integer cylinders,
then there exist a collection and the engineC such that the collection is an instance of collection and the collection is member type count engine cylinder for the nonnegative integer and the engineC is a member of the collection and the engineC is a part of the engine

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4568-4570	If an engine is an instance of eight cylinder engine, then engine the engine has 8 cylinders
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4560-4562	If an engine is an instance of six cylinder engine, then engine the engine has 6 cylinders
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4552-4554	If an engine is an instance of four cylinder engine, then engine the engine has 2 cylinders
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4544-4546	If an engine is an instance of two cylinder engine, then engine the engine has 2 cylinders

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