engineCylinders - Sigma Knowledge base Browser

appearance as argument number 1

(documentation engineCylinders EnglishLanguage "The number of EngineCylinders in a particular Engine.")	Cars.kif 4531-4532
(domain engineCylinders 1 Engine)	Cars.kif 4528-4528	The number 1 argument of engineCylinders is an instance of engine
(domain engineCylinders 2 NonnegativeInteger)	Cars.kif 4529-4529	The number 2 argument of engineCylinders is an instance of nonnegative integer
(instance engineCylinders BinaryPredicate)	Cars.kif 4527-4527	engineCylinders is an instance of binary predicate

appearance as argument number 2

Cars.kif 4530-4530

antecedent

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

Cars.kif 4534-4541

consequent

(=> (instance ?E EightCylinderEngine) (engineCylinders ?E 8))	Cars.kif 4571-4573	If an engine is an instance of eight cylinder engine, then engine the engine has 8 cylinders
(=> (instance ?E SixCylinderEngine) (engineCylinders ?E 6))	Cars.kif 4563-4565	If an engine is an instance of six cylinder engine, then engine the engine has 6 cylinders
(=> (instance ?FCE FourCylinderEngine) (engineCylinders ?FCE 2))	Cars.kif 4555-4557	If an engine is an instance of four cylinder engine, then engine the engine has 2 cylinders
(=> (instance ?TCE TwoCylinderEngine) (engineCylinders ?TCE 2))	Cars.kif 4547-4549	If an engine is an instance of two cylinder engine, then engine the engine has 2 cylinders