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


(documentation GroupOfPeople ChineseLanguage "这是 member 只限属于 Human 的任何 Group。") chinese_format.kif 3670-3671
(documentation GroupOfPeople EnglishLanguage "Any Group whose members are exclusively Humans.") Merge.kif 16085-16086
(subclass GroupOfPeople Group) Merge.kif 16084-16084 Group of people is a subclass of group

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


(instance JointChiefsOfStaff GroupOfPeople) MilitaryProcesses.kif 903-903 Joint chiefs of staff is an instance of group of people
(instance JointStaff GroupOfPeople) MilitaryProcesses.kif 883-883 Joint staff is an instance of group of people
(instance NativityMagi GroupOfPeople) Media.kif 1993-1993 Nativity magi is an instance of group of people
(instance TwelveApostles GroupOfPeople) Media.kif 1950-1950 Twelve apostles is an instance of group of people
(range CitizenryFn GroupOfPeople) Mid-level-ontology.kif 8000-8000 The range of citizenry is an instance of group of people
(range ResidentFn GroupOfPeople) Mid-level-ontology.kif 7989-7989 The range of resident is an instance of group of people
(subclass AgeGroup GroupOfPeople) Merge.kif 16094-16094 Age group is a subclass of group of people
(subclass BeliefGroup GroupOfPeople) Merge.kif 16442-16442 Belief group is a subclass of group of people
(subclass CriminalGang GroupOfPeople) Mid-level-ontology.kif 15943-15943 Criminal gang is a subclass of group of people
(subclass DramaticCast GroupOfPeople) Mid-level-ontology.kif 15810-15810 Dramatic cast is a subclass of group of people
(subclass EthnicGroup GroupOfPeople) Merge.kif 16437-16437 Ethnic group is a subclass of group of people
(subclass FamilyGroup GroupOfPeople) Merge.kif 16109-16109 Family group is a subclass of group of people
(subclass Jury GroupOfPeople) Mid-level-ontology.kif 15931-15931 Jury is a subclass of group of people
(subclass MusicalGroup GroupOfPeople) Mid-level-ontology.kif 18309-18309 Musical group is a subclass of group of people
(subclass NationalPerson GroupOfPeople) Mid-level-ontology.kif 30543-30543 National person is a subclass of group of people
(subclass Public GroupOfPeople) Mid-level-ontology.kif 25985-25985 Public is a subclass of group of people
(subclass SocialUnit GroupOfPeople) Merge.kif 16122-16122 Social unit is a subclass of group of people
(subclass SportsTeam GroupOfPeople) Mid-level-ontology.kif 7484-7484 Sports team is a subclass of group of people
(termFormat ChineseLanguage GroupOfPeople "一群人") domainEnglishFormat.kif 26800-26800
(termFormat ChineseTraditionalLanguage GroupOfPeople "一群人") domainEnglishFormat.kif 26799-26799
(termFormat EnglishLanguage GroupOfPeople "group of people") domainEnglishFormat.kif 26798-26798

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


(domain groupMember 2 GroupOfPeople) Mid-level-ontology.kif 7517-7517 The number 2 argument of group member is an instance of group of people

antecedent
-------------------------


(=>
    (and
        (attribute ?X CommunalAttribute)
        (instance ?X Table)
        (instance ?E1 Eating)
        (agent ?E1 ?GRP1)
        (instance ?GRP1 GroupOfPeople)
        (eventLocated ?E1 ?X))
    (modalAttribute
        (exists (?GRP2 ?E2 ?X2)
            (and
                (instance ?E2 Eating)
                (agent ?E2 ?GRP2)
                (not
                    (equal ?GRP1 ?GRP2))
                (instance ?GRP2 GroupOfPeople)
                (eventLocated ?E2 ?X2)
                (meetsTemporally
                    (WhenFn ?E1)
                    (WhenFn ?E2))
                (equal ?X ?X2))) Possibility))
Dining.kif 1207-1224
(=>
    (and
        (holdsDuring ?T1
            (member ?OBJ ?GROUP))
        (instance ?OBJ Human)
        (instance ?GROUP GroupOfPeople))
    (holdsDuring ?T1
        (groupMember ?OBJ ?GROUP)))
Mid-level-ontology.kif 7522-7529
(=>
    (and
        (instance ?ARREST PlacingUnderArrest)
        (arrested ?ARREST ?AGENT)
        (instance ?AGENT GroupOfPeople)
        (member ?MEMBER ?AGENT))
    (exists (?ARREST1)
        (and
            (instance ?ARREST1 PlacingUnderArrest)
            (arrested ?ARREST1 ?MEMBER)
            (subProcess ?ARREST1 ?ARREST))))
Mid-level-ontology.kif 23444-23454
(=>
    (and
        (instance ?GROUP GroupOfPeople)
        (member ?MEMBER ?GROUP))
    (instance ?MEMBER Human))
Merge.kif 16088-16092
(=>
    (and
        (instance ?GRP GroupOfPeople)
        (member ?ADULT ?GRP)
        (member ?BABY ?GRP)
        (instance ?BABY HumanBaby)
        (instance ?ADULT HumanAdult)
        (instance ?CRIB Crib))
    (inScopeOfInterest ?ADULT ?CRIB))
Hotel.kif 1270-1278
(=>
    (and
        (instance ?REST Restaurant)
        (instance ?DR DiningRoom)
        (attribute ?DR PrivateAttribute)
        (possesses ?REST ?DR)
        (customer ?GRP1 ?REST)
        (instance ?E1 Eating)
        (agent ?E1 ?GRP1)
        (instance ?GRP1 GroupOfPeople))
    (modalAttribute
        (not
            (exists (?GRP2 ?E2)
                (and
                    (customer ?GRP2 ?REST)
                    (not
                        (equal ?GRP1 ?GRP2))
                    (instance ?E2 Eating)
                    (agent ?E2 ?GRP2)
                    (holdsDuring
                        (WhenFn ?E1)
                        (eventLocated ?E2 ?DR))))) Likely))
Dining.kif 1227-1246
(=>
    (and
        (instance ?S Spamming)
        (instance ?G GroupOfPeople)
        (memberCount ?G ?N)
        (destination ?S ?G))
    (modalAttribute
        (greaterThan ?N 100) Likely))
ComputingBrands.kif 4185-4193
(=>
    (and
        (instance ?X Kidnapping)
        (instance ?G GroupOfPeople)
        (memberCount ?G ?N)
        (patient ?X ?G))
    (lessThan ?N 3))
Mid-level-ontology.kif 21901-21907

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


(=>
    (and
        (attribute ?M DemoRecording)
        (instance ?M Recording))
    (hasPurpose ?M
        (exists (?D ?G ?MUSIC)
            (and
                (instance ?D Demonstrating)
                (record ?M ?MUSIC)
                (patient ?D ?MUSIC)
                (destination ?D ?G)
                (instance ?G GroupOfPeople)))))
Music.kif 408-419
(=>
    (and
        (attribute ?X CommunalAttribute)
        (instance ?X Table)
        (instance ?E1 Eating)
        (agent ?E1 ?GRP1)
        (instance ?GRP1 GroupOfPeople)
        (eventLocated ?E1 ?X))
    (modalAttribute
        (exists (?GRP2 ?E2 ?X2)
            (and
                (instance ?E2 Eating)
                (agent ?E2 ?GRP2)
                (not
                    (equal ?GRP1 ?GRP2))
                (instance ?GRP2 GroupOfPeople)
                (eventLocated ?E2 ?X2)
                (meetsTemporally
                    (WhenFn ?E1)
                    (WhenFn ?E2))
                (equal ?X ?X2))) Possibility))
Dining.kif 1207-1224
(=>
    (and
        (instance ?D Demonstration)
        (agent ?D ?A))
    (or
        (instance ?A Human)
        (instance ?A GroupOfPeople)))
MilitaryProcesses.kif 2663-2669
(=>
    (and
        (instance ?X FireAlarm)
        (attribute ?X DeviceOn)
        (located ?X ?LOC))
    (exists (?RS)
        (and
            (instance ?RS RadiatingSound)
            (instrument ?RS ?X)
            (hasPurpose ?RS
                (exists (?GRP)
                    (and
                        (instance ?GRP GroupOfPeople)
                        (located ?GRP ?LOC)
                        (knows ?GRP
                            (exists (?FIRE)
                                (and
                                    (instance ?FIRE Fire)
                                    (eventLocated ?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26366-26384
(=>
    (and
        (maxRoomCapacity ?ROOM ?NUM)
        (instance ?X ?ROOM)
        (element ?X
            (PropertyFn ?AGENT)))
    (modalAttribute
        (exists (?GRP ?PPL)
            (and
                (instance ?GRP GroupOfPeople)
                (memberCount ?GRP ?PPL)
                (lessThanOrEqualTo ?PPL ?NUM)
                (stays ?GRP ?X))) Possibility))
Hotel.kif 479-490
(=>
    (and
        (numberAdultOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?RESERVE ?HOTEL))
    (exists (?COL)
        (and
            (instance ?COL GroupOfPeople)
            (memberType ?COL HumanAdult)
            (memberCount ?COL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))
Hotel.kif 2883-2892
(=>
    (and
        (numberChildOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?RESERVE ?HOTEL))
    (exists (?COL ?SUBCOL)
        (and
            (instance ?COL GroupOfPeople)
            (subCollection ?SUBCOL ?COL)
            (instance ?SUBCOL GroupOfPeople)
            (memberType ?SUBCOL HumanChild)
            (memberCount ?SUBCOL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))
Hotel.kif 2903-2914
(=>
    (and
        (numberOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?RESERVE ?HOTEL))
    (exists (?COL)
        (and
            (instance ?COL GroupOfPeople)
            (memberType ?COL Human)
            (memberCount ?COL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))
Hotel.kif 2864-2873
(=>
    (and
        (numberOfCustomers ?NUM ?RESERVE)
        (fulfillingEntity ?AGENT ?RESERVE)
        (reservingEntity ?CUST ?RESERVE))
    (exists (?GRP)
        (and
            (potentialCustomer ?GRP ?AGENT)
            (instance ?GRP GroupOfPeople)
            (member ?CUST ?GRP)
            (memberCount ?GRP ?NUM))))
Dining.kif 732-742
(=>
    (and
        (numberSeniorOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?RESERVE ?HOTEL))
    (exists (?COL ?AGE)
        (and
            (instance ?COL GroupOfPeople)
            (forall (?X)
                (=>
                    (member ?X ?COL)
                    (and
                        (instance ?X HumanAdult)
                        (age ?X
                            (MeasureFn ?AGE YearDuration))
                        (greaterThanOrEqualTo ?AGE 60))))
            (memberCount ?COL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))
Hotel.kif 2925-2940
(=>
    (arrested ?ARREST ?OBJ)
    (or
        (instance ?OBJ Human)
        (instance ?OBJ GroupOfPeople)))
Mid-level-ontology.kif 23438-23442
(=>
    (capacityByArrangement ?AREA ?PROP ?INT)
    (=>
        (represents ?AREA ?PROP)
        (modalAttribute
            (exists (?GRP ?PPL)
                (and
                    (instance ?GRP GroupOfPeople)
                    (memberCount ?GRP ?PPL)
                    (lessThanOrEqualTo ?PPL ?INT)
                    (located ?GRP ?AREA))) Possibility)))
Hotel.kif 790-800
(=>
    (classmate ?A1 ?A2 ?COURSE)
    (exists (?CLASS ?EDU ?TIME)
        (and
            (instance ?CLASS GroupOfPeople)
            (instance ?EDU EducationalProcess)
            (realization ?EDU ?COURSE)
            (patient ?EDU ?CLASS)
            (temporalPart ?TIME
                (WhenFn ?EDU))
            (memberAtTime ?A1 ?CLASS ?TIME)
            (memberAtTime ?A1 ?CLASS ?TIME))))
Mid-level-ontology.kif 16659-16670
(=>
    (instance ?S Soccer)
    (exists (?A ?B ?M1 ?M2)
        (and
            (instance ?A GroupOfPeople)
            (memberCount ?A 11)
            (instance ?B GroupOfPeople)
            (memberCount ?B 11)
            (not
                (equal ?A ?B))
            (member ?M1 ?A)
            (member ?M1 ?B)
            (enemy ?M1 ?M2))))
Sports.kif 162-174
(=>
    (instance ?SVC ShuttleService)
    (modalAttribute
        (exists (?GRP1 ?GRP2)
            (and
                (instance ?GRP1 GroupOfPeople)
                (instance ?GRP2 GroupOfPeople)
                (patient ?SVC ?GRP1)
                (patient ?SVC ?GRP2)
                (not
                    (equal ?GRP1 ?GRP2)))) Possibility))
Hotel.kif 2055-2064
(=>
    (instance ?X PublicAddressSystem)
    (hasPurpose ?X
        (exists (?RS ?AREA ?GRP)
            (and
                (instance ?AREA LandArea)
                (located ?X ?AREA)
                (instance ?GRP GroupOfPeople)
                (located ?GRP ?AREA)
                (instance ?RS RadiatingSound)
                (instrument ?RS ?X)
                (forall (?PERSON)
                    (=>
                        (member ?PERSON ?GRP)
                        (exists (?HEAR)
                            (and
                                (instance ?HEAR Hearing)
                                (patient ?HEAR ?RS)
                                (agent ?HEAR ?PERSON)))))))))
Mid-level-ontology.kif 26013-26031
(=>
    (instance ?X Tennis)
    (exists (?T1 ?T2)
        (and
            (contestParticipant ?X ?T1)
            (contestParticipant ?X ?T2)
            (not
                (equal ?T1 ?T2))
            (or
                (instance ?T1 Human)
                (and
                    (instance ?T1 GroupOfPeople)
                    (memberCount ?T1 2)))
            (or
                (instance ?T2 Human)
                (and
                    (instance ?T2 GroupOfPeople)
                    (memberCount ?T2 2))))))
Sports.kif 856-872


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