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. Merge.kif 16312-16313
No TPTP formula. May not be expressible in strict first order. Merge.kif 16310-16311
No TPTP formula. May not be expressible in strict first order. Merge.kif 16309-16309 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 892-892 Joint chiefs of staff is an instance of group of people
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 872-872 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 7777-7777 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 7766-7766 The range of resident is an instance of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 16321-16321 Age group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 16705-16705 Belief group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13489-13489 Criminal gang is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13359-13359 Dramatic cast is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 16698-16698 Ethnic group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 16338-16338 Family group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13478-13478 Jury is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15780-15780 Musical group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28322-28322 NationalPerson is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23621-23621 Public is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 16353-16353 Social unit is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7228-7228 Sports team is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4890-4890 "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 7261-7261 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 1158-1175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7266-7273
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21013-21023
No TPTP formula. May not be expressible in strict first order. Merge.kif 16315-16319
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1217-1225
No TPTP formula. May not be expressible in strict first order. Dining.kif 1178-1197
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19318-19324

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


No TPTP formula. May not be expressible in strict first order. Music.kif 427-438
No TPTP formula. May not be expressible in strict first order. Dining.kif 1158-1175
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2630-2636
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24122-24140
No TPTP formula. May not be expressible in strict first order. Hotel.kif 452-463
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2819-2828
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2839-2850
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2800-2809
No TPTP formula. May not be expressible in strict first order. Dining.kif 690-700
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2861-2876
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21007-21011
No TPTP formula. May not be expressible in strict first order. Hotel.kif 759-769
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1999-2008
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23651-23669
No TPTP formula. May not be expressible in strict first order. Sports.kif 706-722


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