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 15613-15614
No TPTP formula. May not be expressible in strict first order. Merge.kif 15612-15612 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 7683-7683 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 7672-7672 The range of resident is an instance of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15622-15622 Age group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15970-15970 Belief group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15494-15494 Criminal gang is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15361-15361 Dramatic cast is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15965-15965 Ethnic group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15637-15637 Family group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15482-15482 Jury is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17851-17851 Musical group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29977-29977 NationalPerson is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25415-25415 Public is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Merge.kif 15650-15650 Social unit is a subclass of group of people
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7174-7174 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 7207-7207 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 7212-7219
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22889-22899
No TPTP formula. May not be expressible in strict first order. Merge.kif 15616-15620
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1248-1256
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 4151-4159
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21381-21387

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


No TPTP formula. May not be expressible in strict first order. Music.kif 406-417
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 2643-2649
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25792-25810
No TPTP formula. May not be expressible in strict first order. Hotel.kif 459-470
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2852-2861
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2872-2883
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2833-2842
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 2894-2909
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22883-22887
No TPTP formula. May not be expressible in strict first order. Hotel.kif 769-779
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16209-16220
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2030-2039
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25443-25461
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