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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CookedAttribute

Sigma KEE - CookedAttribute
CookedAttribute(cooked)au_gratin, baked, batter-fried, braised, broiled, burned, burnt, candy-like, cooked, deep-fried, done, fried, grilled, half-baked, hard-baked, hard-boiled, overdone, pancake-style, parched, rare-roasted, ready-cooked, roast, roasted, saute, sauteed, seared, soft-boiled, souffle-like, steamed, sunny-side_up, toasted, uncooked, underdone, untoasted, wafer-like, well-done

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


No TPTP formula. May not be expressible in strict first order. Food.kif 32-33
No TPTP formula. May not be expressible in strict first order. Food.kif 30-30 Cooked is an instance of prepared food attribute
No TPTP formula. May not be expressible in strict first order. Food.kif 31-31 Cooked is internally related to raw food

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


No TPTP formula. May not be expressible in strict first order. Food.kif 34-34

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


No TPTP formula. May not be expressible in strict first order. Food.kif 37-44

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 1054-1056
No TPTP formula. May not be expressible in strict first order. Food.kif 1034-1042
No TPTP formula. May not be expressible in strict first order. Food.kif 1756-1758
No TPTP formula. May not be expressible in strict first order. Food.kif 1562-1564


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