AnimalFat - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AnimalFat EnglishLanguage "AnimalFats are lipids derived from Animal.[Wikipedia]")	Food.kif 2880-2880
(roomTempState AnimalFat Solid)	Food.kif 2879-2879	room temperature state animal fat and solid
(subclass AnimalFat Oil)	Food.kif 2878-2878	Animal fat is a subclass of oil

appearance as argument number 2

(subclass Lard AnimalFat)	Food.kif 2891-2891	Lard is a subclass of animal fat
(subclass Suet AnimalFat)	Food.kif 2908-2908	Suet is a subclass of animal fat
(subclass Tallow AnimalFat)	Food.kif 2923-2923	Tallow is a subclass of animal fat
(termFormat EnglishLanguage AnimalFat "animal fat")	Food.kif 2881-2881	Tallow is a subclass of animal fat

antecedent

(=>
    (and
        (equal ?AF
            (OrganicObjectFn ?F))
        (subclass ?AF AnimalFat)
        (subclass ?F FatTissue))
    (initialPart ?F Animal))

Food.kif 2883-2889