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