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...

VerbNet: dine-39.5|junket, gorge-39.6|gorge, lodge-46|board, gobble-39.3|gobble, dine-39.5|breakfast, dine-39.5|graze, dine-39.5|brunch, devour-39.4|devour, pocket-9.10|pasture, devour-39.4|devour, dine-39.5|dine, funnel-9.3|dunk, devour-39.4|devour, run-51.3.2|drift, funnel-9.3|dunk, eat-39.1|eat, stop-55.4|finish, gorge-39.6|gorge, gorge-39.6|gorge, dine-39.5|junket, eat-39.1|eat, stop-55.4|finish, gorge-39.6|gorge, devour-39.4|devour, gobble-39.3|gobble, gorge-39.6|gorge, gorge-39.6|gorge, gorge-39.6|gorge, gorge-39.6|gorge, pocket-9.10|pasture, tape-22.4|gum, devour-39.4|devour, gorge-39.6|gorge, dine-39.5|junket, dine-39.5|lunch, chew-39.2|pick, dine-39.5|snack, gorge-39.6|gorge, gorge-39.6|gorge, gorge-39.6|gorge, pocket-9.10|pasture, chew-39.2|peck, chew-39.2|pick, chew-39.2|peck, dine-39.5|picnic, chew-39.2|pick, devour-39.4|devour, gorge-39.6|gorge, stop-55.4|finish, dine-39.5|graze, ...


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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14173-14173
No TPTP formula. May not be expressible in strict first order. Merge.kif 14170-14171
No TPTP formula. May not be expressible in strict first order. Merge.kif 14175-14175
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2807-2807 "http://upload.wikimedia.org/wikipedia/commons/2/2f/ Israel_4_028_Jew_with_kosher_food.jpg" is a URL depicting eating
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2669-2669 "http://upload.wikimedia.org/wikipedia/commons/4/45/ Din_Tai_Fung_dumpling_house_by_Yunlong_in_Taipei.jpg" is a URL depicting eating
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2806-2806 "http://upload.wikimedia.org/wikipedia/commons/d/db/ Girl_with_chopsticks_at_dumpling_restaurant.jpg" is a URL depicting eating
No TPTP formula. May not be expressible in strict first order. Merge.kif 14168-14168 Eating is a subclass of ingesting

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 312-312 Aqiqah is a subclass of eating
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 80-80 Iftar is a subclass of eating
No TPTP formula. May not be expressible in strict first order. Geography.kif 2695-2695 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 "进食" is the printable form of eating in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 1943-1943 "eating" is the printable form of eating in english language
No TPTP formula. May not be expressible in strict first order. english_format.kif 1944-1944 "摂食" is the printable form of eating in japanese language

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1158-1175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28799-28820
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17806-17812
No TPTP formula. May not be expressible in strict first order. Merge.kif 14177-14181
No TPTP formula. May not be expressible in strict first order. Dining.kif 544-560
No TPTP formula. May not be expressible in strict first order. Merge.kif 19060-19066
No TPTP formula. May not be expressible in strict first order. Dining.kif 1178-1197
No TPTP formula. May not be expressible in strict first order. Dining.kif 277-294
No TPTP formula. May not be expressible in strict first order. Food.kif 167-176
No TPTP formula. May not be expressible in strict first order. Food.kif 211-220
No TPTP formula. May not be expressible in strict first order. Food.kif 195-204

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1158-1175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19170-19177
No TPTP formula. May not be expressible in strict first order. Dining.kif 1178-1197
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1502-1522
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17576-17582
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28786-28793
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9788-9793
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13253-13259
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4907-4916
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17792-17800
No TPTP formula. May not be expressible in strict first order. Food.kif 149-155
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20429-20443


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners