Deductions
- Anglic has part class ⇐ (entity is a class), (Anglic has part entity)
- Anglic has part class ⇐ (abstract entity is a class), (Anglic has part abstract entity)
- Anglic has part type of language ⇐ (constructed language is a type of language), (Anglic has part constructed language)
- Anglic has part constructed language ⇐ (English is a constructed language), (Anglic has part English)
- Anglic has part artificial language ⇐ (English is a artificial language), (Anglic has part English)
- non-English is subclass of Anglic ⇐ (English is subclass of Anglic), (English is opposite of non-English)
- Anglic has part variable-order class ⇐ (concept is a variable-order class), (Anglic has part concept)
- Anglic has part concept ⇐ (metaclass is a concept), (Anglic has part metaclass)
- Anglic has part metaclass ⇐ (abstract entity is a metaclass), (Anglic has part abstract entity)
- Anglic has part type of object ⇐ (abstract entity is a type of object), (Anglic has part abstract entity)
- Anglic has part abstract entity ⇐ (English is a abstract entity), (Anglic has part English)
- Anglic has part entity ⇐ (natural language is a entity), (Anglic has part natural language)
- Anglic has part natural language ⇐ (English is a natural language), (Anglic has part English)
- language family is for example Anglic ⇐ (Anglic is a language family), (is a is inverse of is for example)
- Anglic is subclass of West Germanic ⇐ (Anglic is subclass of Anglo-Frisian), (Anglo-Frisian is subclass of West Germanic), (is subclass of is a transitive relation)