| (subclass PositionalAttribute RelationalAttribute) | Merge.kif 16995-16995 | Positional attribute is a subclass of relational attribute |
| (subclass DirectionalAttribute PositionalAttribute) | Merge.kif 17000-17000 | Directional attribute is a subclass of positional attribute |
| (subclass SymmetricPositionalAttribute PositionalAttribute) | Merge.kif 17049-17049 | Symmetric positional attribute is a subclass of positional attribute |
| (subclass AntiSymmetricPositionalAttribute PositionalAttribute) | Merge.kif 17060-17060 | Anti-symmetric positional attribute is a subclass of positional attribute |
| (subclass RotationalAttribute PositionalAttribute) | Cars.kif 4944-4944 | Rotational attribute is a subclass of positional attribute |
|
|