GroupOfPeople - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3670-3671
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16410-16411
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16409-16409	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 903-903	Joint chiefs of staff is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 883-883	Joint staff is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Media.kif 1995-1995	Nativity magi is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Media.kif 1952-1952	Twelve apostles is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9207-9207	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 9196-9196	The range of resident is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16419-16419	Age group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16767-16767	Belief group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17483-17483	Criminal gang is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17350-17350	Dramatic cast is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16762-16762	Ethnic group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16434-16434	Family group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17471-17471	Jury is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20098-20098	Musical group is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32561-32561	National person is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27974-27974	Public is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16447-16447	Social unit is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8691-8691	Sports team is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26825-26825	Sports team is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26824-26824	Sports team is a subclass of group of people
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26823-26823	Sports team is a subclass of group of people

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8724-8724	The number 2 argument of group member is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Weather.kif 4059-4059	The number 2 argument of weather threat is an instance of group of people

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	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 the object, then the statement there exist an entity, another entity and the object2 such that the other entity is an instance of eating and the entity is an agent of the other entity and equal the agent and the entity and the entity is an instance of group of people and the other entity is located at the object2 and the time of existence of the process meets the time of existence of the other entity and equal the object and the object2 has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8729-8736	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25135-25145	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 16413-16417	If a collection is an instance of group of people and a physical is a member of the collection, then the physical is an instance of human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1278-1286	If a collection is an instance of group of people and a cognitive agent is a member of the collection and a physical is a member of the collection and the physical 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 1227-1246	If an agent is an instance of restaurant and an object is an instance of dining room and private attribute is an attribute of the object and the agent possesses the object and the agent is a customer of a cognitive agent and a process is an instance of eating and the cognitive agent is an agent of the process and the cognitive agent is an instance of group of people, then the statement there don't exist an entity and another entity such that the agent is a customer of the entity and equal the cognitive agent and the entity and the other entity is an instance of eating and the entity is an agent of the other entity and the other entity is located at the object 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.	ComputingBrands.kif 4182-4190	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23595-23601	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 410-421	If demo recording is an attribute of an object and the object is an instance of recording, then the object has the 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
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	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 the object, then the statement there exist an entity, another entity and the object2 such that the other entity is an instance of eating and the entity is an agent of the other entity and equal the agent and the entity and the entity is an instance of group of people and the other entity is located at the object2 and the time of existence of the process meets the time of existence of the other entity and equal the object and the object2 has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2697-2703	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.	Economy.kif 6202-6209	If an attribute is an instance of labour and the attribute is an attribute of the attributeO, then there exists an entity such that the entity is an instance of group of people and equal the entity and the attributeO
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28356-28374	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 the 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 the other object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 479-490	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 exist another entity and a third entity such that the other entity is an instance of group of people and the 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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2894-2903	If a hotel reservation may &umberAdultOccupant$"have" an integer adults and an agent fulfills the hotel reservation, 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 agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2914-2925	If a hotel reservation may &umberChildOccupant$"have" an integer children and an agent fulfills the hotel reservation, 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 agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2875-2884	If a hotel reservation may &umberOccupant$"have" an integer occupants and an agent fulfills the hotel reservation, 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 agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 732-742	If a reservation is for a positive integer &umberOfCustomers$"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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2936-2951	If a hotel reservation is for an integer &umberSeniorOccupant$"seniors" and an agent fulfills the hotel reservation, then there exist a collection and a real number such that the collection is an instance of group of people and for all a physical if the physical is a member of the collection, then the physical is an instance of human adult and the age of the physical is the 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 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25129-25133	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 794-804	If a region has capacity for an integer according to a proposition, then if the region expresses the proposition, 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 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18203-18214	If a human and another human were taught in the same EducationalProcess an educational course together, then there exist a collection, a process and a time position such that the collection is an instance of group of people and the process is an instance of educational process and the process expresses the content of the educational course and the collection is a patient of the process and the time position is a part of the time of existence of the process and the human is a member of the collection during the time position and the human is a member of the collection during the time position
No TPTP formula. May not be expressible in strict first order.	Sports.kif 175-187	If an entity is an instance of soccer, then there exist a collection, another collection,, , an agent and another agent such that the collection is an instance of group of people and 11 is a member count of the collection and the other collection is an instance of group of people and 11 is a member count of the other collection and equal the collection and the other collection and the agent is a member of the collection and the agent is a member of the other collection and the agent and the other agent are enemies of each other
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2066-2075	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 equal the other entity and the third entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28002-28020	If a physical is an instance of public address system, then the physical has the 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
No TPTP formula. May not be expressible in strict first order.	Sports.kif 869-885	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 equal the agent and 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: