| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17286-17286 | Position is a subclass of social role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8272-8272 | Manual labor is a subclass of position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18786-18786 | College student position is a subclass of position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18960-18960 | Modelling position is a subclass of position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20875-20875 | 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 |
|
|