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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lard
Lard(lard)

appearance as argument number 1
-------------------------


(documentation Lard EnglishLanguage "Lard is fat derived from the rendering of pork fat.[Wikipedia]") Food.kif 2886-2887
(roomTempState Lard Solid) Food.kif 2885-2885 roomTempState lard and solid
(subclass Lard AnimalFat) Food.kif 2884-2884 Lard is a subclass of animal fat

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Lard "lard") Food.kif 2888-2888

antecedent
-------------------------


(=>
    (instance ?L Lard)
    (exists (?H ?F ?P)
        (and
            (instance ?H Heating)
            (patient ?H ?F)
            (instance ?F FatTissue)
            (part ?F ?P)
            (instance ?P Pork)
            (result ?H ?L))))
Food.kif 2890-2899


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