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 15048-15049
No TPTP formula. May not be expressible in strict first order. Merge.kif 15047-15047 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 7789-7789 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 7778-7778 The range of resident is an instance of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15057-15057 Age group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15402-15402 Belief group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13801-13801 Criminal gang is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13671-13671 Dramatic cast is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15397-15397 Ethnic group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15072-15072 Family group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13790-13790 Jury is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16243-16243 Musical group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28824-28824 NationalPerson is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24127-24127 Public is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15085-15085 Social unit is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7240-7240 Sports team is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26737-26737
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26736-26736
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26735-26735

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7273-7273 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 7278-7285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21470-21480
No TPTP formula. May not be expressible in strict first order. Merge.kif 15051-15055
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 4112-4120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19802-19808

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 24628-24646
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 21464-21468
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 24157-24175
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