|
|
   PositionalAttribute
|
|
|
| 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 17067-17069 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17066-17066 | 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 17142-17142 | Above is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17155-17155 | 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 19260-19260 | 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 269-269 | Downwind is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17111-17111 | Horizontal is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9116-9116 | Inside is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17180-17180 | Left is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9132-9132 | Outside is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17187-17187 | Right is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2232-2232 | Right angle is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26037-26037 | 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 19243-19243 | 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 261-261 | Upwind is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17103-17103 | Vertical is an instance of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17131-17131 | Anti-symmetric positional attribute is a subclass of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17071-17071 | Directional attribute is a subclass of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4929-4929 | Rotational attribute is a subclass of positional attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17120-17120 | 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 17010-17010 | 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 18153-18153 | 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 18154-18154 | 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 16985-16985 | 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 18163-18168 |
|
|
|
|