| 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 17415-17417 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17414-17414 | Social role is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2495-2495 | Ally is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3818-3818 | Anti-vaxxer is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23812-23812 | Celebrity is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23936-23936 | 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. | Economy.kif 6771-6771 | Consumer 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 24009-24009 | Dissident is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1485-1485 | Employee 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. | Biography.kif 225-225 | Founder 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 497-497 | Internet user is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1795-1795 | Investor is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23825-23825 | 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 24095-24095 | Militant is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2240-2240 | Nazi is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1384-1384 | Prince consort 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 |
| 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. | Mid-level-ontology.kif 9445-9445 | The number 1 argument of profession is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1801-1801 | 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 1700-1700 | 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 1709-1709 | 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 1835-1835 | The number 2 argument of election winner is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9469-9469 | The number 2 argument of has skill in role is an instance of social role |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1609-1609 | 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 1610-1610 | 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 1619-1619 | 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 1620-1620 | 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 1629-1629 | 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 1630-1630 | 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 1639-1639 | 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 1820-1820 | 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 17419-17423 |
|
|
|
|