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 CuredMeatmeatsubclass
(subclass CuredMeat PreparedFood) Food.kif 2125-2125 CuredMeat已准备食物subclass

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


(subclass Bacon CuredMeat) Food.kif 2137-2137 BaconCuredMeatsubclass
(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