No TPTP formula. May not be expressible in strict first order. | Merge.kif 17239-17239 | Social role is a subclass of relational attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22234-22234 | Occupational role is a subclass of social role |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17264-17264 | Position is a subclass of social role |