Grease(grease) | ![]() | axle_grease, grease, lubricating_oil |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3042-3043 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3040-3040 | Grease is a subclass of lubricant |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3041-3041 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3045-3051 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3079-3087 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3095-3103 |
|
![]() |
![]() |