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

VerbNet: seem-109|be, seem-109|be, characterize-29.2|rank, captain-29.8|volunteer,


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 15913-15915
No TPTP formula. May not be expressible in strict first order. Merge.kif 15912-15912 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 19980-19980 Celebrity is an instance of social role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20124-20124 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 20224-20224 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 294-294 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 1713-1713 Investor is an instance of social role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19994-19994 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 20350-20350 Militant is an instance of social role
No TPTP formula. May not be expressible in strict first order. Government.kif 1376-1376 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 1351-1351 Queen is an instance of social role
No TPTP formula. May not be expressible in strict first order. Government.kif 1365-1365 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 20464-20464 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 1793-1793 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 1692-1692 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 1701-1701 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 1827-1827 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 1601-1601 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 1602-1602 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 1611-1611 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 1612-1612 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 1621-1621 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 1622-1622 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 1631-1631 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 1812-1812 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 15917-15921


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners