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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19162-19163
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19164-19164 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 19187-19187 Pulling is disjoint from pushing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19165-19165 Pulling is disjoint from pushing

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2569-2587
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 1549-1572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19167-19185

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2551-2567
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10473-10494
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10397-10420
No TPTP formula. May not be expressible in strict first order. Cars.kif 1568-1576
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 2524-2539
No TPTP formula. May not be expressible in strict first order. Cars.kif 3905-3925


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