| MotorOil(motor oil) | | motor_oil |
| appearance as argument number 1 |
|
|
| (documentation MotorOil EnglishLanguage "MotorOil is the subclass of PetroleumLubricants that are used to lubricate motors.") | Economy.kif 6338-6339 | |
| (subclass MotorOil PetroleumLubricant) | Economy.kif 6337-6337 | Motor oil is a subclass of petroleum lubricant |
| appearance as argument number 2 |
|
|
| (manufacturer Valvoline MotorOil) | Medicine.kif 3851-3851 | The maker of Valvoline is motor oil |
| (termFormat ChineseLanguage MotorOil "机油") | domainEnglishFormat.kif 38863-38863 | The maker of Valvoline is motor oil |
| (termFormat ChineseTraditionalLanguage MotorOil "機油") | domainEnglishFormat.kif 38862-38862 | The maker of Valvoline is motor oil |
| (termFormat EnglishLanguage MotorOil "motor oil") | domainEnglishFormat.kif 38861-38861 | The maker of Valvoline is motor oil |
|
|
|