| PositionalAttribute(positional attribute) | | aback, abaxial, abaxially, abeam, aborad, above-mentioned, above-named, abroad, accumbent, acentric, adaxial, adaxially, admit, adrenal, adrift, afield, afloat, aground, aim, alee, aloft, ambient, amidship, amidships, anaclinal, anteriorly, anticlinal, anticlockwise, antipodal, antipodal_opposition, ascendant, ascendent, ascensive, asea, ashore, aslant, aslope, atilt, attitude, aweigh, axial, axially, backswept, based, basilar, basilary, beard, bearing, beetle, beetling... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3800-3801 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17018-17020 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17017-17017 | Positional attribute is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17093-17093 | Above is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17106-17106 | Below is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1703-1703 | Downhill is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19232-19232 | Downstairs is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5459-5459 | Downstream is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 281-281 | Downwind is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17062-17062 | Horizontal is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9088-9088 | Inside is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17131-17131 | Left is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9104-9104 | Outside is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17138-17138 | Right is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2255-2255 | Right angle is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25992-25992 | Surrounded is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1697-1697 | Uphill is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19215-19215 | Upstairs is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5457-5457 | Upstream is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 273-273 | Upwind is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17054-17054 | Vertical is an instance 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. | Merge.kif 17022-17022 | Directional 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 |
| 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. | chinese_format.kif 1236-1236 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1693-1693 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16961-16961 | The number 2 argument of direction is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18125-18125 | The number 1 argument of opposite direction is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18126-18126 | The number 2 argument of opposite direction is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16936-16936 | The number 3 argument of orientation is an instance of positional attribute |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18135-18140 |
|
|
|
|