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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CuredMeat

Sigma KEE - CuredMeat
CuredMeat

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


(documentation CuredMeat EnglishLanguage "A CuredMeat is a cut of Meat, including seafood that is cured in salt, then dried.") Food.kif 2127-2128
(subclass CuredMeat Meat) Food.kif 2126-2126 CuredMeat est une sous-classe de viande
(subclass CuredMeat PreparedFood) Food.kif 2125-2125 CuredMeat est une sous-classe de PreparedFood

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


(subclass Bacon CuredMeat) Food.kif 2137-2137 Bacon est une sous-classe de CuredMeat
(termFormat EnglishLanguage CuredMeat "cured meat") Food.kif 2129-2129

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


(=>
    (instance ?MEAT CuredMeat)
    (attribute ?MEAT CuredAttribute))
Food.kif 2131-2133


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