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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Impacting

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

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 10775-10777
No TPTP formula. May not be expressible in strict first order. Merge.kif 10773-10773 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 10726-10726 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 10779-10787

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 23801-23814
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23781-23798
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10759-10766
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 3607-3631
No TPTP formula. May not be expressible in strict first order. Cars.kif 3650-3679


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