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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Eating
Eating(eating)
Dutch_treat, anthropophagous, anthropophagy, banquet, banqueting, binge, bite, board, bolt, bolt_down, break_bread, breakfast, browse, browsing, brunch, cannibalise, cannibalism, cannibalistic, cannibalize, chomp, consume, coprophagia, coprophagy, corn-fed, crop, degust, devour, dig_in, digest, dine, dine_in, dine_out, dining, dip, down, drift, dunk, eat, eat_in, eat_out, eat_up, eating, englut, engorge, engorgement, fare, feast, feasting, feed, feeding...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2909-2909
No TPTP formula. May not be expressible in strict first order. Merge.kif 10402-10403
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1658-1658
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2805-2805
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2667-2667
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2804-2804
No TPTP formula. May not be expressible in strict first order. Merge.kif 10400-10400 Eating is a subclass of ingesting

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 325-325 Aqiqah is a subclass of eating
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 89-89 Iftar is a subclass of eating
No TPTP formula. May not be expressible in strict first order. Geography.kif 2925-2925 Overgrazing is a subclass of eating
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 35-35 Suhur is a subclass of eating
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1080-1080 Suhur is a subclass of eating
No TPTP formula. May not be expressible in strict first order. english_format.kif 1371-1371 Suhur is a subclass of eating
No TPTP formula. May not be expressible in strict first order. french_format.kif 758-758 Suhur is a subclass of eating
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 290-290 Suhur is a subclass of eating
No TPTP formula. May not be expressible in strict first order. terms-it.txt 293-293 Suhur is a subclass of eating
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2442-2442 Suhur is a subclass of eating
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 710-710 Suhur is a subclass of eating
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 295-295 Suhur is a subclass of eating
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 329-329 Suhur is a subclass of eating
No TPTP formula. May not be expressible in strict first order. terms-de.txt 588-588 Suhur is a subclass of eating
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 779-779 Suhur is a subclass of eating
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 294-294 Suhur is a subclass of eating

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1207-1224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32596-32617
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21682-21688
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21653-21659
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21667-21676
No TPTP formula. May not be expressible in strict first order. Merge.kif 10405-10409
No TPTP formula. May not be expressible in strict first order. Dining.kif 586-602
No TPTP formula. May not be expressible in strict first order. Merge.kif 14756-14762
No TPTP formula. May not be expressible in strict first order. Dining.kif 1227-1246
No TPTP formula. May not be expressible in strict first order. Dining.kif 274-291
No TPTP formula. May not be expressible in strict first order. Food.kif 1712-1722
No TPTP formula. May not be expressible in strict first order. Food.kif 1799-1809
No TPTP formula. May not be expressible in strict first order. Food.kif 1782-1792

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1207-1224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23150-23157
No TPTP formula. May not be expressible in strict first order. Dining.kif 1227-1246
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1569-1589
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21362-21368
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21639-21647
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5044-5052
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5017-5029
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32583-32590
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12897-12902
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16944-16950
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4878-4887
No TPTP formula. May not be expressible in strict first order. Food.kif 1694-1700
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24201-24215


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