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
-------------------------


s__documentation(s__GroupOfPeople,s__ChineseLanguage,'"这是 member 只限属于 Human 的任何 Group。"')

chinese_format.kif 3670-3671
s__documentation(s__GroupOfPeople,s__EnglishLanguage,'"Any Group whose members are exclusively Humans."')

Merge.kif 15459-15460
s__instance(s__Group,s__SetOrClass)

s__subclass(s__GroupOfPeople,s__Group)

s__instance(s__GroupOfPeople,s__SetOrClass)

Merge.kif 15458-15458 Group of people is a subclass of group

appearance as argument number 2
-------------------------


s__instance(s__JointChiefsOfStaff,s__GroupOfPeople)

s__instance(s__GroupOfPeople,s__SetOrClass)

MilitaryProcesses.kif 903-903 Joint chiefs of staff is an instance of group of people
s__instance(s__JointStaff,s__GroupOfPeople)

s__instance(s__GroupOfPeople,s__SetOrClass)

MilitaryProcesses.kif 883-883 Joint staff is an instance of group of people
s__instance(s__NativityMagi,s__GroupOfPeople)

s__instance(s__GroupOfPeople,s__SetOrClass)

Media.kif 1995-1995 NativityMagi is an instance of group of people
s__instance(s__TwelveApostles,s__GroupOfPeople)

s__instance(s__GroupOfPeople,s__SetOrClass)

Media.kif 1952-1952 TwelveApostles is an instance of group of people
s__range(s__CitizenryFn__m,s__GroupOfPeople)

Mid-level-ontology.kif 7597-7597 The range of citizenry is an instance of group of people
s__range(s__ResidentFn__m,s__GroupOfPeople)

Mid-level-ontology.kif 7586-7586 The range of resident is an instance of group of people
s__subclass(s__AgeGroup,s__GroupOfPeople)

s__instance(s__AgeGroup,s__SetOrClass)

s__instance(s__GroupOfPeople,s__SetOrClass)

Merge.kif 15468-15468 Age group is a subclass of group of people
s__instance(s__BeliefGroup,s__SetOrClass)

s__subclass(s__BeliefGroup,s__GroupOfPeople)

s__instance(s__GroupOfPeople,s__SetOrClass)

Merge.kif 15816-15816 Belief group is a subclass of group of people
s__instance(s__CriminalGang,s__SetOrClass)

s__subclass(s__CriminalGang,s__GroupOfPeople)

s__instance(s__GroupOfPeople,s__SetOrClass)

Mid-level-ontology.kif 14893-14893 Criminal gang is a subclass of group of people
s__instance(s__DramaticCast,s__SetOrClass)

s__subclass(s__DramaticCast,s__GroupOfPeople)

s__instance(s__GroupOfPeople,s__SetOrClass)

Mid-level-ontology.kif 14760-14760 Dramatic cast is a subclass of group of people
s__instance(s__EthnicGroup,s__SetOrClass)

s__subclass(s__EthnicGroup,s__GroupOfPeople)

s__instance(s__GroupOfPeople,s__SetOrClass)

Merge.kif 15811-15811 Ethnic group is a subclass of group of people
s__subclass(s__FamilyGroup,s__GroupOfPeople)

s__instance(s__FamilyGroup,s__SetOrClass)

s__instance(s__GroupOfPeople,s__SetOrClass)

Merge.kif 15483-15483 Family group is a subclass of group of people
s__instance(s__Jury,s__SetOrClass)

s__subclass(s__Jury,s__GroupOfPeople)

s__instance(s__GroupOfPeople,s__SetOrClass)

Mid-level-ontology.kif 14881-14881 Jury is a subclass of group of people
s__instance(s__MusicalGroup,s__SetOrClass)

s__subclass(s__MusicalGroup,s__GroupOfPeople)

s__instance(s__GroupOfPeople,s__SetOrClass)

Mid-level-ontology.kif 17211-17211 Musical group is a subclass of group of people
s__instance(s__NationalPerson,s__SetOrClass)

s__subclass(s__NationalPerson,s__GroupOfPeople)

s__instance(s__GroupOfPeople,s__SetOrClass)

Mid-level-ontology.kif 29325-29325 NationalPerson is a subclass of group of people
s__instance(s__Public,s__SetOrClass)

s__subclass(s__Public,s__GroupOfPeople)

s__instance(s__GroupOfPeople,s__SetOrClass)

Mid-level-ontology.kif 24764-24764 Public is a subclass of group of people
s__instance(s__SocialUnit,s__SetOrClass)

s__subclass(s__SocialUnit,s__GroupOfPeople)

s__instance(s__GroupOfPeople,s__SetOrClass)

Merge.kif 15496-15496 Social unit is a subclass of group of people
s__instance(s__SportsTeam,s__SetOrClass)

s__subclass(s__SportsTeam,s__GroupOfPeople)

s__instance(s__GroupOfPeople,s__SetOrClass)

Mid-level-ontology.kif 7088-7088 Sports team is a subclass of group of people
s__termFormat(s__ChineseLanguage,s__GroupOfPeople,'"一群人"')

domainEnglishFormat.kif 26805-26805
s__termFormat(s__ChineseTraditionalLanguage,s__GroupOfPeople,'"一群人"')

domainEnglishFormat.kif 26804-26804
s__termFormat(s__EnglishLanguage,s__GroupOfPeople,'"group of people"')

domainEnglishFormat.kif 26803-26803

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


s__domain(s__groupMember__m,n__2,s__GroupOfPeople)

Mid-level-ontology.kif 7121-7121 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 7126-7133
( ! [V__AGENT,V__MEMBER,V__ARREST] :
   ((s__instance(V__MEMBER,s__Agent) =>
       (((s__instance(V__ARREST,s__PlacingUnderArrest) &
             s__arrested(V__ARREST,V__AGENT)
           &
           s__instance(V__AGENT,s__GroupOfPeople) &
           s__member(V__MEMBER,V__AGENT))
       =>
       (( ? [V__ARREST1] :
           ((s__instance(V__ARREST1,s__PlacingUnderArrest) &
               s__arrested(V__ARREST1,V__MEMBER)
             &
             s__subProcess(V__ARREST1,V__ARREST))))))))
)
)

Mid-level-ontology.kif 22235-22245
( ! [V__GROUP,V__MEMBER] :
   ((s__instance(V__MEMBER,s__Physical) =>
       (((s__instance(V__GROUP,s__GroupOfPeople) &
             s__member(V__MEMBER,V__GROUP))
         =>
         (s__instance(V__MEMBER,s__Human)))))
   )
)

Merge.kif 15462-15466
( ! [V__CRIB,V__BABY,V__GRP,V__ADULT] :
   (((s__instance(V__GRP,s__GroupOfPeople) &
         s__member(V__ADULT,V__GRP)
       &
       s__member(V__BABY,V__GRP)
     &
     s__instance(V__BABY,s__HumanBaby) &
     s__instance(V__ADULT,s__HumanAdult) &
     s__instance(V__CRIB,s__Crib))
   =>
   (s__inScopeOfInterest(V__ADULT,V__CRIB)))
)
)

Hotel.kif 1235-1243
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 4158-4166
( ! [V__G,V__X,V__N] :
   ((s__instance(V__N,s__Integer) =>
       (((s__instance(V__X,s__Kidnapping) &
             s__instance(V__G,s__GroupOfPeople) &
             s__memberCount(V__G,V__N)
           &
           s__patient(V__X,V__G))
       =>
       (s__lessThan(V__N,n__3)))))
)
)

Mid-level-ontology.kif 20727-20733

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 1160-1177
( ! [V__A,V__D] :
   ((s__instance(V__A,s__Agent) =>
       (((s__instance(V__D,s__Demonstration) &
             s__agent(V__D,V__A))
         =>
         ((s__instance(V__A,s__Human) |
             s__instance(V__A,s__GroupOfPeople))))))
   )
)

MilitaryProcesses.kif 2643-2649
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25141-25159
No TPTP formula. May not be expressible in strict first order. Hotel.kif 459-470
( ! [V__RESERVE,V__HOTEL,V__NUM] :
   (((s__instance(V__RESERVE,s__Agent) &
         s__instance(V__RESERVE,s__HotelReservation) &
         s__instance(V__HOTEL,s__Agent) &
         s__instance(V__HOTEL,s__Reservation) &
         s__instance(V__NUM,s__Integer))
       =>
       (((s__numberAdultOccupant(V__RESERVE,V__NUM)
           &
           s__fulfillingEntity(V__RESERVE,V__HOTEL))
       =>
       (( ? [V__COL] :
           ((s__instance(V__COL,s__GroupOfPeople) &
               s__memberType(V__COL,s__HumanAdult) &
               s__memberCount(V__COL,V__NUM)
             &
             s__potentialCustomer(V__COL,V__HOTEL))))))))
)
)

Hotel.kif 2839-2848
( ! [V__RESERVE,V__HOTEL,V__NUM] :
   (((s__instance(V__RESERVE,s__Agent) &
         s__instance(V__RESERVE,s__HotelReservation) &
         s__instance(V__HOTEL,s__Agent) &
         s__instance(V__HOTEL,s__Reservation) &
         s__instance(V__NUM,s__Integer))
       =>
       (((s__numberChildOccupant(V__RESERVE,V__NUM)
           &
           s__fulfillingEntity(V__RESERVE,V__HOTEL))
       =>
       (( ? [V__COL, V__SUBCOL] :
           ((s__instance(V__COL,s__GroupOfPeople) &
               s__subCollection(V__SUBCOL,V__COL)
             &
             s__instance(V__SUBCOL,s__GroupOfPeople) &
             s__memberType(V__SUBCOL,s__HumanChild) &
             s__memberCount(V__SUBCOL,V__NUM)
           &
           s__potentialCustomer(V__COL,V__HOTEL))))))))
)
)

Hotel.kif 2859-2870
( ! [V__RESERVE,V__HOTEL,V__NUM] :
   (((s__instance(V__RESERVE,s__Agent) &
         s__instance(V__RESERVE,s__HotelReservation) &
         s__instance(V__HOTEL,s__Agent) &
         s__instance(V__HOTEL,s__Reservation) &
         s__instance(V__NUM,s__Integer))
       =>
       (((s__numberOccupant(V__RESERVE,V__NUM)
           &
           s__fulfillingEntity(V__RESERVE,V__HOTEL))
       =>
       (( ? [V__COL] :
           ((s__instance(V__COL,s__GroupOfPeople) &
               s__memberType(V__COL,s__Human) &
               s__memberCount(V__COL,V__NUM)
             &
             s__potentialCustomer(V__COL,V__HOTEL))))))))
)
)

Hotel.kif 2820-2829
( ! [V__AGENT,V__RESERVE,V__CUST,V__NUM] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__RESERVE,s__Reservation) &
         s__instance(V__CUST,s__Agent) &
         s__instance(V__NUM,s__PositiveInteger))
       =>
       (((s__numberOfCustomers(V__NUM,V__RESERVE)
           &
           s__fulfillingEntity(V__AGENT,V__RESERVE)
         &
         s__reservingEntity(V__CUST,V__RESERVE))
     =>
     (( ? [V__GRP] :
         ((s__potentialCustomer(V__GRP,V__AGENT)
           &
           s__instance(V__GRP,s__GroupOfPeople) &
           s__member(V__CUST,V__GRP)
         &
         s__memberCount(V__GRP,V__NUM))))))))
)
)

Dining.kif 686-696
( ! [V__RESERVE,V__HOTEL,V__NUM,V__AGE] :
   (((s__instance(V__RESERVE,s__Agent) &
         s__instance(V__RESERVE,s__HotelReservation) &
         s__instance(V__HOTEL,s__Agent) &
         s__instance(V__HOTEL,s__Reservation) &
         s__instance(V__NUM,s__Integer) &
         s__instance(V__AGE,s__RealNumber))
       =>
       (((s__numberSeniorOccupant(V__RESERVE,V__NUM)
           &
           s__fulfillingEntity(V__RESERVE,V__HOTEL))
       =>
       (( ? [V__COL] :
           ((s__instance(V__COL,s__GroupOfPeople) &
               ( ! [V__X] :
                 ((s__member(V__X,V__COL)
                   =>
                   ((s__instance(V__X,s__HumanAdult) &
                       s__age(V__X,s__MeasureFn(V__AGE,s__YearDuration))
                     &
                     s__greaterThanOrEqualTo(V__AGE,n__60))))))
         &
         s__memberCount(V__COL,V__NUM)
       &
       s__potentialCustomer(V__COL,V__HOTEL))))))))
)
)

Hotel.kif 2881-2896
( ! [V__OBJ,V__ARREST] :
   (((s__instance(V__OBJ,s__Agent) &
         s__instance(V__ARREST,s__PlacingUnderArrest))
       =>
       ((s__arrested(V__ARREST,V__OBJ)
         =>
         ((s__instance(V__OBJ,s__Human) |
             s__instance(V__OBJ,s__GroupOfPeople))))))
   )
)

Mid-level-ontology.kif 22229-22233
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. Hotel.kif 2017-2026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24792-24810
( ! [V__X] :
   ((s__instance(V__X,s__Tennis) =>
       (( ? [V__T1, V__T2] :
           ((s__contestParticipant(V__X,V__T1)
             &
             s__contestParticipant(V__X,V__T2)
           &
           ~((V__T1 = V__T2))
           &
           (s__instance(V__T1,s__Human) |
             (s__instance(V__T1,s__GroupOfPeople) &
               s__memberCount(V__T1,n__2)))
         &
         (s__instance(V__T2,s__Human) |
           (s__instance(V__T2,s__GroupOfPeople) &
             s__memberCount(V__T2,n__2))))))))
)
)

Sports.kif 755-771


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