No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22233-22233 | OccupationalRole e' uma sub-classe de Role Social |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8258-8258 | SkilledOccupation e' uma sub-classe de OccupationalRole |
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 22274-22274 | OccupationalDomain e' uma sub-classe de OccupationalRole |