Cheese - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Cheese

Cheese(cheese)

Bavarian_blue, Camembert, Cheshire_cheese, Danish_blue, Edam, Emmental, Emmentaler, Emmenthal, Emmenthaler, Gruyere, Liederkranz, Limburger, Muenster, Roquefort, Stilton, Swiss_cheese, Velveeta, bleu, blue_cheese, brick_cheese, cheese, cheese_rind, chevre, cottage_cheese, cream_cheese, double_Gloucester, double_cream, farm_cheese, farmer's_cheese, goat_cheese, gorgonzola, grated_cheese, hand_cheese, mascarpone, pot_cheese, process_cheese, processed_cheese, quark, quark_cheese, sapsago, string_cheese, triple_cream, triple_creme

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 3260-3262
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 336-336
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 63-63
No TPTP formula. May not be expressible in strict first order.	Food.kif 3258-3258	Cheese is a subclass of dairy product
No TPTP formula. May not be expressible in strict first order.	Food.kif 3259-3259	Cheese is a subclass of gel

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 3286-3286	Blue cheese is a subclass of cheese
No TPTP formula. May not be expressible in strict first order.	Food.kif 3280-3280	Firm cheese is a subclass of cheese
No TPTP formula. May not be expressible in strict first order.	Food.kif 3265-3265	Fresh cheese is a subclass of cheese
No TPTP formula. May not be expressible in strict first order.	Food.kif 3275-3275	Semi firm cheese is a subclass of cheese
No TPTP formula. May not be expressible in strict first order.	Food.kif 3270-3270	Soft ripened cheese is a subclass of cheese
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14262-14262
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14261-14261
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14260-14260

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