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 2996-2997 | |
(subclass Lubricating Putting) | Cars.kif 2994-2994 | Lubricating ist eine teilkategorie von Putting |
appearance as argument number 2 |
(termFormat EnglishLanguage Lubricating "lubricating") | Cars.kif 2995-2995 |
antecedent |
(=> (instance ?LP Lubricating) (exists (?L) (and (instance ?L Lubricant) (objectTransferred ?LP ?L)))) |
Cars.kif 2999-3004 |
|
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 12375-12383 |
|