| 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 3002-3003 | |
| (subclass Lubricating Putting) | Cars.kif 3000-3000 | Lubricating 是 放 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Lubricating "lubricating") | Cars.kif 3001-3001 |
| antecedent |
|
|
| (=> (instance ?LP Lubricating) (exists (?L) (and (instance ?L Lubricant) (objectTransferred ?LP ?L)))) |
Cars.kif 3005-3010 |
|
| 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 12374-12382 |
|
|
|