| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8259-8259 | Skilled occupation is a subclass of occupational role |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 446-446 | Professional game player is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1352-1352 | Professional athlete is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 245-245 | Military rank is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8283-8283 | Occupational trade is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8288-8288 | Profession is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18861-18861 | Sales position is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18870-18870 | Service position is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18916-18916 | Entertainment profession is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18929-18929 | Sports position is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26884-26884 | Bartender is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30700-30700 | Safety position is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 667-667 | Artistic occupation is a subclass of skilled occupation |
|
|