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

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 16709-16710
s__instance(s__Motion,s__SetOrClass)

s__instance(s__Pushing,s__SetOrClass)

s__subclass(s__Pushing,s__Motion)

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

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


s__disjoint(s__Pulling,s__Pushing)

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

Mid-level-ontology.kif 16712-16712

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2585-2603
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 1272-1295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16714-16731

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2567-2583
No TPTP formula. May not be expressible in strict first order. Cars.kif 1562-1570
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 2540-2555
No TPTP formula. May not be expressible in strict first order. Cars.kif 3847-3867


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