| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8258-8258 | 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 1353-1353 | 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 8282-8282 | Occupational trade is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8287-8287 | Profession is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18860-18860 | Sales position is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18869-18869 | Service position is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18915-18915 | Entertainment profession is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18928-18928 | Sports position is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26872-26872 | Bartender is a subclass of skilled occupation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30688-30688 | 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 |
|
|