engineCylinders |
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 | engineCylinders の数値 1 引数は Engine の instance では %n |
(domain engineCylinders 2 NonnegativeInteger) | Cars.kif 4534-4534 | engineCylinders の数値 2 引数は 非負整数 の instance では %n |
(instance engineCylinders BinaryPredicate) | Cars.kif 4532-4532 | engineCylinders は 2進述語 の instance では %n |
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 |
|
(=> (instance ?E SixCylinderEngine) (engineCylinders ?E 6)) |
Cars.kif 4568-4570 |
|
(=> (instance ?FCE FourCylinderEngine) (engineCylinders ?FCE 2)) |
Cars.kif 4560-4562 |
|
(=> (instance ?TCE TwoCylinderEngine) (engineCylinders ?TCE 2)) |
Cars.kif 4552-4554 |
|