(subclass PositionalAttribute RelationalAttribute) | Merge.kif 17066-17066 | Atributo Posicional e' uma sub-classe de Atributo Relacional |
(subclass DirectionalAttribute PositionalAttribute) | Merge.kif 17071-17071 | Atributo Directional e' uma sub-classe de Atributo Posicional |
(subclass SymmetricPositionalAttribute PositionalAttribute) | Merge.kif 17120-17120 | SymmetricPositionalAttribute e' uma sub-classe de Atributo Posicional |
(subclass AntiSymmetricPositionalAttribute PositionalAttribute) | Merge.kif 17131-17131 | AntiSymmetricPositionalAttribute e' uma sub-classe de Atributo Posicional |
(subclass RotationalAttribute PositionalAttribute) | Cars.kif 4929-4929 | RotationalAttribute e' uma sub-classe de Atributo Posicional |