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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LexAdjective
  Lard

Sigma KEE - 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
(subclass Lard AnimalFat) Food.kif 2884-2884

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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