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 |