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 15981-15982
No TPTP formula. May not be expressible in strict first order. Merge.kif 15980-15980 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 1979-1979 NativityMagi is an instance of group of people
No TPTP formula. May not be expressible in strict first order. Media.kif 1936-1936 TwelveApostles is an instance of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7755-7755 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 7744-7744 The range of resident is an instance of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15990-15990 Age group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 16338-16338 Belief group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15596-15596 Criminal gang is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15463-15463 Dramatic cast is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 16333-16333 Ethnic group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 16005-16005 Family group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15584-15584 Jury is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17962-17962 Musical group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30131-30131 NationalPerson is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25560-25560 Public is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 16018-16018 Social unit is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7239-7239 Sports team is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26805-26805
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26804-26804
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26803-26803

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7272-7272 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 7277-7284
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23026-23036
No TPTP formula. May not be expressible in strict first order. Merge.kif 15984-15988
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 1180-1199
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4150-4158
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21518-21524

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


No TPTP formula. May not be expressible in strict first order. Music.kif 407-418
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 2662-2668
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25936-25954
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 686-696
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 23020-23024
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 16311-16322
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 25588-25606
No TPTP formula. May not be expressible in strict first order. Sports.kif 784-800


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