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 16306-16307
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16305-16305	GroupOfPeople est une sous-classe de groupe

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 903-903	JointChiefsOfStaff est une instance de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 883-883	JointStaff est une instance de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Media.kif 1993-1993	NativityMagi est une instance de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Media.kif 1950-1950	TwelveApostles est une instance de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8067-8067	Le domaine de CitizenryFn est une instance de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8056-8056	Le domaine de ResidentFn est une instance de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16315-16315	Groupe de personnes de la m�me tranche d'�ge est une sous-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16663-16663	BeliefGroup est une sous-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16123-16123	CriminalGang est une sous-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15990-15990	DramaticCast est une sous-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16658-16658	Groupe ethnique est une sous-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16330-16330	Family groupe familiale est une sous-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16111-16111	Jury est une sous-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18554-18554	MusicalGroup est une sous-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30651-30651	NationalPerson est une sous-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26109-26109	Public est une sous-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16343-16343	SocialUnit est une sous-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7551-7551	SportsTeam est une sous-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26814-26814
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26813-26813
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26812-26812

appearance as argument number 3

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

Mid-level-ontology.kif 7584-7584

Le nombre 2 argument de groupMember est une instance de GroupOfPeople

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	CommunalAttribute est un attribut de objet objet est une instance de Table processus est une instance de manger processus est un agent de AutonomousAgent AutonomousAgent est une instance de GroupOfPeople eventLocated processus and objet l'argument entit� entit� and objet2 entit� est une instance de manger entit� est un agent de entit� AutonomousAgent est entit� entit� est une instance de GroupOfPeople eventLocated entit� and objet2 temps d'existence de processus rencontre temps d'existence de entit� objet est objet2 a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7589-7596	Entit� est un membre de entit� pendant position temporel entit� est une instance de humain entit� est une instance de GroupOfPeople groupMember entit� and entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23546-23556	PlacingUnderArrest est une instance de PlacingUnderArrest arrested PlacingUnderArrest and AutonomousAgent AutonomousAgent est une instance de GroupOfPeople AutonomousAgent est un membre de AutonomousAgent PlacingUnderArrest1 PlacingUnderArrest1 est une instance de PlacingUnderArrest arrested PlacingUnderArrest1 and AutonomousAgent PlacingUnderArrest1 est un sous-processus de PlacingUnderArrest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16309-16313	Collection est une instance de GroupOfPeople physique est un membre de collection physique est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1270-1278	Collection est une instance de GroupOfPeople agent cognitif est un membre de collection physique est un membre de collection physique est une instance de HumanBaby agent cognitif est une instance de HumanAdult entit� est une instance de Crib agent cognitif est interess� par entit�
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1227-1246	AutonomousAgent est une instance de Restaurant objet est une instance de DiningRoom PrivateAttribute est un attribut de objet AutonomousAgent poss�de objet customer agent cognitif and AutonomousAgent processus est une instance de manger processus est un agent de agent cognitif agent cognitif est une instance de GroupOfPeople l'argument entit� entit� customer entit� and AutonomousAgent agent cognitif est entit� entit� est une instance de manger entit� est un agent de entit� eventLocated entit� and objet pendant temps d'existence de processus a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4187-4195	Processus est une instance de Spamming collection est une instance de GroupOfPeople memberCount collection and nombre entier processus aboutit � collection l'argument nombre entier est plus grand que 100 a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22004-22010	Processus est une instance de Kidnapping collection est une instance de GroupOfPeople memberCount collection and nombre entier collection est un patient de processus nombre entier est moins que 3

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 408-419	DemoRecording est un attribut de objet objet est une instance de Recording objet a pour but entit� entit� and objetUSIC entit� est une instance de Demonstrating record objet and objetUSIC objetUSIC est un patient de entit� entit� aboutit � entit� entit� est une instance de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	CommunalAttribute est un attribut de objet objet est une instance de Table processus est une instance de manger processus est un agent de AutonomousAgent AutonomousAgent est une instance de GroupOfPeople eventLocated processus and objet l'argument entit� entit� and objet2 entit� est une instance de manger entit� est un agent de entit� AutonomousAgent est entit� entit� est une instance de GroupOfPeople eventLocated entit� and objet2 temps d'existence de processus rencontre temps d'existence de entit� objet est objet2 a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2714-2720	Processus est une instance de Demonstration processus est un agent de AutonomousAgent AutonomousAgent est une instance de humain AutonomousAgent est une instance de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26490-26508	Objet est une instance de FireAlarm DeviceOn est un attribut de objet objet est situ� � objet processus processus est une instance de son irradiant objet est un instrument pour processus processus a pour but entit� entit� est une instance de GroupOfPeople entit� est situ� � objet entit� conna�t entit� entit� est une instance de Fire eventLocated entit� and objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 479-490	maxRoomCapacity artefact stationnaire and nombre entier entit� est une instance de artefact stationnaire entit� est un appartenir � AutonomousAgent l'argument entit� entit� entit� est une instance de GroupOfPeople memberCount entit� and entit� entit� est plus petit ou �gal � nombre entier stays entit� and entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2883-2892	numberAdultOccupant HotelReservation and nombre entier fulfillingEntity AutonomousAgent and HotelReservation collection collection est une instance de GroupOfPeople memberType collection and HumanAdult memberCount collection and nombre entier potentialCustomer collection and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2903-2914	numberChildOccupant HotelReservation and nombre entier fulfillingEntity AutonomousAgent and HotelReservation collection collection collection est une instance de GroupOfPeople collection est une sous-collection appartenant � collection collection est une instance de GroupOfPeople memberType collection and HumanChild memberCount collection and nombre entier potentialCustomer collection and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2864-2873	numberOccupant HotelReservation and nombre entier fulfillingEntity AutonomousAgent and HotelReservation collection collection est une instance de GroupOfPeople memberType collection and humain memberCount collection and nombre entier potentialCustomer collection and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 732-742	numberOfCustomers nombre entier positif and Reservation fulfillingEntity AutonomousAgent and Reservation reservingEntity AutonomousAgent and Reservation collection potentialCustomer collection and AutonomousAgent collection est une instance de GroupOfPeople AutonomousAgent est un membre de collection memberCount collection and nombre entier positif
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2925-2940	numberSeniorOccupant HotelReservation and nombre entier fulfillingEntity AutonomousAgent and HotelReservation collection nombre r�el collection est une instance de GroupOfPeople physique physique est un membre de collection physique est une instance de HumanAdult l' physique est nombre r�el YearDuration(s) nombre r�el est plus grand ou �gal � 60 memberCount collection and nombre entier potentialCustomer collection and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23540-23544	arrested PlacingUnderArrest and AutonomousAgent AutonomousAgent est une instance de humain AutonomousAgent est une instance de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 790-800	capacityByArrangement r�gion, proposition and nombre entier r�gion d�finie proposition l'argument entit� entit� entit� est une instance de GroupOfPeople memberCount entit� and entit� entit� est plus petit ou �gal � nombre entier entit� est situ� � r�gion a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16843-16854	classmate humain, humain and EducationalCourse collection processus and position temporel collection est une instance de GroupOfPeople processus est une instance de processus educationnel processus exprime le contenu de EducationalCourse collection est un patient de processus position temporel est une partie de temps d'existence de processus memberAtTime humain, collection and position temporel memberAtTime humain, collection and position temporel
No TPTP formula. May not be expressible in strict first order.	Sports.kif 163-175	Entit� est une instance de Soccer collection collection, AutonomousAgent and AutonomousAgent collection est une instance de GroupOfPeople memberCount collection and 11 collection est une instance de GroupOfPeople memberCount collection and 11 collection est collection AutonomousAgent est un membre de collection AutonomousAgent est un membre de collection enemy AutonomousAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2055-2064	Entit� est une instance de ShuttleService l'argument entit� entit� entit� est une instance de GroupOfPeople entit� est une instance de GroupOfPeople entit� est un patient de entit� entit� est un patient de entit� entit� est entit� a la force modale de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26137-26155	Physique est une instance de PublicAddressSystem physique a pour but entit� entit� and entit� entit� est une instance de zone de terre physique est situ� � entit� entit� est une instance de GroupOfPeople entit� est situ� � entit� entit� est une instance de son irradiant physique est un instrument pour entit� entit� entit� est un membre de entit� entit� entit� est une instance de entendre entit� est un patient de entit� entit� est un agent de entit�
No TPTP formula. May not be expressible in strict first order.	Sports.kif 857-873	Affrontement est une instance de Tennis AutonomousAgent AutonomousAgent contestParticipant affrontement and AutonomousAgent contestParticipant affrontement and AutonomousAgent AutonomousAgent est AutonomousAgent AutonomousAgent est une instance de humain AutonomousAgent est une instance de GroupOfPeople memberCount AutonomousAgent and 2 AutonomousAgent est une instance de humain AutonomousAgent est une instance de GroupOfPeople memberCount AutonomousAgent and 2

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: