engineCylinders - Sigma Knowledge base Browser

appearance as argument number 1

(instance engineCylinders BinaryPredicate)	Cars.kif 4416-4416	engine cylinders is an instance of binary predicate
(domain engineCylinders 1 Engine)	Cars.kif 4417-4417	The number 1 argument of engine cylinders is an instance of engine
(domain engineCylinders 2 NonnegativeInteger)	Cars.kif 4418-4418	The number 2 argument of engine cylinders is an instance of nonnegative integer
(documentation engineCylinders EnglishLanguage "The number of EngineCylinders in a particular Engine.")	Cars.kif 4420-4421	The number 2 argument of engine cylinders is an instance of nonnegative integer

appearance as argument number 2

(format EnglishLanguage engineCylinders "engine %1 has %2 cylinders")	Cars.kif 4419-4419
(termFormat EnglishLanguage engineCylinders "engine cylinders")	domainEnglishFormat.kif 65831-65831

antecedent

(=>
    (engineCylinders ?E ?N)
    (exists (?G ?EC)
        (and
            (instance ?G CollectionOfObjects)
            (memberTypeCount ?G EngineCylinder ?N)
            (member ?EC ?G)
            (part ?EC ?E))))

If engine X has Y cylinders, then there exist Z, W such that Z is an instance of collection, Z is member type count engine cylinder for Y, W is a member of Z, and W is a part of X

consequent

(=> (instance ?TCE TwoCylinderEngine) (engineCylinders ?TCE 2))	Cars.kif 4436-4438	If X is an instance of two cylinder engine, then engine X has 2 cylinders
(=> (instance ?FCE FourCylinderEngine) (engineCylinders ?FCE 2))	Cars.kif 4444-4446	If X is an instance of four cylinder engine, then engine X has 2 cylinders
(=> (instance ?E SixCylinderEngine) (engineCylinders ?E 6))	Cars.kif 4452-4454	If X is an instance of six cylinder engine, then engine X has 6 cylinders
(=> (instance ?E EightCylinderEngine) (engineCylinders ?E 8))	Cars.kif 4460-4462	If X is an instance of eight cylinder engine, then engine X has 8 cylinders