| Lubricating | |
| appearance as argument number 1 |
|
|
| (documentation Lubricating EnglishLanguage "Putting a Lubricant on some Object with the purpose to reduce Friction when that part moves against another.") | Cars.kif 3054-3055 | |
| (subclass Lubricating Putting) | Cars.kif 3052-3052 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Lubricating "lubricating") | Cars.kif 3053-3053 |
| antecedent |
|
|
| (=> (instance ?LP Lubricating) (exists (?L) (and (instance ?L Lubricant) (objectTransferred ?LP ?L)))) |
Cars.kif 3057-3062 |
| consequent |
|
|
| (=> (instance ?T TearSubstance) (hasPurpose ?T (exists (?L ?EYE) (and (instance ?L Lubricating) (objectTransferred ?L ?T) (instance ?EYE Eye) (destination ?L ?EYE))))) |
Mid-level-ontology.kif 12593-12601 |
|
|
|