| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8272-8272 | ManualLabor e' uma sub-classe de Posicao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8273-8273 | ManualLabor e' uma sub-classe de OccupationalRole |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8277-8277 | UnskilledOccupation e' uma sub-classe de ManualLabor |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8283-8283 | OccupationalTrade e' uma sub-classe de ManualLabor |
|
|