VerbNet: seem-109|be, seem-109|be, characterize-29.2|rank, captain-29.8|volunteer,
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3846-3847 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16033-16035 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16032-16032 | Social role is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20017-20017 | Celebrity is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20161-20161 | Civilian is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 298-298 | Civilian internee is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Justice.kif 84-84 | Criminal is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 54-54 | Displaced person is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20261-20261 | Dissident is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2439-2439 | Enemy is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 113-113 | Evacuee is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 142-142 | Expellee is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 294-294 | Human slave is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 80-80 | Internally displaced person is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 452-452 | Internet user is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1713-1713 | Investor is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20031-20031 | Knight is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 51-51 | Mausaharati is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 169-169 | Migrant is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20387-20387 | Militant is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1376-1376 | PrinceConsort is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 237-237 | Prisoner is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 252-252 | Prisoner of war is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1351-1351 | Queen is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1365-1365 | QueenConsort is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 177-177 | Refugee is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 185-185 | Stateless person is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20501-20501 | Student is an instance of social role |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1793-1793 | The number 2 argument of candidate for position is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1692-1692 | The number 3 argument of election date planned for position is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1701-1701 | The number 2 argument of election for position is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1827-1827 | The number 2 argument of election winner is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1601-1601 | The number 2 argument of role appoints role is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1602-1602 | The number 3 argument of role appoints role is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1611-1611 | The number 2 argument of role approves role is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1612-1612 | The number 3 argument of role approves role is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1621-1621 | The number 2 argument of role nominates role is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1622-1622 | The number 3 argument of role nominates role is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1631-1631 | The number 2 argument of term length is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1812-1812 | The number 2 argument of vote fraction received is an instance of social role |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16037-16041 |
|
|
|
|