Deductions
- second-order class subclass of branch of astronomy ⇐ (branch of astronomy instance of second-order class), (instance of inverse property subclass of)
- branch of astronomy has characteristic entity ⇐ (branch of astronomy has characteristic class), (class has characteristic entity), (has characteristic instance of transitive Wikidata property)
- branch of astronomy has characteristic taxonomic rank ⇐ (branch of astronomy has characteristic class), (class has characteristic taxonomic rank), (has characteristic instance of transitive Wikidata property)
- branch of astronomy has characteristic superclass ⇐ (branch of astronomy has characteristic class), (class has characteristic superclass), (has characteristic instance of transitive Wikidata property)
- branch of astronomy has characteristic existence ⇐ (branch of astronomy instance of second-order class), (second-order class has characteristic existence)
- branch of astronomy has characteristic class ⇐ (branch of astronomy instance of second-order class), (second-order class has characteristic class)
- branch of astronomy subclass of cosmology ⇐ (cosmology instance of branch of astronomy), (instance of inverse property subclass of)