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