Deductions
- gravity has characteristic fundamental interaction ⇐ (gravitational force instance of fundamental interaction), (gravity has characteristic gravitational force)
- fundamental interaction subclass of gravitational force ⇐ (gravitational force instance of fundamental interaction), (instance of inverse property subclass of)
- gravitational force instance of fundamental interaction ⇐ (non-gravitational force instance of fundamental interaction), (non-gravitational force opposite of gravitational force)
- type of interaction subclass of fundamental interaction ⇐ (fundamental interaction instance of type of interaction), (instance of inverse property subclass of)
- fundamental interaction subclass of non-gravitational force ⇐ (non-gravitational force instance of fundamental interaction), (instance of inverse property subclass of)
- fundamental interaction has characteristic type ⇐ (fundamental interaction has characteristic class), (class has characteristic type), (has characteristic instance of transitive Wikidata property)
- fundamental interaction has characteristic superclass ⇐ (fundamental interaction instance of type of interaction), (type of interaction has characteristic superclass)
- fundamental interaction has characteristic abstract entity ⇐ (fundamental interaction instance of type of interaction), (type of interaction has characteristic abstract entity)
- fundamental interaction has characteristic entity ⇐ (fundamental interaction instance of type of interaction), (type of interaction has characteristic entity)
- fundamental interaction has characteristic existence ⇐ (fundamental interaction instance of type of interaction), (type of interaction has characteristic existence)
- fundamental interaction has characteristic taxonomic rank ⇐ (fundamental interaction instance of type of interaction), (type of interaction has characteristic taxonomic rank)
- fundamental interaction has characteristic criterion ⇐ (fundamental interaction instance of type of interaction), (type of interaction has characteristic criterion)
- fundamental interaction has characteristic class ⇐ (fundamental interaction instance of type of interaction), (type of interaction has characteristic class)
- fundamental interaction has characteristic quality ⇐ (fundamental interaction instance of type of interaction), (type of interaction has characteristic quality)
- fundamental interaction has characteristic type of property ⇐ (fundamental interaction instance of type of interaction), (type of interaction has characteristic type of property)
- fundamental interaction has characteristic property ⇐ (fundamental interaction instance of type of interaction), (type of interaction has characteristic property)
- non-gravitational force instance of fundamental interaction ⇐ (gravity instance of fundamental interaction), (gravity opposite of non-gravitational force)
- Universe has characteristic fundamental interaction ⇐ (gravity instance of fundamental interaction), (Universe has characteristic gravity)
- fundamental interaction subclass of gravity ⇐ (gravity instance of fundamental interaction), (instance of inverse property subclass of)