Lubricating - Sigma Knowledge base Browser

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 3055-3056
(subclass Lubricating Putting)	Cars.kif 3053-3053	Lubricating is a subclass of putting

appearance as argument number 2

(termFormat EnglishLanguage Lubricating "lubricating")

Cars.kif 3054-3054

antecedent

(=>
    (instance ?LP Lubricating)
    (exists (?L)
        (and
            (instance ?L Lubricant)
            (objectTransferred ?LP ?L))))

Cars.kif 3058-3063

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 13700-13708