| 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 | |
| (domain engineCylinders 2 NonnegativeInteger) | Cars.kif 4511-4511 | |
| (instance engineCylinders BinaryPredicate) | Cars.kif 4509-4509 |
| 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 | |
| (=> (instance ?E SixCylinderEngine) (engineCylinders ?E 6)) |
Cars.kif 4545-4547 | |
| (=> (instance ?FCE FourCylinderEngine) (engineCylinders ?FCE 2)) |
Cars.kif 4537-4539 | |
| (=> (instance ?TCE TwoCylinderEngine) (engineCylinders ?TCE 2)) |
Cars.kif 4529-4531 |
|
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