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 16085-16087
No TPTP formula. May not be expressible in strict first order. Merge.kif 16084-16084 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 18640-18640 Celebrity is an instance of social role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18765-18765 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 18838-18838 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 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 452-452 Internet user is an instance of social role
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1726-1726 Investor is an instance of social role
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18654-18654 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 18924-18924 Militant is an instance of social role
No TPTP formula. May not be expressible in strict first order. Government.kif 1408-1408 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 1383-1383 Queen is an instance of social role
No TPTP formula. May not be expressible in strict first order. Government.kif 1397-1397 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 19032-19032 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 1825-1825 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 1724-1724 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 1733-1733 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 1859-1859 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 1633-1633 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 1634-1634 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 1643-1643 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 1644-1644 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 1653-1653 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 1654-1654 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 1663-1663 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 1844-1844 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 16089-16093


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