Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GroupOfPeople
GroupOfPeopleRotarian, 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 16391-16392
s__documentation(s__GroupOfPeople,s__EnglishLanguage,'Any Group whose members are exclusively Humans.')

Merge.kif 16389-16390
s__instance(s__Group,s__SetOrClass)

Merge.kif 16388-16388

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


s__instance(s__JointChiefsOfStaff,s__GroupOfPeople)

MilitaryProcesses.kif 892-892
s__instance(s__JointStaff,s__GroupOfPeople)

MilitaryProcesses.kif 872-872
s__instance(s__NativityMagi,s__GroupOfPeople)

Media.kif 1995-1995
s__instance(s__TwelveApostles,s__GroupOfPeople)

Media.kif 1952-1952
s__range(s__CitizenryFn__m,s__GroupOfPeople)

Mid-level-ontology.kif 7781-7781
s__range(s__ResidentFn__m,s__GroupOfPeople)

Mid-level-ontology.kif 7770-7770
s__instance(s__AgeGroup,s__SetOrClass)

Merge.kif 16400-16400
s__instance(s__BeliefGroup,s__SetOrClass)

Merge.kif 16791-16791
s__instance(s__GroupOfPeople,s__SetOrClass)

Mid-level-ontology.kif 13749-13749
s__subclass(s__DramaticCast,s__GroupOfPeople)

Mid-level-ontology.kif 13619-13619
s__subclass(s__EthnicGroup,s__GroupOfPeople)

Merge.kif 16784-16784
s__instance(s__FamilyGroup,s__SetOrClass)

Merge.kif 16417-16417
s__instance(s__GroupOfPeople,s__SetOrClass)

Mid-level-ontology.kif 13738-13738
s__instance(s__GroupOfPeople,s__SetOrClass)

Mid-level-ontology.kif 16081-16081
s__instance(s__NationalPerson,s__SetOrClass)

Mid-level-ontology.kif 28683-28683
s__subclass(s__Public,s__GroupOfPeople)

Mid-level-ontology.kif 23982-23982
s__subclass(s__SocialUnit,s__GroupOfPeople)

Merge.kif 16432-16432
s__subclass(s__SportsTeam,s__GroupOfPeople)

Mid-level-ontology.kif 7232-7232
s__termFormat(s__EnglishLanguage,s__GroupOfPeople,'group of people')

domainEnglishFormat.kif 4890-4890

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


s__domain(s__groupMember__m,2,s__GroupOfPeople)

Mid-level-ontology.kif 7265-7265

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__ARREST,V__AGENT,V__MEMBER] :
   ((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 21374-21384
( ! [V__GROUP,V__MEMBER] :
   ((s__instance(V__GROUP,s__GroupOfPeople) &
       s__member(V__MEMBER,V__GROUP))
   =>
   s__instance(V__MEMBER,s__Human))
)

Merge.kif 16394-16398
( ! [V__GRP,V__ADULT,V__BABY,V__CRIB] :
   ((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 1217-1225
No TPTP formula. May not be expressible in strict first order. Dining.kif 1178-1197
( ! [V__X,V__G,V__N] :
   ((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,3))
)

Mid-level-ontology.kif 19679-19685

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__D,V__A] :
   ((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 2630-2636
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24483-24501
No TPTP formula. May not be expressible in strict first order. Hotel.kif 452-463
( ! [V__RESERVE,V__NUM,V__HOTEL] :
   ((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 2819-2828
( ! [V__RESERVE,V__NUM,V__HOTEL] :
   ((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 2839-2850
( ! [V__RESERVE,V__NUM,V__HOTEL] :
   ((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 2800-2809
( ! [V__NUM,V__RESERVE,V__AGENT,V__CUST] :
   ((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,2))))
)

Dining.kif 690-700
( ! [V__RESERVE,V__NUM,V__HOTEL,V__AGE] :
   ((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,60))))
&
s__memberCount(V__COL,V__NUM)
&
s__potentialCustomer(V__COL,V__HOTEL))))
)

Hotel.kif 2861-2876
( ! [V__ARREST,V__OBJ] :
   (s__arrested(V__ARREST,V__OBJ)
   =>
   (s__instance(V__OBJ,s__Human) |
     s__instance(V__OBJ,s__GroupOfPeople)))
)

Mid-level-ontology.kif 21368-21372
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 24012-24030
( ! [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,2)))
   &
   (s__instance(V__T2,s__Human) |
     (s__instance(V__T2,s__GroupOfPeople) &
       s__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