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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SocialRole

 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 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


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

Show without tree


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