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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GroupOfPeople
GroupOfPeople(group of people)Rotarian, ancients, assemblage, band, black_economy, board_member, body, brother, bunch, business_people, businesspeople, cavalcade, charter_member, church, circle, citizen, citizenry, clan_member, clansman, clanswoman, class, club_member, company, concourse, contingent, core, core_group, couple, course, court, crew, crowd, diaspora, duet, duo, enemy, enrollment, episcopacy, episcopate, fellow_member, flank, force, form, gallery, gang, gathering, grade, grandstand, head, horsey_set...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3670-3671
No TPTP formula. May not be expressible in strict first order. Merge.kif 15111-15112
No TPTP formula. May not be expressible in strict first order. Merge.kif 15110-15110 Group of people is a subclass of group

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


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 903-903 Joint chiefs of staff is an instance of group of people
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 883-883 Joint staff is an instance of group of people
No TPTP formula. May not be expressible in strict first order. Media.kif 1995-1995 NativityMagi is an instance of group of people
No TPTP formula. May not be expressible in strict first order. Media.kif 1952-1952 TwelveApostles is an instance of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7764-7764 The range of citizenry is an instance of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7753-7753 The range of resident is an instance of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15120-15120 Age group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15468-15468 Belief group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13776-13776 Criminal gang is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13646-13646 Dramatic cast is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15463-15463 Ethnic group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15135-15135 Family group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13765-13765 Jury is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16221-16221 Musical group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28804-28804 NationalPerson is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24106-24106 Public is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15148-15148 Social unit is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7214-7214 Sports team is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26812-26812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26811-26811
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26810-26810

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7247-7247 The number 2 argument of group member is an instance of group of people

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 1160-1177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7252-7259
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21449-21459
No TPTP formula. May not be expressible in strict first order. Merge.kif 15114-15118
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1235-1243
No TPTP formula. May not be expressible in strict first order. Dining.kif 1180-1199
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4128-4136
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19781-19787

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 405-416
No TPTP formula. May not be expressible in strict first order. Dining.kif 1160-1177
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2643-2649
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24607-24625
No TPTP formula. May not be expressible in strict first order. Hotel.kif 459-470
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2839-2848
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2859-2870
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2820-2829
No TPTP formula. May not be expressible in strict first order. Dining.kif 686-696
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2881-2896
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21443-21447
No TPTP formula. May not be expressible in strict first order. Hotel.kif 769-779
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2017-2026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24136-24154
No TPTP formula. May not be expressible in strict first order. Sports.kif 708-724


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