No TPTP formula. May not be expressible in strict first order. | Merge.kif 16995-16995 | Positional attribute is a subclass of relational attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17000-17000 | Directional attribute is a subclass of positional attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17049-17049 | Symmetric positional attribute is a subclass of positional attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17060-17060 | Anti-symmetric positional attribute is a subclass of positional attribute |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4944-4944 | Rotational attribute is a subclass of positional attribute |