force

Deductions

• gravity has characteristic force ⇐ (gravitational force subclass of force), (gravity has characteristic gravitational force)
• gravity subclass of force ⇐ (non-gravitational force subclass of force), (non-gravitational force opposite of gravity)
• cohesion is subclass of force ⇐ (cohesion is subclass of attractive force), (attractive force is subclass of force), (is subclass of is a transitive relation)