SocialRole
|
|
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 17262-17264 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17261-17261 | Social role is a subclass of relational attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3815-3815 | Anti-vaxxer is an instance of social role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22168-22168 | Celebrity is an instance of social role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22294-22294 | 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 22367-22367 | Dissident is an instance of social role |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2459-2459 | 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. | Biography.kif 220-220 | Founder is an instance of social role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 173-173 | 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 1778-1778 | Investor is an instance of social role |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22183-22183 | 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 22453-22453 | Militant is an instance of social role |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2279-2279 | Nazi is an instance of social role |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1422-1422 | 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 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1397-1397 | Queen is an instance of social role |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1411-1411 | Queen consort 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 1839-1839 | 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 1738-1738 | 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 1747-1747 | 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 1873-1873 | 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 1647-1647 | 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 1648-1648 | 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 1657-1657 | 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 1658-1658 | 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 1667-1667 | 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 1668-1668 | 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 1677-1677 | 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 1858-1858 | 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 17266-17270 |
|