Lubricant - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Lubricant EnglishLanguage "Any Substance that reduces Friction between two objects that are in contact and move with respect to one another. Note that this does not include CorpuscularObjects like BallBearings.")	Cars.kif 3036-3038
(subclass Lubricant Substance)	Cars.kif 3034-3034	Lubricant is a subclass of substance

appearance as argument number 2

(subclass Grease Lubricant)	Cars.kif 3040-3040	Grease is a subclass of lubricant
(termFormat EnglishLanguage Lubricant "lubricant")	Cars.kif 3035-3035	Grease is a subclass of lubricant

consequent

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

Cars.kif 3058-3063

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