| SocialRole(social role) | | A_level, Alexandrian, American_Revolutionary_leader, Arab_chief, Areopagite, Arhant, Arhat, Bart, Big_Brother, Black_and_Tan, Boddhisatva, Bodhisattva, Boswell, Bourbon, Buddha, CO, Cartesian, Catholicos, Cavalier, Commons, Comrade, Contra, Corinthian, Dalai_Lama, Donatist, Dr., Druid, Earl_Marshal, Esq, Esquire, Evangelist, Excellency, Founding_Father, Freudian, GCSE, General_Certificate_of_Secondary_Education, Grand_Lama, Hanoverian, Harijan, Hegelian, Hussite, Indian_chief, Indian_chieftain, Indian_giver, International_Grandmaster, Ishmael, Ismaili, Ismailian, Jacksonian, Jeffersonian... |
| 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 16085-16087 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16084-16084 | 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 18640-18640 | Celebrity is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18765-18765 | 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 18838-18838 | 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 166-166 | 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 1726-1726 | Investor is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18654-18654 | 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 18924-18924 | Militant is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1408-1408 | 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 1383-1383 | Queen is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1397-1397 | 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 19032-19032 | 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 1825-1825 | 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 1724-1724 | 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 1733-1733 | 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 1859-1859 | 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 1633-1633 | 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 1634-1634 | 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 1643-1643 | 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 1644-1644 | 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 1653-1653 | 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 1654-1654 | 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 1663-1663 | 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 1844-1844 | 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 16089-16093 |
|
|
|
|