Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SocialRole
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 17240-17242
No TPTP formula. May not be expressible in strict first order. Merge.kif 17239-17239 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 22169-22169 Celebrity is an instance of social role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22295-22295 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 22368-22368 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 22184-22184 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 22454-22454 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 17244-17248


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners