TreeView Knowledge Base Browser

appearance as argument number 1

(documentation engineCylinders EnglishLanguage "The number of EngineCylinders in a particular Engine.")	Cars.kif 4513-4514
(domain engineCylinders 1 Engine)	Cars.kif 4510-4510	域 engineCylinders, 1 and 發動機
(domain engineCylinders 2 NonnegativeInteger)	Cars.kif 4511-4511	域 engineCylinders, 2 and NonnegativeInteger
(instance engineCylinders BinaryPredicate)	Cars.kif 4509-4509	例 engineCylinders and BinaryPredicate

appearance as argument number 2

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

antecedent

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

Cars.kif 4516-4523

consequent

(=> (instance ?E EightCylinderEngine) (engineCylinders ?E 8))	Cars.kif 4553-4555	例發動機 and EightCylinderEngine engineCylinders 發動機 and 8
(=> (instance ?E SixCylinderEngine) (engineCylinders ?E 6))	Cars.kif 4545-4547	例發動機 and SixCylinderEngine engineCylinders 發動機 and 6
(=> (instance ?FCE FourCylinderEngine) (engineCylinders ?FCE 2))	Cars.kif 4537-4539	例發動機 and FourCylinderEngine engineCylinders 發動機 and 2
(=> (instance ?TCE TwoCylinderEngine) (engineCylinders ?TCE 2))	Cars.kif 4529-4531	例發動機 and TwoCylinderEngine engineCylinders 發動機 and 2