engineCylinders |
appearance as argument number 1 |
(documentation engineCylinders EnglishLanguage "The number of EngineCylinders in a particular Engine.") | Cars.kif 4528-4529 | |
(domain engineCylinders 1 Engine) | Cars.kif 4525-4525 | Die Zahl 1 Argument von engineCylinders ist ein fall von Engine %n{nicht} |
(domain engineCylinders 2 NonnegativeInteger) | Cars.kif 4526-4526 | Die Zahl 2 Argument von engineCylinders ist ein fall von NonnegativeInteger %n{nicht} |
(instance engineCylinders BinaryPredicate) | Cars.kif 4524-4524 | engineCylinders ist ein fall von BinaryPredicate %n{nicht} |
appearance as argument number 2 |
(format EnglishLanguage engineCylinders "engine %1 has %2 cylinders") | Cars.kif 4527-4527 | |
(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 4531-4538 |
|
consequent |
(=> (instance ?E EightCylinderEngine) (engineCylinders ?E 8)) |
Cars.kif 4568-4570 |
|
(=> (instance ?E SixCylinderEngine) (engineCylinders ?E 6)) |
Cars.kif 4560-4562 |
|
(=> (instance ?FCE FourCylinderEngine) (engineCylinders ?FCE 2)) |
Cars.kif 4552-4554 |
|
(=> (instance ?TCE TwoCylinderEngine) (engineCylinders ?TCE 2)) |
Cars.kif 4544-4546 |
|