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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15204-15205
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15206-15206 Pushing is a subclass of motion

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15226-15226 Pulling is disjoint from pushing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15207-15207

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 1720-1740
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15209-15224

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 3818-3838


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