| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17264-17264 | Position is a subclass of social role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8273-8273 | Manual labor is a subclass of position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18787-18787 | College student position is a subclass of position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18961-18961 | Modelling position is a subclass of position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20876-20876 | Religious position is a subclass of position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4394-4394 | Foreign service position is a subclass of position |
|
|