TreeView Knowledge Base Browser

appearance as argument number 1

(documentation engineCylinders EnglishLanguage "The number of EngineCylinders in a particular Engine.")	Cars.kif 4536-4537
(domain engineCylinders 1 Engine)	Cars.kif 4533-4533	Die Zahl 1 Argument von engineCylinders ist ein fall von Engine %n{nicht}
(domain engineCylinders 2 NonnegativeInteger)	Cars.kif 4534-4534	Die Zahl 2 Argument von engineCylinders ist ein fall von NonnegativeInteger %n{nicht}
(instance engineCylinders BinaryPredicate)	Cars.kif 4532-4532	engineCylinders ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

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

antecedent

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

Cars.kif 4539-4546

consequent

(=> (instance ?E EightCylinderEngine) (engineCylinders ?E 8))	Cars.kif 4576-4578	Wenn Engine ist ein fall von EightCylinderEngine %n{nicht}, dann engineCylinders ** Engine and 8
(=> (instance ?E SixCylinderEngine) (engineCylinders ?E 6))	Cars.kif 4568-4570	Wenn Engine ist ein fall von SixCylinderEngine %n{nicht}, dann engineCylinders ** Engine and 6
(=> (instance ?FCE FourCylinderEngine) (engineCylinders ?FCE 2))	Cars.kif 4560-4562	Wenn Engine ist ein fall von FourCylinderEngine %n{nicht}, dann engineCylinders ** Engine and 2
(=> (instance ?TCE TwoCylinderEngine) (engineCylinders ?TCE 2))	Cars.kif 4552-4554	Wenn Engine ist ein fall von TwoCylinderEngine %n{nicht}, dann engineCylinders ** Engine and 2