TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage Lubricating "lubricating")

antecedent

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

If X is an instance of lubricating, then there exists Y such that Y is an instance of lubricant and the object transferred in X is Y

consequent

(=>
    (instance ?T TearSubstance)
    (hasPurpose ?T
        (exists (?L ?EYE)
            (and
                (instance ?L Lubricating)
                (objectTransferred ?L ?T)
                (instance ?EYE Eye)
                (destination ?L ?EYE)))))

If X is an instance of tear, then X has the purpose there exist Y, Z such that Y is an instance of lubricating, the object transferred in Y is X, Z is an instance of eye, and Y ends up at Z

(subclass Lubricating Putting)	Mid-level-ontology.kif 13978-13978	Lubricating is a subclass of putting
(documentation Lubricating EnglishLanguage "Putting a Lubricant on some Object with the purpose to reduce Friction when that part moves against another.")	Mid-level-ontology.kif 13980-13981	Lubricating is a subclass of putting