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

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


s__documentation(s__Impacting,s__ChineseLanguage,'"这是任何 Touching 的过程, 她发生在当某样东西突然而有力 地和另外一样东西发生物理上的接触。 一些例子如击、敲和搅等。"')

chinese_format.kif 3056-3057
s__documentation(s__Impacting,s__EnglishLanguage,'"Any Touching where something comes into sudden, forceful, physical contact with something else. Some examples would be striking, knocking, whipping etc."')

Merge.kif 11041-11043
s__instance(s__Touching,s__SetOrClass)

s__instance(s__Impacting,s__SetOrClass)

s__subclass(s__Impacting,s__Touching)

Merge.kif 11039-11039 Impacting is a subclass of touching

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


s__instance(s__Clapping,s__SetOrClass)

s__subclass(s__Clapping,s__Impacting)

s__instance(s__Impacting,s__SetOrClass)

Mid-level-ontology.kif 12288-12288 Clapping is a subclass of impacting
s__subclass(s__TouchSurfaceTap,s__Impacting)

s__instance(s__Impacting,s__SetOrClass)

s__instance(s__TouchSurfaceTap,s__SetOrClass)

ComputerInput.kif 1588-1588 TouchSurfaceTap is a subclass of impacting
s__termFormat(s__ChineseLanguage,s__Impacting,'"碰撞"')

chinese_format.kif 1128-1128
s__termFormat(s__EnglishLanguage,s__Impacting,'"impacting"')

english_format.kif 1478-1478

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


( ! [V__B,V__I] :
   (((s__instance(V__B,s__Bell) &
         s__instance(V__I,s__Impacting) &
         s__destination(V__I,V__B))
     =>
     (( ? [V__MT] :
         ((s__instance(V__MT,s__MusicalTone) &
             s__causes(V__I,V__MT))))))
)
)

Music.kif 1248-1256
( ! [V__OBJ,V__IMPACT] :
   (((s__instance(V__IMPACT,s__Impacting) &
         s__patient(V__IMPACT,V__OBJ))
     =>
     (( ? [V__IMPEL] :
         ((s__instance(V__IMPEL,s__Impelling) &
             s__patient(V__IMPEL,V__OBJ)
           &
           s__earlier(s__WhenFn(V__IMPEL)
        ,s__WhenFn(V__IMPACT)))))))
)
)

Merge.kif 11045-11053

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 421-434
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24877-24889
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24858-24875
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12321-12328
( ! [V__D] :
   ((s__instance(V__D,s__Drumming) =>
       (( ? [V__A, V__DRUM, V__I] :
           ((s__instance(V__A,s__Agent) &
               (s__agent(V__D,V__A)
               &
               s__instrument(V__D,V__DRUM)
             &
             s__subProcess(V__I,V__D)
           &
           s__agent(V__I,V__A)
         &
         s__patient(V__I,V__DRUM)
       &
       s__instance(V__I,s__Impacting) &
       s__instance(V__DRUM,s__Drum)))))))
)
)

Music.kif 1357-1367
No TPTP formula. May not be expressible in strict first order. Cars.kif 3636-3660
No TPTP formula. May not be expressible in strict first order. Cars.kif 3679-3708


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