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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pushing
Pushing(pushing)force, jam, jostle, nose, nudge, obtrude, poke_at, press, pressing, pressure, prod, push, push_aside, push_away, push_out, push_up, shove, thrust_out

VerbNet: split-23.2|push, push-12|shove, roll-51.3.1|nose, touch-20|prod, touch-20|prod, touch-20|prod, split-23.2|push, push-12|shove,


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


s__documentation(s__Pushing,s__EnglishLanguage,'"Pushing describes the exertion of force so as to cause or tend to cause motion away from the agent."')

Mid-level-ontology.kif 15179-15180
s__instance(s__Motion,s__SetOrClass)

s__instance(s__Pushing,s__SetOrClass)

s__subclass(s__Pushing,s__Motion)

Mid-level-ontology.kif 15181-15181 Pushing is a subclass of motion

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


s__disjoint(s__Pulling,s__Pushing)

Mid-level-ontology.kif 15201-15201 Pulling is disjoint from pushing
s__termFormat(s__EnglishLanguage,s__Pushing,'"pushing"')

Mid-level-ontology.kif 15182-15182

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2572-2588
No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1714-1734
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15184-15199

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2554-2570
No TPTP formula. May not be expressible in strict first order. Cars.kif 1558-1566
No TPTP formula. May not be expressible in strict first order. Cars.kif 685-691
No TPTP formula. May not be expressible in strict first order. Cars.kif 2527-2542
No TPTP formula. May not be expressible in strict first order. Cars.kif 3817-3837


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