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 8274-8274 | Manual labor is a subclass of occupational role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8278-8278 | Unskilled occupation is a subclass of manual labor |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8284-8284 | Occupational trade is a subclass of manual labor |