AnimalFat - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AnimalFat EnglishLanguage "AnimalFats are lipids derived from Animal.[Wikipedia]")	Food.kif 2873-2873
(roomTempState AnimalFat Solid)	Food.kif 2872-2872	roomTempState animal fat and solid
(subclass AnimalFat Oil)	Food.kif 2871-2871	Animal fat is a subclass of oil

appearance as argument number 2

(subclass Lard AnimalFat)	Food.kif 2884-2884	Lard is a subclass of animal fat
(subclass Suet AnimalFat)	Food.kif 2901-2901	Suet is a subclass of animal fat
(subclass Tallow AnimalFat)	Food.kif 2916-2916	Tallow is a subclass of animal fat
(termFormat EnglishLanguage AnimalFat "animal fat")	Food.kif 2874-2874	Tallow is a subclass of animal fat

antecedent

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

Food.kif 2876-2882