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, group_of_people, head...

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 14947-14948
No TPTP formula. May not be expressible in strict first order. Merge.kif 14946-14946 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 7782-7782 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 7771-7771 The range of resident is an instance of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 14956-14956 Age group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15299-15299 Belief group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13748-13748 Criminal gang is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13618-13618 Dramatic cast is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15294-15294 Ethnic group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 14971-14971 Family group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13737-13737 Jury is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16190-16190 Musical group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28760-28760 NationalPerson is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24063-24063 Public is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 14984-14984 Social unit is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7233-7233 Sports team is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26743-26743 "一群人" is the printable form of group of people in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26742-26742 "一群人" is the printable form of group of people in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26741-26741 "group of people" is the printable form of group of people in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7266-7266 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 1154-1171
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7271-7278
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21406-21416
No TPTP formula. May not be expressible in strict first order. Merge.kif 14950-14954
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1221-1229
No TPTP formula. May not be expressible in strict first order. Dining.kif 1174-1193
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4071-4079
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19738-19744

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 1154-1171
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 24564-24582
No TPTP formula. May not be expressible in strict first order. Hotel.kif 455-466
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2825-2834
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2845-2856
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2806-2815
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 2867-2882
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21400-21404
No TPTP formula. May not be expressible in strict first order. Hotel.kif 763-773
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2003-2012
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24093-24111
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners