| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17017-17017 | Positional attribute is a subclass of relational attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17022-17022 | Directional attribute is a subclass of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17071-17071 | Symmetric positional attribute is a subclass of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17082-17082 | Anti-symmetric positional attribute is a subclass of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4952-4952 | Rotational attribute is a subclass of positional attribute |
|
|