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, group_of_people, head...

appearance as argument number 1
-------------------------


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

Merge.kif 16443-16444
s__documentation(s__GroupOfPeople,s__EnglishLanguage,'Any Group whose members are exclusively Humans.')

Merge.kif 16441-16442
s__instance(s__Group,s__SetOrClass)

s__subclass(s__GroupOfPeople,s__Group)

s__instance(s__GroupOfPeople,s__SetOrClass)

Merge.kif 16440-16440 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 892-892 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 872-872 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 7781-7781 The range of citizenry is an instance of group of people
s__range(s__ResidentFn__m,s__GroupOfPeople)

Mid-level-ontology.kif 7770-7770 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 16452-16452 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 16843-16843 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 13749-13749 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 13619-13619 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 16836-16836 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 16469-16469 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 13738-13738 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 16111-16111 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 28763-28763 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 24062-24062 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 16484-16484 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 7232-7232 Sports team is a subclass of group of people
s__termFormat(s__EnglishLanguage,s__GroupOfPeople,'group of people')

domainEnglishFormat.kif 4890-4890 "group of people" is the printable form of group of people in english language

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


s__domain(s__groupMember__m,2,s__GroupOfPeople)

Mid-level-ontology.kif 7265-7265 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 1158-1175
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7270-7277
( ! [V__MEMBER,V__ARREST,V__AGENT] :
   (s__instance(V__MEMBER,s__Agent)s__=>((s__instance(V__ARREST,s__PlacingUnderArrest)s__and__ms__arrested(V__ARREST,V__AGENT)
      s__and__ms__instance(V__AGENT,s__GroupOfPeople)s__and__ms__member(V__MEMBER,V__AGENT))
  s__=>(s__exists__m[V__ARREST1] :
     (s__instance(V__ARREST1,s__PlacingUnderArrest)s__and__ms__arrested(V__ARREST1,V__MEMBER)
    s__and__ms__subProcess(V__ARREST1,V__ARREST)))))
)

Mid-level-ontology.kif 21405-21415
( ! [V__MEMBER,V__GROUP] :
   (s__instance(V__MEMBER,s__Object)s__=>((s__instance(V__GROUP,s__GroupOfPeople)s__and__ms__member(V__MEMBER,V__GROUP))
    s__=>s__instance(V__MEMBER,s__Human)))
)

Merge.kif 16446-16450
( ! [V__GRP,V__ADULT,V__BABY,V__CRIB] :
   ((s__instance(V__GRP,s__GroupOfPeople)s__and__ms__member(V__ADULT,V__GRP)
    s__and__ms__member(V__BABY,V__GRP)
  s__and__ms__instance(V__BABY,s__HumanBaby)s__and__ms__instance(V__ADULT,s__HumanAdult)s__and__ms__instance(V__CRIB,s__Crib))
s__=>s__inScopeOfInterest(V__ADULT,V__CRIB))
)

Hotel.kif 1217-1225
No TPTP formula. May not be expressible in strict first order. Dining.kif 1178-1197
( ! [V__N,V__X,V__G] :
   (s__instance(V__N,s__Integer)s__=>((s__instance(V__X,s__Kidnapping)s__and__ms__instance(V__G,s__GroupOfPeople)s__and__ms__memberCount(V__G,V__N)
      s__and__ms__patient(V__X,V__G))
  s__=>s__lessThan(V__N,3)))
)

Mid-level-ontology.kif 19737-19743

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


No TPTP formula. May not be expressible in strict first order. Music.kif 411-422
No TPTP formula. May not be expressible in strict first order. Dining.kif 1158-1175
( ! [V__A,V__D] :
   (s__instance(V__A,s__Agent)s__=>((s__instance(V__D,s__Demonstration)s__and__ms__agent(V__D,V__A))
    s__=>(s__instance(V__A,s__Human)s__or__ms__instance(V__A,s__GroupOfPeople))))
)

MilitaryProcesses.kif 2630-2636
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24563-24581
No TPTP formula. May not be expressible in strict first order. Hotel.kif 452-463
( ! [V__RESERVE,V__HOTEL,V__NUM] :
   ((s__instance(V__RESERVE,s__Agent)s__and__ms__instance(V__RESERVE,s__HotelReservation)s__and__ms__instance(V__HOTEL,s__Agent)s__and__ms__instance(V__HOTEL,s__Reservation)s__and__ms__instance(V__NUM,s__Integer))
    s__=>((s__numberAdultOccupant(V__RESERVE,V__NUM)
      s__and__ms__fulfillingEntity(V__RESERVE,V__HOTEL))
  s__=>(s__exists__m[V__COL] :
     (s__instance(V__COL,s__GroupOfPeople)s__and__ms__memberType(V__COL,s__HumanAdult)s__and__ms__memberCount(V__COL,V__NUM)
    s__and__ms__potentialCustomer(V__COL,V__HOTEL)))))
)

Hotel.kif 2819-2828
( ! [V__RESERVE,V__HOTEL,V__NUM] :
   ((s__instance(V__RESERVE,s__Agent)s__and__ms__instance(V__RESERVE,s__HotelReservation)s__and__ms__instance(V__HOTEL,s__Agent)s__and__ms__instance(V__HOTEL,s__Reservation)s__and__ms__instance(V__NUM,s__Integer))
    s__=>((s__numberChildOccupant(V__RESERVE,V__NUM)
      s__and__ms__fulfillingEntity(V__RESERVE,V__HOTEL))
  s__=>(s__exists__m[V__COL,V__SUBCOL] :
     (s__instance(V__COL,s__GroupOfPeople)s__and__ms__subCollection(V__SUBCOL,V__COL)
    s__and__ms__instance(V__SUBCOL,s__GroupOfPeople)s__and__ms__memberType(V__SUBCOL,s__HumanChild)s__and__ms__memberCount(V__SUBCOL,V__NUM)
  s__and__ms__potentialCustomer(V__COL,V__HOTEL)))))
)

Hotel.kif 2839-2850
( ! [V__RESERVE,V__HOTEL,V__NUM] :
   ((s__instance(V__RESERVE,s__Agent)s__and__ms__instance(V__RESERVE,s__HotelReservation)s__and__ms__instance(V__HOTEL,s__Agent)s__and__ms__instance(V__HOTEL,s__Reservation)s__and__ms__instance(V__NUM,s__Integer))
    s__=>((s__numberOccupant(V__RESERVE,V__NUM)
      s__and__ms__fulfillingEntity(V__RESERVE,V__HOTEL))
  s__=>(s__exists__m[V__COL] :
     (s__instance(V__COL,s__GroupOfPeople)s__and__ms__memberType(V__COL,s__Human)s__and__ms__memberCount(V__COL,V__NUM)
    s__and__ms__potentialCustomer(V__COL,V__HOTEL)))))
)

Hotel.kif 2800-2809
( ! [V__AGENT,V__RESERVE,V__CUST,V__NUM] :
   ((s__instance(V__AGENT,s__Agent)s__and__ms__instance(V__RESERVE,s__Reservation)s__and__ms__instance(V__CUST,s__Agent)s__and__ms__instance(V__NUM,s__PositiveInteger))
    s__=>((s__numberOfCustomers(V__NUM,V__RESERVE)
      s__and__ms__fulfillingEntity(V__AGENT,V__RESERVE)
    s__and__ms__reservingEntity(V__CUST,V__RESERVE))
s__=>(s__exists__m[V__GRP] :
   (s__potentialCustomer(V__GRP,V__AGENT)
  s__and__ms__instance(V__GRP,s__GroupOfPeople)s__and__ms__member(V__CUST,V__GRP)
s__and__ms__memberCount(V__GRP,2)))))
)

Dining.kif 690-700
( ! [V__RESERVE,V__HOTEL,V__NUM,V__AGE] :
   ((s__instance(V__RESERVE,s__Agent)s__and__ms__instance(V__RESERVE,s__HotelReservation)s__and__ms__instance(V__HOTEL,s__Agent)s__and__ms__instance(V__HOTEL,s__Reservation)s__and__ms__instance(V__NUM,s__Integer)s__and__ms__instance(V__AGE,s__RealNumber))
    s__=>((s__numberSeniorOccupant(V__RESERVE,V__NUM)
      s__and__ms__fulfillingEntity(V__RESERVE,V__HOTEL))
  s__=>(s__exists__m[V__COL] :
     (s__instance(V__COL,s__GroupOfPeople)s__and__m(s__forall__m[V__X] :
       (s__member(V__X,V__COL)
      s__=>(s__instance(V__X,s__HumanAdult)s__and__ms__age(V__X,s__MeasureFn(V__AGE,s__YearDuration))
      s__and__ms__greaterThanOrEqualTo(V__AGE,60))))
s__and__ms__memberCount(V__COL,V__NUM)
s__and__ms__potentialCustomer(V__COL,V__HOTEL)))))
)

Hotel.kif 2861-2876
( ! [V__OBJ,V__ARREST] :
   ((s__instance(V__OBJ,s__Agent)s__and__ms__instance(V__ARREST,s__PlacingUnderArrest))
    s__=>(s__arrested(V__ARREST,V__OBJ)
    s__=>(s__instance(V__OBJ,s__Human)s__or__ms__instance(V__OBJ,s__GroupOfPeople))))
)

Mid-level-ontology.kif 21399-21403
No TPTP formula. May not be expressible in strict first order. Hotel.kif 759-769
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1999-2008
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24092-24110
( ! [V__X] :
   (s__instance(V__X,s__Tennis)s__=>(s__exists__m[V__T1,V__T2] :
       (s__contestParticipant(V__X,V__T1)
      s__and__ms__contestParticipant(V__X,V__T2)
    s__and__m(s__not__m(V__T1s__equal__mV__T2))
  s__and__m(s__instance(V__T1,s__Human)s__or__m(s__instance(V__T1,s__GroupOfPeople)s__and__ms__memberCount(V__T1,2)))
s__and__m(s__instance(V__T2,s__Human)s__or__m(s__instance(V__T2,s__GroupOfPeople)s__and__ms__memberCount(V__T2,2))))))
)

Sports.kif 706-722


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