| 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 | Le nombre 1 argument de engineCylinders est une instance de Engine |
| (domain engineCylinders 2 NonnegativeInteger) | Cars.kif 4534-4534 | Le nombre 2 argument de engineCylinders est une instance de nombre entier non n�gatif |
| (instance engineCylinders BinaryPredicate) | Cars.kif 4532-4532 | engineCylinders est une instance de pr�dicat binaire |
| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners