|
|
   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 2979-2980 | |
| (subclass Lubricating Putting) | Cars.kif 2977-2977 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Lubricating "lubricating") | Cars.kif 2978-2978 |
| antecedent |
|
|
| (=> (instance ?LP Lubricating) (exists (?L) (and (instance ?L Lubricant) (objectTransferred ?LP ?L)))) |
Cars.kif 2982-2987 |
| 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 12402-12410 |
|
|
|