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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GroupOfPeople

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 16235-16236
No TPTP formula. May not be expressible in strict first order. Merge.kif 16234-16234 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 1993-1993 Nativity magi is an instance of group of people
No TPTP formula. May not be expressible in strict first order. Media.kif 1950-1950 Twelve apostles is an instance of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8040-8040 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 8029-8029 The range of resident is an instance of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 16244-16244 Age group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 16592-16592 Belief group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16096-16096 Criminal gang is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15963-15963 Dramatic cast is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 16587-16587 Ethnic group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 16259-16259 Family group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16084-16084 Jury is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18527-18527 Musical group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30627-30627 National person is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26076-26076 Public is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 16272-16272 Social unit is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7524-7524 Sports team is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26814-26814
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26813-26813
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26812-26812

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7557-7557 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 1207-1224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7562-7569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23494-23504
No TPTP formula. May not be expressible in strict first order. Merge.kif 16238-16242
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1270-1278
No TPTP formula. May not be expressible in strict first order. Dining.kif 1227-1246
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4187-4195
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21952-21958

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


No TPTP formula. May not be expressible in strict first order. Music.kif 408-419
No TPTP formula. May not be expressible in strict first order. Dining.kif 1207-1224
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2663-2669
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26457-26475
No TPTP formula. May not be expressible in strict first order. Hotel.kif 479-490
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2883-2892
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2903-2914
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2864-2873
No TPTP formula. May not be expressible in strict first order. Dining.kif 732-742
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2925-2940
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23488-23492
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-800
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16816-16827
No TPTP formula. May not be expressible in strict first order. Sports.kif 163-175
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2055-2064
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26104-26122
No TPTP formula. May not be expressible in strict first order. Sports.kif 857-873


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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