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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Impacting
Impacting(impacting)KO, KO_punch, Sunday_punch, backhand, backhand_drive, backhand_shot, backhand_stroke, backhander, bang, bash, baste, bastinado, bat, batter, beak, bean, beat, beat_up, beetle, belabor, belabour, belt, biff, birch, blast, blow, bludgeon, bonk, boom, boot, bop, bottom, bottom_out, box, brain, bray, broadside, bruise, buffet, buffeting, bulldoze, bump, bump_into, bunt, butt, butt_against, calk, cane, cat, catch...

VerbNet: bump-18.4|slam, bump-18.4|bash, spank-18.3|clobber, pelt-17.2|buffet, swat-18.2|peck, crane-40.3.2|beat, hit-18.1|beat, spank-18.3|belt, spank-18.3|pummel, spank-18.3|birch, carve-21.2|smash, spank-18.3|club, bump-18.4|bash, carve-21.2|smash, banish-10.2|boot, bump-18.4|bash, spank-18.3|crunch, pelt-17.2|buffet, bump-18.4|knock, bump-18.4|butt, bump-18.4|butt, spank-18.3|flog, bump-18.4|collide, spank-18.3|clobber, spank-18.3|clout, spank-18.3|club, bump-18.4|collide, bump-18.4|strike, spank-18.3|crunch, spank-18.3|conk, spank-18.3|cosh, bump-18.4|crack, break-45.1|crash, spank-18.3|crunch, break-45.1|crush, remedy-45.7|extinguish, spank-18.3|cudgel, spank-18.3|cuff, touch-20|pat, remedy-45.7|extinguish, spank-18.3|flagellate, spank-18.3|thrash, spank-18.3|flog, spank-18.3|cudgel, spank-18.3|crunch, bump-18.4|hammer, hit-18.1|hit, spank-18.3|horsewhip, bump-18.4|strike, hit-18.1|jab, ...


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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3056-3057
No TPTP formula. May not be expressible in strict first order. Merge.kif 10735-10737
No TPTP formula. May not be expressible in strict first order. Merge.kif 10733-10733 Impacting is a subclass of touching

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10751-10751 Clapping is a subclass of impacting
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1588-1588 TouchSurfaceTap is a subclass of impacting
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1128-1128
No TPTP formula. May not be expressible in strict first order. english_format.kif 1478-1478

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


No TPTP formula. May not be expressible in strict first order. Music.kif 1248-1256
No TPTP formula. May not be expressible in strict first order. Merge.kif 10739-10747

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 609-622
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23822-23835
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23802-23819
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10784-10791
No TPTP formula. May not be expressible in strict first order. Music.kif 1357-1367
No TPTP formula. May not be expressible in strict first order. Cars.kif 3606-3630
No TPTP formula. May not be expressible in strict first order. Cars.kif 3649-3678


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