TreeView 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 16257-16258
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16256-16256	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 8039-8039	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 8028-8028	O contra-dominio de ResidentFn e' uma instancia de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16266-16266	Grupo Etario e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16614-16614	BeliefGroup e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16095-16095	CriminalGang e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15962-15962	DramaticCast e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16609-16609	Grupo Etnico e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16281-16281	Grupo Familiar e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16083-16083	Jury e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18526-18526	MusicalGroup e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30615-30615	NationalPerson e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26064-26064	Public e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16294-16294	SocialUnit e' uma sub-classe de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7523-7523	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 7556-7556

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 7561-7568	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 23493-23503	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 16260-16264	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 21951-21957	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 26445-26463	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 23487-23491	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 16815-16826	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 26092-26110	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: