Deductions
- body proportions is subclass of entity ⇐ (body proportions is subclass of ratio), (ratio is subclass of entity), (is subclass of is a transitive relation)
- body proportions is subclass of abstract entity ⇐ (body proportions is subclass of ratio), (ratio is subclass of abstract entity), (is subclass of is a transitive relation)
- body proportions is subclass of property ⇐ (body proportions is subclass of ratio), (ratio is subclass of property), (is subclass of is a transitive relation)
- body proportions is subclass of relation ⇐ (body proportions is subclass of ratio), (ratio is subclass of relation), (is subclass of is a transitive relation)
- Qalab has quality body proportions ⇐ (Qalab is subclass of human body), (human body has quality body proportions)
- human body has quality body proportions ⇐ (human body is subclass of body), (body has quality body proportions)