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 4536-4537
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4533-4533	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 4534-4534	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 4532-4532	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 4535-4535
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 4539-4546

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 4576-4578	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 4568-4570	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 4560-4562	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 4552-4554	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