GroupOfPeople - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16312-16313
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16310-16311
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16309-16309	Group of people is a subclass of group

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 892-892	Joint chiefs of staff is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 872-872	Joint staff is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Media.kif 1995-1995	NativityMagi is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Media.kif 1952-1952	TwelveApostles is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7777-7777	The range of citizenry is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7766-7766	The range of resident is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16321-16321	Age group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16705-16705	Belief group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13489-13489	Criminal gang is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13359-13359	Dramatic cast is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16698-16698	Ethnic group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16338-16338	Family group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13478-13478	Jury is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15780-15780	Musical group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28322-28322	NationalPerson is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23621-23621	Public is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16353-16353	Social unit is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7228-7228	Sports team is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4890-4890	"group of people" is the printable form of group of people in english language

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 7261-7261

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	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 another agent and another process such that the other process is an instance of eating and the other agent is an agent of the other process and the agent is not equal to the other agent and the other agent is an instance of group of people and the other process is located at 2 and the time of existence of the process meets the time of existence of the other process and the object is equal to the object2 has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7266-7273	If a human is a member of a group of people holds during an entity and the human is an instance of human and the group of people is an instance of group of people, then the human is a member of the group of people holds during the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21013-21023	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16315-16319	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1217-1225	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
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1178-1197	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 a third cognitive agent such that the cognitive agent is a customer of the third cognitive agent and the other cognitive agent is not equal to the third cognitive agent and another process is an instance of eating and the third cognitive agent is an agent of the other process and the other process is located at 2 holds during the time of existence of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19318-19324	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

No TPTP formula. May not be expressible in strict first order.	Music.kif 427-438	If demo recording is an attribute of a content bearing object and the content bearing object is an instance of recording, then the content bearing object has purpose there exist a process, an entity and the content bearing objectUSIC such that the process is an instance of demonstrating and the content bearing object is a record of the content bearing objectUSIC and the content bearing objectUSIC is a patient of the process and the process ends up at the entity and the entity is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1158-1175	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 another agent and another process such that the other process is an instance of eating and the other agent is an agent of the other process and the agent is not equal to the other agent and the other agent is an instance of group of people and the other process is located at 2 and the time of existence of the process meets the time of existence of the other process and the object is equal to the object has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2630-2636	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24122-24140	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 has purpose there exists a physical such that the physical is an instance of group of people and the physical is located at the other object and the physical knows there exists another process such that the other process is an instance of fire and the other process is located at 2
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 452-463	If a kind of stationary artifact can accommodate at most an integer people and a temporary residence is an instance of a kind of stationary artifact and the temporary residence is an element of belongings of an agent, then the statement there exists a human such that the human is an instance of group of people and another integer is a member count of the human and the other integer is less than or equal to the integer and the human stays at the temporary residence has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2819-2828	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2839-2850	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2800-2809	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
No TPTP formula. May not be expressible in strict first order.	Dining.kif 690-700	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 2 is a member count of the collection
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2861-2876	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21007-21011	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 759-769	If a region has capacity for an integer according to a proposition, then if the region expresses the proposition, then the statement there exists a collection such that the collection is an instance of group of people and another integer is a member count of the collection and the other integer is less than or equal to the integer and the collection is located at the region has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1999-2008	If a process is an instance of shuttle, then the statement there exist an entity and another entity such that the entity is an instance of group of people and the other entity is an instance of group of people and the entity is a patient of the process and the other entity is a patient of the process and the entity is not equal to the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23651-23669	If an object is an instance of public address system, then the object has purpose there exist a process, another object and a collection such that the other object is an instance of land area and the object is located at the other object and the collection is an instance of group of people and the collection is located at the other object and the process is an instance of radiating sound and the object is an instrument for the process and for all an agent if the agent is a member of the collection, then there exists another process such that the other process is an instance of hearing and the process is a patient of the other process and the agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 706-722	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: