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 e' uma sub-classe de Grupo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 903-903	JointChiefsOfStaff e' uma instancia de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 883-883	JointStaff e' uma instancia de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Media.kif 1993-1993	NativityMagi e' uma instancia de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Media.kif 1950-1950	TwelveApostles e' uma instancia de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8067-8067	O contra-dominio de CitizenryFn e' uma instancia de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8056-8056	O contra-dominio de ResidentFn e' uma instancia de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16315-16315	Grupo Etario e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16663-16663	BeliefGroup e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16123-16123	CriminalGang e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15990-15990	DramaticCast e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16658-16658	Grupo Etnico e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16330-16330	Grupo Familiar e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16111-16111	Jury e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18554-18554	MusicalGroup e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30651-30651	NationalPerson e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26109-26109	Public e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16343-16343	SocialUnit e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7551-7551	SportsTeam e' uma sub-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

O argumento numero 2 de groupMember e' uma instancia de GroupOfPeople

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	CommunalAttribute e' um atributo de Objeto Objeto e' uma instancia de Table Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de GroupOfPeople eventLocated Processo and Objeto o argumento Entidade Entidade and Objeto2 Entidade e' uma instancia de Comer Entidade e' um agente de Entidade AutonomousAgent e' igual a Entidade Entidade e' uma instancia de GroupOfPeople eventLocated Entidade and Objeto2 tempo de existencia de Processo encontra tempo de existencia de Entidade Objeto e' igual a Objeto2 tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7589-7596	Entidade e' membro de Entidade vale durante Posicao Temporal Entidade e' uma instancia de Humano Entidade e' uma instancia de GroupOfPeople groupMember Entidade and Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23546-23556	PlacingUnderArrest e' uma instancia de PlacingUnderArrest arrested PlacingUnderArrest and AutonomousAgent AutonomousAgent e' uma instancia de GroupOfPeople AutonomousAgent e' membro de AutonomousAgent PlacingUnderArrest1 PlacingUnderArrest1 e' uma instancia de PlacingUnderArrest arrested PlacingUnderArrest1 and AutonomousAgent PlacingUnderArrest1 e' um sub-processo de PlacingUnderArrest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16309-16313	Colecao e' uma instancia de GroupOfPeople Fisico e' membro de Colecao Fisico e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1270-1278	Colecao e' uma instancia de GroupOfPeople Agente Cognitivo e' membro de Colecao Fisico e' membro de Colecao Fisico e' uma instancia de HumanBaby Agente Cognitivo e' uma instancia de HumanAdult Entidade e' uma instancia de Crib Agente Cognitivo esta' interessado em Entidade
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1227-1246	AutonomousAgent e' uma instancia de Restaurant Objeto e' uma instancia de DiningRoom PrivateAttribute e' um atributo de Objeto AutonomousAgent possui Objeto customer Agente Cognitivo and AutonomousAgent Processo e' uma instancia de Comer Processo e' um agente de Agente Cognitivo Agente Cognitivo e' uma instancia de GroupOfPeople o argumento Entidade Entidade customer Entidade and AutonomousAgent Agente Cognitivo e' igual a Entidade Entidade e' uma instancia de Comer Entidade e' um agente de Entidade eventLocated Entidade and Objeto vale durante tempo de existencia de Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4187-4195	Processo e' uma instancia de Spamming Colecao e' uma instancia de GroupOfPeople memberCount Colecao and Numero Inteiro Processo termina em Colecao o argumento Numero Inteiro e' maior que 100 tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22004-22010	Processo e' uma instancia de Kidnapping Colecao e' uma instancia de GroupOfPeople memberCount Colecao and Numero Inteiro Colecao e' um patient de Processo Numero Inteiro e' menos que 3

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 408-419	DemoRecording e' um atributo de Objeto Objeto e' uma instancia de Recording Objeto tem por fim Entidade Entidade and ObjetoUSIC Entidade e' uma instancia de Demonstrating record Objeto and ObjetoUSIC ObjetoUSIC e' um patient de Entidade Entidade termina em Entidade Entidade e' uma instancia de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	CommunalAttribute e' um atributo de Objeto Objeto e' uma instancia de Table Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de GroupOfPeople eventLocated Processo and Objeto o argumento Entidade Entidade and Objeto2 Entidade e' uma instancia de Comer Entidade e' um agente de Entidade AutonomousAgent e' igual a Entidade Entidade e' uma instancia de GroupOfPeople eventLocated Entidade and Objeto2 tempo de existencia de Processo encontra tempo de existencia de Entidade Objeto e' igual a Objeto2 tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2663-2669	Processo e' uma instancia de Demonstration Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Humano AutonomousAgent e' uma instancia de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26490-26508	Objeto e' uma instancia de FireAlarm DeviceOn e' um atributo de Objeto Objeto e' situado em Objeto Processo Processo e' uma instancia de Som Irradiante Objeto e' um instrumento para Processo Processo tem por fim Entidade Entidade e' uma instancia de GroupOfPeople Entidade e' situado em Objeto Entidade sabe Entidade Entidade e' uma instancia de Fire eventLocated Entidade and Objeto
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 479-490	maxRoomCapacity Artefato Estacionario and Numero Inteiro Entidade e' uma instancia de Artefato Estacionario Entidade e' um elemento de propriedade de AutonomousAgent o argumento Entidade Entidade Entidade e' uma instancia de GroupOfPeople memberCount Entidade and Entidade Entidade e' menor ou igual a Numero Inteiro stays Entidade and Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2883-2892	numberAdultOccupant HotelReservation and Numero Inteiro fulfillingEntity AutonomousAgent and HotelReservation Colecao Colecao e' uma instancia de GroupOfPeople memberType Colecao and HumanAdult memberCount Colecao and Numero Inteiro potentialCustomer Colecao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2903-2914	numberChildOccupant HotelReservation and Numero Inteiro fulfillingEntity AutonomousAgent and HotelReservation Colecao Colecao Colecao e' uma instancia de GroupOfPeople Colecao e' uma sub-colecao de Colecao Colecao e' uma instancia de GroupOfPeople memberType Colecao and HumanChild memberCount Colecao and Numero Inteiro potentialCustomer Colecao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2864-2873	numberOccupant HotelReservation and Numero Inteiro fulfillingEntity AutonomousAgent and HotelReservation Colecao Colecao e' uma instancia de GroupOfPeople memberType Colecao and Humano memberCount Colecao and Numero Inteiro potentialCustomer Colecao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 732-742	numberOfCustomers Inteiro positivo and Reservation fulfillingEntity AutonomousAgent and Reservation reservingEntity AutonomousAgent and Reservation Colecao potentialCustomer Colecao and AutonomousAgent Colecao e' uma instancia de GroupOfPeople AutonomousAgent e' membro de Colecao memberCount Colecao and Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2925-2940	numberSeniorOccupant HotelReservation and Numero Inteiro fulfillingEntity AutonomousAgent and HotelReservation Colecao Numero Real Colecao e' uma instancia de GroupOfPeople Fisico Fisico e' membro de Colecao Fisico e' uma instancia de HumanAdult a idade de Fisico e' Numero Real YearDuration(s) Numero Real e' maior ou igual a 60 memberCount Colecao and Numero Inteiro potentialCustomer Colecao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23540-23544	arrested PlacingUnderArrest and AutonomousAgent AutonomousAgent e' uma instancia de Humano AutonomousAgent e' uma instancia de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 790-800	capacityByArrangement Regiao, Proposicao and Numero Inteiro Regiao define Proposicao o argumento Entidade Entidade Entidade e' uma instancia de GroupOfPeople memberCount Entidade and Entidade Entidade e' menor ou igual a Numero Inteiro Entidade e' situado em Regiao tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16843-16854	classmate Humano, Humano and EducationalCourse Colecao Processo and Posicao Temporal Colecao e' uma instancia de GroupOfPeople Processo e' uma instancia de Processo Educacional Processo exprime o conteudo de EducationalCourse Colecao e' um patient de Processo Posicao Temporal e' uma &parte de tempo de existencia de Processo memberAtTime Humano, Colecao and Posicao Temporal memberAtTime Humano, Colecao and Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Sports.kif 163-175	Entidade e' uma instancia de Soccer Colecao Colecao, AutonomousAgent and AutonomousAgent Colecao e' uma instancia de GroupOfPeople memberCount Colecao and 11 Colecao e' uma instancia de GroupOfPeople memberCount Colecao and 11 Colecao e' igual a Colecao AutonomousAgent e' membro de Colecao AutonomousAgent e' membro de Colecao enemy AutonomousAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2055-2064	Entidade e' uma instancia de ShuttleService o argumento Entidade Entidade Entidade e' uma instancia de GroupOfPeople Entidade e' uma instancia de GroupOfPeople Entidade e' um patient de Entidade Entidade e' um patient de Entidade Entidade e' igual a Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26137-26155	Fisico e' uma instancia de PublicAddressSystem Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Area terrestre Fisico e' situado em Entidade Entidade e' uma instancia de GroupOfPeople Entidade e' situado em Entidade Entidade e' uma instancia de Som Irradiante Fisico e' um instrumento para Entidade Entidade Entidade e' membro de Entidade Entidade Entidade e' uma instancia de Ouvir Entidade e' um patient de Entidade Entidade e' um agente de Entidade
No TPTP formula. May not be expressible in strict first order.	Sports.kif 857-873	Contest e' uma instancia de Tennis AutonomousAgent AutonomousAgent contestParticipant Contest and AutonomousAgent contestParticipant Contest and AutonomousAgent AutonomousAgent e' igual a AutonomousAgent AutonomousAgent e' uma instancia de Humano AutonomousAgent e' uma instancia de GroupOfPeople memberCount AutonomousAgent and 2 AutonomousAgent e' uma instancia de Humano AutonomousAgent e' uma instancia 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: