| 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 5940-5941 | |
| (subclass MotorOil PetroleumLubricant) | Economy.kif 5939-5939 | Motor oil is a subclass of petroleum lubricant |
| appearance as argument number 2 |
|
|
| (manufacturer Valvoline MotorOil) | Medicine.kif 3848-3848 | The maker of Valvoline is motor oil |
| (termFormat ChineseLanguage MotorOil "机油") | domainEnglishFormat.kif 38871-38871 | The maker of Valvoline is motor oil |
| (termFormat ChineseTraditionalLanguage MotorOil "機油") | domainEnglishFormat.kif 38870-38870 | The maker of Valvoline is motor oil |
| (termFormat EnglishLanguage MotorOil "motor oil") | domainEnglishFormat.kif 38869-38869 | The maker of Valvoline is motor oil |
|
|
|