| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16995-16995 | Atributo Posicional e' uma sub-classe de Atributo Relacional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17000-17000 | Atributo Directional e' uma sub-classe de Atributo Posicional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17049-17049 | SymmetricPositionalAttribute e' uma sub-classe de Atributo Posicional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17060-17060 | AntiSymmetricPositionalAttribute e' uma sub-classe de Atributo Posicional |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4944-4944 | RotationalAttribute e' uma sub-classe de Atributo Posicional |
|
|