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


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