CaffeinatedAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CaffeinatedAttribute EnglishLanguage "CaffeinatedAttribute describes a food that contains Caffeine.")	Food.kif 407-408
(instance CaffeinatedAttribute PreparedFoodAttribute)	Food.kif 405-405	Caffeinated is an instance of prepared food attribute
(relatedInternalConcept CaffeinatedAttribute DecafAttribute)	Food.kif 406-406	Caffeinated is internally related to decaf

appearance as argument number 2

Food.kif 409-409

antecedent

(=>
    (and
        (instance ?F Food)
        (attribute ?F CaffeinatedAttribute))
    (exists (?CAF)
        (and
            (instance ?CAF Caffeine)
            (piece ?CAF ?F))))

Food.kif 411-418

consequent

(=> (instance ?C Coffee) (attribute ?C CaffeinatedAttribute))	Food.kif 637-639	If an object is an instance of coffee, then caffeinated is an attribute of the object
(=> (instance ?T Tea) (attribute ?T CaffeinatedAttribute))	Food.kif 1816-1818	If an object is an instance of tea, then caffeinated is an attribute of the object
(=> (instance ?X CaffeinateFreeTea) (not (attribute ?X CaffeinatedAttribute)))	Food.kif 1825-1828	If an object is an instance of caffeinate free tea, then caffeinated is not an attribute of the object