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 15096-15097
No TPTP formula. May not be expressible in strict first order. Merge.kif 15095-15095 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 15105-15105 Age group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15453-15453 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 15448-15448 Ethnic group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15120-15120 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 15133-15133 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 26746-26746
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26745-26745
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26744-26744

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 1154-1171
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 15099-15103
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 4107-4115
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 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 24607-24625
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 21443-21447
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 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