Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass SocialRole RelationalAttribute) Merge.kif 17589-17589 Social role is a subclass of relational attribute
(documentation SocialRole EnglishLanguage "The Class of all Attributes that specify the position or status of a CognitiveAgent within an Organization or other Group.") Merge.kif 17590-17592 Social role is a subclass of relational attribute

appearance as argument number 2
-------------------------


(instance Unemployed SocialRole) Merge.kif 17600-17600 Unemployed person is an instance of social role
(subclass Position SocialRole) Merge.kif 17614-17614 Position is a subclass of social role
(instance HumanSlave SocialRole) Mid-level-ontology.kif 153-153 Human slave is an instance of social role
(instance Celebrity SocialRole) Mid-level-ontology.kif 24460-24460 Celebrity is an instance of social role
(instance Knight SocialRole) Mid-level-ontology.kif 24473-24473 Knight is an instance of social role
(instance Veteran SocialRole) Mid-level-ontology.kif 24477-24477 Veteran is an instance of social role
(subclass OccupationalRole SocialRole) Mid-level-ontology.kif 24512-24512 Occupational role is a subclass of social role
(instance Civilian SocialRole) Mid-level-ontology.kif 24573-24573 Civilian is an instance of social role
(instance Widowed SocialRole) Mid-level-ontology.kif 24581-24581 Widowed woman is an instance of social role
(instance Dissident SocialRole) Mid-level-ontology.kif 24645-24645 Dissident is an instance of social role
(instance Militant SocialRole) Mid-level-ontology.kif 24731-24731 Militant is an instance of social role
(instance Student SocialRole) Mid-level-ontology.kif 24875-24875 Student is an instance of social role
(instance Tourist SocialRole) Mid-level-ontology.kif 24885-24885 Tourist is an instance of social role
(instance Mausaharati SocialRole) ArabicCulture.kif 51-51 Mausaharati is an instance of social role
(instance Founder SocialRole) Biography.kif 225-225 Founder is an instance of social role
(instance InternetUser SocialRole) Communications.kif 504-504 Internet user is an instance of social role
(instance Employee SocialRole) Economy.kif 1483-1483 Employee is an instance of social role
(instance Consumer SocialRole) Economy.kif 6784-6784 Consumer is an instance of social role
(instance Investor SocialRole) FinancialOntology.kif 1824-1824 Investor is an instance of social role
(instance Queen SocialRole) Government.kif 1368-1368 Queen is an instance of social role
(instance QueenConsort SocialRole) Government.kif 1382-1382 Queen consort is an instance of social role
(instance PrinceConsort SocialRole) Government.kif 1393-1393 Prince consort is an instance of social role
(instance Nazi SocialRole) Government.kif 2249-2249 Nazi is an instance of social role
(instance Criminal SocialRole) Justice.kif 84-84 Criminal is an instance of social role
(instance Antivaxxer SocialRole) Medicine.kif 3849-3849 Anti-vaxxer 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
-------------------------


(domain ProfessionalFn 1 SocialRole) Mid-level-ontology.kif 9599-9599 The number 1 argument of profession is an instance of social role
(domain hasSkillInRole 2 SocialRole) Mid-level-ontology.kif 9623-9623 The number 2 argument of has skill in role is an instance of social role
(domain roleAppointsRole 2 SocialRole) Government.kif 1618-1618 The number 2 argument of role appoints role is an instance of social role
(domain roleAppointsRole 3 SocialRole) Government.kif 1619-1619 The number 3 argument of role appoints role is an instance of social role
(domain roleApprovesRole 2 SocialRole) Government.kif 1628-1628 The number 2 argument of role approves role is an instance of social role
(domain roleApprovesRole 3 SocialRole) Government.kif 1629-1629 The number 3 argument of role approves role is an instance of social role
(domain roleNominatesRole 2 SocialRole) Government.kif 1638-1638 The number 2 argument of role nominates role is an instance of social role
(domain roleNominatesRole 3 SocialRole) Government.kif 1639-1639 The number 3 argument of role nominates role is an instance of social role
(domain termLength 2 SocialRole) Government.kif 1648-1648 The number 2 argument of term length is an instance of social role
(domain electionDatePlannedForPosition 3 SocialRole) Government.kif 1709-1709 The number 3 argument of election date planned for position is an instance of social role
(domain electionForPosition 2 SocialRole) Government.kif 1718-1718 The number 2 argument of election for position is an instance of social role
(domain candidateForPosition 2 SocialRole) Government.kif 1810-1810 The number 2 argument of candidate for position is an instance of social role
(domain voteFractionReceived 2 SocialRole) Government.kif 1829-1829 The number 2 argument of vote fraction received is an instance of social role
(domain electionWinner 2 SocialRole) Government.kif 1844-1844 The number 2 argument of election winner is an instance of social role

antecedent
-------------------------


(=>
    (and
        (attribute ?PERSON ?ATTRIBUTE)
        (instance ?ATTRIBUTE SocialRole))
    (instance ?PERSON Human))		 Merge.kif 17594-17598 If X is an attribute of Y and X is an instance of social role, then Y is an instance of human


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners