Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AnimalFat
AnimalFat(animal fat)

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


        (equal ?AF
            (OrganicObjectFn ?F))
        (subclass ?AF AnimalFat)
        (subclass ?F FatTissue))
    (initialPart ?F Animal))
Food.kif 2876-2882

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners