GroupOfPeople - Sigma Knowledge base Browser

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 15038-15039
(subclass GroupOfPeople Group)	Merge.kif 15037-15037	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 1995-1995	NativityMagi is an instance of group of people
(instance TwelveApostles GroupOfPeople)	Media.kif 1952-1952	TwelveApostles is an instance of group of people
(range CitizenryFn GroupOfPeople)	Mid-level-ontology.kif 7783-7783	The range of citizenry is an instance of group of people
(range ResidentFn GroupOfPeople)	Mid-level-ontology.kif 7772-7772	The range of resident is an instance of group of people
(subclass AgeGroup GroupOfPeople)	Merge.kif 15047-15047	Age group is a subclass of group of people
(subclass BeliefGroup GroupOfPeople)	Merge.kif 15392-15392	Belief group is a subclass of group of people
(subclass CriminalGang GroupOfPeople)	Mid-level-ontology.kif 13749-13749	Criminal gang is a subclass of group of people
(subclass DramaticCast GroupOfPeople)	Mid-level-ontology.kif 13619-13619	Dramatic cast is a subclass of group of people
(subclass EthnicGroup GroupOfPeople)	Merge.kif 15387-15387	Ethnic group is a subclass of group of people
(subclass FamilyGroup GroupOfPeople)	Merge.kif 15062-15062	Family group is a subclass of group of people
(subclass Jury GroupOfPeople)	Mid-level-ontology.kif 13738-13738	Jury is a subclass of group of people
(subclass MusicalGroup GroupOfPeople)	Mid-level-ontology.kif 16191-16191	Musical group is a subclass of group of people
(subclass NationalPerson GroupOfPeople)	Mid-level-ontology.kif 28772-28772	NationalPerson is a subclass of group of people
(subclass Public GroupOfPeople)	Mid-level-ontology.kif 24075-24075	Public is a subclass of group of people
(subclass SocialUnit GroupOfPeople)	Merge.kif 15075-15075	Social unit is a subclass of group of people
(subclass SportsTeam GroupOfPeople)	Mid-level-ontology.kif 7234-7234	Sports team is a subclass of group of people
(termFormat ChineseLanguage GroupOfPeople "一群人")	domainEnglishFormat.kif 26737-26737
(termFormat ChineseTraditionalLanguage GroupOfPeople "一群人")	domainEnglishFormat.kif 26736-26736
(termFormat EnglishLanguage GroupOfPeople "group of people")	domainEnglishFormat.kif 26735-26735

appearance as argument number 3

(domain groupMember 2 GroupOfPeople)

Mid-level-ontology.kif 7267-7267

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) (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 1154-1171	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at 2, then the statement there exist an entity and another entity such that the other entity is an instance of eating and the entity is an agent of the other entity and the agent is not equal to the entity and the entity is an instance of group of people and the other entity is located at 2 and the time of existence of the process meets the time of existence of the other entity and the object is equal to the object2 has the modal force of possibility
(=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP)))	Mid-level-ontology.kif 7272-7279	If an entity is a member of another entity holds during a time position and the entity is an instance of human and the other entity is an instance of group of people, then the entity is a member of the other entity holds during the time position
(=> (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 21418-21428	If a placing under arrest is an instance of placing under arrest and an agent is placed under arrest during the placing under arrest and the agent is an instance of group of people and another agent is a member of the agent, then there exists the placing under arrest1 such that the placing under arrest1 is an instance of placing under arrest and the other agent is placed under arrest during the placing under arrest1 and the placing under arrest1 is a subprocess of the placing under arrest
(=> (and (instance ?GROUP GroupOfPeople) (member ?MEMBER ?GROUP)) (instance ?MEMBER Human))	Merge.kif 15041-15045	If a collection is an instance of group of people and an object is a member of the collection, then the object is an instance of human
(=> (and (instance ?GRP GroupOfPeople) (member ?ADULT ?GRP) (member ?BABY ?GRP) (instance ?BABY HumanBaby) (instance ?ADULT HumanAdult) (instance ?CRIB Crib)) (inScopeOfInterest ?ADULT ?CRIB))	Hotel.kif 1221-1229	If a collection is an instance of group of people and a cognitive agent is a member of the collection and an object is a member of the collection and the object is an instance of human baby and the cognitive agent is an instance of human adult and an entity is an instance of crib, then the cognitive agent is interested in the entity
(=> (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) (and (customer ?GRP2 ?REST) (not (equal ?GRP1 ?GRP2)) (instance ?E2 Eating) (agent ?E2 ?GRP2) (holdsDuring (WhenFn ?E1) (eventLocated ?E2 ?DR))))) Likely))	Dining.kif 1174-1193	If a cognitive agent is an instance of restaurant and an object is an instance of dining room and PrivateAttribute is an attribute of the object and the cognitive agent possesses the object and the cognitive agent is a customer of another cognitive agent and a process is an instance of eating and the other cognitive agent is an agent of the process and the other cognitive agent is an instance of group of people, then the statement there doesn't exist an entity such that the cognitive agent is a customer of the entity and the other cognitive agent is not equal to the entity and another entity is an instance of eating and the entity is an agent of the other entity and the other entity is located at 2 holds during the time of existence of the process has the modal force of likely
(=> (and (instance ?S Spamming) (instance ?G GroupOfPeople) (memberCount ?G ?N) (destination ?S ?G)) (modalAttribute (greaterThan ?N 100) Likely))	ComputingBrands.kif 4112-4120	If a process is an instance of spamming and a collection is an instance of group of people and an integer is a member count of the collection and the process ends up at the collection, then the statement the integer is greater than 100 has the modal force of likely
(=> (and (instance ?X Kidnapping) (instance ?G GroupOfPeople) (memberCount ?G ?N) (patient ?X ?G)) (lessThan ?N 3))	Mid-level-ontology.kif 19750-19756	If a process is an instance of kidnapping and a collection is an instance of group of people and an integer is a member count of the collection and the collection is a patient of the process, then the integer is less than 3

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 405-416	If demo recording is an attribute of an object and the object is an instance of recording, then the object purpose there exist an entity, another entity and the objectUSIC such that the entity is an instance of demonstrating and the object is a record of the objectUSIC and the objectUSIC is a patient of the entity and the entity ends up at the other entity and the other entity is an instance of group of people
(=> (and (attribute ?X CommunalAttribute) (instance ?X Table) (instance ?E1 Eating) (agent ?E1 ?GRP1) (instance ?GRP1 GroupOfPeople) (eventLocated ?E1 ?X)) (modalAttribute (exists (?GRP2 ?E2) (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 1154-1171	If communal is an attribute of an object and the object is an instance of table and a process is an instance of eating and an agent is an agent of the process and the agent is an instance of group of people and the process is located at 2, then the statement there exist an entity and another entity such that the other entity is an instance of eating and the entity is an agent of the other entity and the agent is not equal to the entity and the entity is an instance of group of people and the other entity is located at 2 and the time of existence of the process meets the time of existence of the other entity and the object is equal to the object2 has the modal force of possibility
(=> (and (instance ?D Demonstration) (agent ?D ?A)) (or (instance ?A Human) (instance ?A GroupOfPeople)))	MilitaryProcesses.kif 2643-2649	If a process is an instance of demonstration and an agent is an agent of the process, then the agent is an instance of human or the agent is an instance of group of people
(=> (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 24576-24594	If an object is an instance of fire alarm and device on is an attribute of the object and the object is located at another object, then there exists a process such that the process is an instance of radiating sound and the object is an instrument for the process and the process purpose there exists an entity such that the entity is an instance of group of people and the entity is located at the other object and the entity knows there exists another entity such that the other entity is an instance of fire and the other entity is located at 2
(=> (and (maxRoomCapacity ?ROOM ?NUM) (instance ?X ?ROOM) (element ?X (PropertyFn ?AGENT))) (modalAttribute (exists (?GRP) (and (instance ?GRP GroupOfPeople) (memberCount ?GRP ?PPL) (lessThanOrEqualTo ?PPL ?NUM) (stays ?GRP ?X))) Possibility))	Hotel.kif 455-466	If a kind of stationary artifact can accommodate at most an integer people and an entity is an instance of a kind of stationary artifact and the entity is an element of belongings of an agent, then the statement there exists another entity such that the other entity is an instance of group of people and a third entity is a member count of the other entity and the third entity is less than or equal to the integer and the other entity stays at the entity has the modal force of possibility
(=> (and (numberAdultOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL HumanAdult) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2825-2834	If an agent may have an integer adults and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and human adult is a member type of the collection and the integer is a member count of the collection and the collection is a potential customer for the other agent
(=> (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 2845-2856	If an agent may have an integer children and the agent fulfills another agent, then there exist a collection and another collection such that the collection is an instance of group of people and the other collection is a proper sub-collection of the collection and the other collection is an instance of group of people and human child is a member type of the other collection and the integer is a member count of the other collection and the collection is a potential customer for the other agent
(=> (and (numberOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL) (and (instance ?COL GroupOfPeople) (memberType ?COL Human) (memberCount ?COL ?NUM) (potentialCustomer ?COL ?HOTEL))))	Hotel.kif 2806-2815	If an agent may have an integer occupants and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and human is a member type of the collection and the integer is a member count of the collection and the collection is a potential customer for the other agent
(=> (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 686-696	If a reservation is for a positive integer customers and an agent fulfills the reservation and another agent reserves the reservation, then there exists a collection such that the collection is a potential customer for the agent and the collection is an instance of group of people and the other agent is a member of the collection and the positive integer is a member count of the collection
(=> (and (numberSeniorOccupant ?RESERVE ?NUM) (fulfillingEntity ?RESERVE ?HOTEL)) (exists (?COL) (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 2867-2882	If an agent is for an integer seniors and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and for all an object if the object is a member of the collection, then the object is an instance of human adult and the age of the object is a real number year duration(s) and the real number is greater than or equal to 60 and the integer is a member count of the collection and the collection is a potential customer for the other agent
(=> (arrested ?ARREST ?OBJ) (or (instance ?OBJ Human) (instance ?OBJ GroupOfPeople)))	Mid-level-ontology.kif 21412-21416	If an agent is placed under arrest during a placing under arrest, then the agent is an instance of human or the agent is an instance of group of people
(=> (capacityByArrangement ?AREA ?PROP ?INT) (=> (represents ?AREA ?PROP) (modalAttribute (exists (?GRP) (and (instance ?GRP GroupOfPeople) (memberCount ?GRP ?PPL) (lessThanOrEqualTo ?PPL ?INT) (located ?GRP ?AREA))) Possibility)))	Hotel.kif 763-773	If a region has capacity for an integer according to a proposition, then if the region expresses the proposition, then the statement there exists an entity such that the entity is an instance of group of people and another entity is a member count of the entity and the other entity is less than or equal to the integer and the entity is located at the region has the modal force of possibility
(=> (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 2003-2012	If an entity is an instance of shuttle, then the statement there exist another entity and a third entity such that the other entity is an instance of group of people and the third entity is an instance of group of people and the other entity is a patient of the entity and the third entity is a patient of the entity and the other entity is not equal to the third entity has the modal force of possibility
(=> (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 24105-24123	If a physical is an instance of public address system, then the physical purpose there exist an entity, another entity and a third entity such that the other entity is an instance of land area and the physical is located at the other entity and the third entity is an instance of group of people and the third entity is located at the other entity and the entity is an instance of radiating sound and the physical is an instrument for the entity and for all a fourth entity if the fourth entity is a member of the third entity, then there exists a fifth entity such that the fifth entity is an instance of hearing and the entity is a patient of the fifth entity and the fourth entity is an agent of the fifth entity
(=> (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 708-724	If a contest is an instance of tennis, then there exist an agent and another agent such that the agent participates in the contest and the other agent participates in the contest and the agent is not equal to the other agent and the agent is an instance of human or the agent is an instance of group of people and 2 is a member count of the agent and the other agent is an instance of human or the other agent is an instance of group of people and 2 is a member count of the other agent

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

KB Term:			Term intersection

English Word: