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, pushing, 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 15179-15180
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15181-15181 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 15201-15201 Pulling is disjoint from pushing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15182-15182 "pushing" is the printable form of pushing in english language

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2571-2584
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 1719-1739
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 2553-2569
No TPTP formula. May not be expressible in strict first order. Cars.kif 1557-1565
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 2526-2541
No TPTP formula. May not be expressible in strict first order. Cars.kif 3810-3830


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