Deductions
- declarative sentence has part class ⇐ (abstract entity is a class), (declarative sentence has part abstract entity)
- antecedent is part of declarative sentence ⇐ (antecedent is part of proposition), (proposition is part of declarative sentence), (is part of is a transitive relation)
- declarative sentence has part entity ⇐ (metaclass is a entity), (declarative sentence has part metaclass)
- declarative sentence has part type of object ⇐ (abstract entity is a type of object), (declarative sentence has part abstract entity)
- declarative sentence has part variable-order class ⇐ (concept is a variable-order class), (declarative sentence has part concept)
- declarative sentence has part philosophical concept ⇐ (proposition is a philosophical concept), (declarative sentence has part proposition)
- declarative sentence has part concept ⇐ (metaclass is a concept), (declarative sentence has part metaclass)
- declarative sentence has part metaclass ⇐ (abstract entity is a metaclass), (declarative sentence has part abstract entity)
- declarative sentence has part abstract entity ⇐ (proposition is a abstract entity), (declarative sentence has part proposition)
- declarative sentence is subclass of constituent ⇐ (declarative sentence is subclass of semantic unit), (semantic unit is subclass of constituent), (is subclass of is a transitive relation)
- declarative sentence is subclass of semantic unit ⇐ (declarative sentence is subclass of sentence), (sentence is subclass of semantic unit), (is subclass of is a transitive relation)