agent - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1865-1867
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2437-2440
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 488-490
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2433-2433	O argumento numero 1 de agent e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2434-2434	O argumento numero 2 de agent e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2431-2431	agent e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2432-2432	agent e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2435-2435	agent e' uma sub-relacao de involvedInEvent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 53-53
No TPTP formula. May not be expressible in strict first order.	english_format.kif 53-53
No TPTP formula. May not be expressible in strict first order.	french_format.kif 55-55
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 22-22
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1875-1875
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 7-7
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 80-80
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 62-62
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 53-53
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 74-74
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 54-54
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 56-56
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22871-22871	typicalAction e' relacionado internamente por SUMO a agent
No TPTP formula. May not be expressible in strict first order.	Law.kif 227-227	arrestingOfficer e' uma sub-relacao de agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19704-19704	contestParticipant e' uma sub-relacao de agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23487-23487	gainsControl e' uma sub-relacao de agent
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 23-23	invadingVirus e' uma sub-relacao de agent
No TPTP formula. May not be expressible in strict first order.	Law.kif 271-271	perpetrator e' uma sub-relacao de agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16299-16299	plaintiff e' uma sub-relacao de agent
No TPTP formula. May not be expressible in strict first order.	Law.kif 309-309	prosecutor e' uma sub-relacao de agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22931-22931	serviceProvider e' uma sub-relacao de agent
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 54-54

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18864-18870	Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo Entidade e' uma instancia de Objeto de Arte Artist e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 487-499	Processo e' um agente de AutonomousAgent Processo tem como origem Objeto Fisico e' um patient de Processo o valor de Fisico e' Medida de Divisa Transacao Financeira Transacao Financeira e' um sub-processo de Processo Transacao Financeira e' uma instancia de Payment transactionAmount Transacao Financeira and Medida de Divisa Transacao Financeira tem como origem AutonomousAgent Transacao Financeira termina em Objeto
No TPTP formula. May not be expressible in strict first order.	emotion.kif 374-387	AppraisalAsJustTreatment e' um atributo de Agente Cognitivo Agente CognitivoJT e' uma instancia de AppraisalProcess Agente CognitivoJT e' um agente de Agente Cognitivo Processo Agente Cognitivo2 Processo e' uma instancia de Processo Agente CognitivoJT inclui uma referencia a Processo Processo e' um agente de Agente Cognitivo2 Agente Cognitivo e' igual a Agente Cognitivo2 Agente Cognitivo e' um patient de Processo Agente Cognitivo quer Processo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	AppraisalAsUnjustTreatment e' um atributo de Agente Cognitivo Agente CognitivoUJ e' uma instancia de AppraisalProcess Agente CognitivoUJ e' um agente de Agente Cognitivo Processo Agente Cognitivo2 Processo e' uma instancia de Processo Agente CognitivoUJ inclui uma referencia a Processo Processo e' um agente de Agente Cognitivo2 Agente Cognitivo e' igual a Agente Cognitivo2 Agente Cognitivo e' um patient de Processo Agente Cognitivo nao quer %n Processo
No TPTP formula. May not be expressible in strict first order.	Biography.kif 757-776	VoiceActor e' um atributo de AutonomousAgent Processo e' uma instancia de DramaticActing Processo e' um agente de AutonomousAgent Processo e' uma instancia de LinguisticCommunication Processo e' um agente de AutonomousAgent Processo e' um sub-processo de Processo Processo AutonomousAgent Processo e' uma instancia de Visao AutonomousAgent e' um patient de Processo Processo e' um agente de AutonomousAgent Processo AutonomousAgent Processo e' uma instancia de Ouvir AutonomousAgent e' um patient de Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5824-5834	Doenca ou Sindrome e' um atributo de Objeto diseaseTreatment Doenca ou Sindrome and Processo Terapeutico Processo e' uma instancia de TherpeuticProcess Processo e' um agente de Doenca ou SindromeOC Objeto e' um patient de Processo MedicalDoctor e' um atributo de Doenca ou SindromeOC o argumento Processo e' uma instancia de Processo Terapeutico tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3984-4004	ADHD e' um atributo de AutonomousAgent ADHD e' um atributo de AutonomousAgent AutonomousAgent e' igual a AutonomousAgent Processo e' uma instancia de Classe Processo e' uma instancia de Classe Classe e' uma sub-classe de Processo Psicologico Intencional Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent a duracao de tempo de existencia de Processo e' Duracao Temporal a duracao de tempo de existencia de Processo e' Duracao Temporal o argumento Duracao Temporal e' maior que Duracao Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 134-143	Muslim e' um atributo de Objeto Objeto e' capaz de fazer Hajj no role agent o argumento Entidade Entidade e' uma instancia de Hajj Entidade e' um agente de Objeto tem a forca modal de Obligation
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 25781-25794	Multilingual e' um atributo de AutonomousAgent Processo e' uma instancia de Speaking Processo e' um agente de AutonomousAgent o argumento Entidade Entidade Entidade e' uma instancia de SpokenHumanLanguage Entidade e' uma instancia de SpokenHumanLanguage Entidade e' igual a Entidade Entidade e' um patient de Processo Entidade e' um patient de Processo tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	TravelerAccommodation e' um atributo de AutonomousAgent AutonomousAgent e' capaz de fazer RoomCleaningService no role agent Agente Cognitivo Objeto AutonomousAgent emprega Agente Cognitivo Maid e' um atributo de Agente Cognitivo Objeto e' uma instancia de HotelUnit Objeto e' uma &parte de propriedade de AutonomousAgent Objeto e' capaz de fazer RoomCleaningService no role patient Agente Cognitivo e' capaz de fazer RoomCleaningService no role serviceProvider
No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	Writer e' um atributo de AutonomousAgent Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Objeto Representendo Conteudo Abstrato e' uma sub-classe de Texto Objeto Representendo Conteudo Abstrato e' uma sub-classe de Document Processo e' uma instancia de Escrever Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo AutonomousAgent e' o autor de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 367-385	breathingRate AutonomousAgent, Intervalo Temporal and Numero Inteiro Intervalo Temporal e' uma instancia de Minuto Numero Inteiro Numero Inteiro e' uma instancia de Recreacao ou Exercicio Numero Inteiro e' um agente de AutonomousAgent Intervalo Temporal acontece durante tempo de existencia de Numero Inteiro HumanAdult e' um atributo de AutonomousAgent vale durante Intervalo Temporal Numero Inteiro e' maior que 16 Numero Inteiro e' menos que 12 Healthy e' um atributo de AutonomousAgent vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Government.kif 1814-1818	candidateForPosition Election, Role Social and Agente Cognitivo Election e' um agente de AutonomousAgent Agente Cognitivo deseja Agente Cognitivo ocupa a posicao de Role Social AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 157-176	Organizacao e' capaz de fazer ValetParking no role agent customer Agente Cognitivo and Organizacao Organizacao e' situado em Objeto Processo e' uma instancia de Arriving Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Processo termina em Objeto Humano Humano ocupa a posicao de Valet Organizacao o argumento Entidade Entidade Entidade e' uma instancia de ValetParking Entidade e' um agente de Humano Entidade e' um patient de Entidade Entidade termina em Entidade Entidade e' uma instancia de ParkingRegion tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Government.kif 1552-1559	chiefOfStateType Area Geopolitica and Posicao Election e' um agente de Area Geopolitica Election e' uma instancia de Election electionForPosition Election and Posicao Election e' uma instancia de PopularElection governmentType Area Geopolitica and Democracy
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	customer Agente Cognitivo and AutonomousAgent corkageFee Medida de Divisa, Objeto and AutonomousAgent Objeto e' uma instancia de Objeto Processo Processo e' uma instancia de Comprar Objeto e' um patient de Processo Processo termina em Agente Cognitivo Processo tem como origem AutonomousAgent Processo e' uma instancia de Beber Processo e' um agente de Agente Cognitivo Objeto e' um recurso para Processo Processo Processo e' uma instancia de Corkage Processo e' um agente de Agente Cognitivo Processo inclui uma referencia a Objeto Processo termina em AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20761-20770	directed Humano and Filme Processo e' uma instancia de FilmMaking AutonomousAgent e' uma instancia de Organizacao leader AutonomousAgent and Humano Processo e' um agente de AutonomousAgent Filme e' o resultado de Processo FilmDirector e' um atributo de Humano vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3040-3054	AutonomousAgent emprega Agente Cognitivo Processo e' uma instancia de DoNetworkMessaging Objeto e' o resultado de Processo NSFW e' um atributo de Objeto Processo e' uma instancia de Visao Objeto e' um patient de Processo Processo e' um agente de Agente Cognitivo o argumento Entidade Processo causa Entidade suffers Entidade and Agente Cognitivo tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3022-3038	AutonomousAgent emprega Agente Cognitivo AutonomousAgent emprega Agente Cognitivo Processo e' uma instancia de DoNetworkMessaging Objeto e' o resultado de Processo NSFW e' um atributo de Objeto Processo e' um agente de Agente Cognitivo Processo e' uma instancia de Visao Objeto e' um patient de Processo Processo e' um agente de Agente Cognitivo o argumento Agente CognitivoROC Processo causa Agente CognitivoROC suffers Agente CognitivoROC and Agente Cognitivo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18370-18385	Organizacao e' igual a DepartmentOfFn Organizacao and Fisico Organizacao2 e' uma parte da organizacao Organizacao Organizacao e' igual a Organizacao2 Entidade e' uma instancia de Fisico Organizacao esta' interessado em Entidade Numero Real e' igual a a probabilidade de Entidade e' um agente de Organizacao Entidade2 e' igual a a probabilidade de Entidade e' um agente de Organizacao2 Numero Real e' maior que Entidade2
No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	facility AutonomousAgent and Objeto customer Agente Cognitivo and AutonomousAgent Entidade e' uma instancia de Objeto Agente Cognitivo deseja Entidade Entidade e' uma instancia de Processo Intencional Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo o argumento AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Agente Cognitivo usa Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	freeFunctionRoomAmenity HotelFunctionRoom and Fisico Entidade e' uma instancia de HotelFunctionRoom Entidade e' um elemento de propriedade de AutonomousAgent Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo termina em Agente Cognitivo Objeto e' uma instancia de Fisico AutonomousAgent possui Objeto customer Agente Cognitivo and AutonomousAgent Objeto e' uma instancia de Processo Objeto e' um agente de Agente Cognitivo Agente Cognitivo experimenta Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de Objeto Agente Cognitivo usa Objeto price Objeto, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	freePropertyAmenity AutonomousAgent and Fisico Processo e' uma instancia de Fisico customer Agente Cognitivo and AutonomousAgent Processo e' uma instancia de Processo Processo e' um agente de Agente Cognitivo Agente Cognitivo experimenta Processo AutonomousAgent possui Processo Processo e' uma instancia de Objeto Agente Cognitivo usa Processo price Processo, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	freeRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Objeto TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Objeto e' uma instancia de Fisico Objeto e' situado em TemporaryResidence Processo e' uma instancia de Processo Processo e' um agente de Humano Objeto e' um patient de Processo Objeto e' um instrumento para Processo Objeto e' um recurso para Processo price Objeto, 0 UnitedStatesDollar(s) and Humano

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7754-7760	customer Agente Cognitivo and AutonomousAgent Processo Processo e' uma instancia de Transacao Financeira Processo e' um agente de AutonomousAgent Processo termina em Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3635-3642	customerRepresentative Agente Cognitivo, Agente Cognitivo and Organizacao Processo Processo e' uma instancia de Transacao Financeira Organizacao emprega Agente Cognitivo Processo e' um agente de Agente Cognitivo Processo termina em Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30295-30303	Mute e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Speaking tempo de existencia de Processo acontece durante Intervalo Temporal Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1601-1607	LegalAgent e' um atributo de Entidade vale durante Posicao Temporal Entidade e' capaz de fazer Acao Legal no role agent Entidade e' capaz de fazer Acao Legal no role patient vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14127-14133	agreementClause Proposicao, Permission, Agreement and Agente Cognitivo Agente Cognitivo tem o direito de executar Entidade Entidade exprime o conteudo de Proposicao Entidade e' um agente de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14118-14125	agreementClause Proposicao, Prohibition, Agreement and Agente Cognitivo Agente Cognitivo nao %n o direito de executar Entidade Entidade exprime o conteudo de Proposicao Entidade e' um agente de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Music.kif 280-287	albumArtist Album and Agente Cognitivo Objeto Representendo Conteudo Abstrato Processo Objeto Representendo Conteudo Abstrato e' uma instancia de Recording Objeto Representendo Conteudo Abstrato e' um membro de Album record Objeto Representendo Conteudo Abstrato and Processo Processo e' um agente de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14106-14116	agreementClause Proposicao, Atributo Deontico, Agreement and Agente Cognitivo Atributo Deontico e' igual a Obligation Atributo Deontico e' igual a Promise o argumento Entidade Entidade exprime o conteudo de Proposicao Entidade e' um agente de Agente Cognitivo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 374-387	AppraisalAsJustTreatment e' um atributo de Agente Cognitivo Agente CognitivoJT e' uma instancia de AppraisalProcess Agente CognitivoJT e' um agente de Agente Cognitivo Processo Agente Cognitivo2 Processo e' uma instancia de Processo Agente CognitivoJT inclui uma referencia a Processo Processo e' um agente de Agente Cognitivo2 Agente Cognitivo e' igual a Agente Cognitivo2 Agente Cognitivo e' um patient de Processo Agente Cognitivo quer Processo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	AppraisalAsUnjustTreatment e' um atributo de Agente Cognitivo Agente CognitivoUJ e' uma instancia de AppraisalProcess Agente CognitivoUJ e' um agente de Agente Cognitivo Processo Agente Cognitivo2 Processo e' uma instancia de Processo Agente CognitivoUJ inclui uma referencia a Processo Processo e' um agente de Agente Cognitivo2 Agente Cognitivo e' igual a Agente Cognitivo2 Agente Cognitivo e' um patient de Processo Agente Cognitivo nao quer %n Processo
No TPTP formula. May not be expressible in strict first order.	Biography.kif 223-230	Founder e' um atributo de AutonomousAgent AutonomousAgent e' uma instancia de Humano Processo Processo e' uma instancia de Founding Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4373-4382	TwoFactorAuthentication e' um atributo de UserAccount loggedInDuring AutonomousAgent, UserAccount and Intervalo Temporal Intervalo TemporalF Intervalo TemporalF e' uma instancia de TwoFactorLoggingIn Intervalo TemporalF e' um agente de AutonomousAgent accountUsed Intervalo TemporalF and UserAccount tempo de existencia de Intervalo TemporalF acontence antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Biography.kif 757-776	VoiceActor e' um atributo de AutonomousAgent Processo e' uma instancia de DramaticActing Processo e' um agente de AutonomousAgent Processo e' uma instancia de LinguisticCommunication Processo e' um agente de AutonomousAgent Processo e' um sub-processo de Processo Processo AutonomousAgent Processo e' uma instancia de Visao AutonomousAgent e' um patient de Processo Processo e' um agente de AutonomousAgent Processo AutonomousAgent Processo e' uma instancia de Ouvir AutonomousAgent e' um patient de Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	Muslim e' um atributo de AutonomousAgent valor da propriedade de AutonomousAgent e' igual a Medida de Divisa o argumento Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Zakat Entidade e' uma instancia de Ano Entidade acontece durante tempo de existencia de AutonomousAgent FullyFormed e' um atributo de AutonomousAgent vale durante Entidade Entidade e' um agente de AutonomousAgent Entidade e' um patient de Entidade o valor de Entidade e' Entidade Entidade(s) Entidade e' uma instancia de UnitOfCurrency Entidade e' maior que Medida de Divisa + 0.025 tem a forca modal de Obligation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17403-17416	Atributo e' um atributo de Objeto Atributo e' uma instancia de Atributo Subjectivo Posicao Temporal Processo and AutonomousAgent Processo e' uma instancia de Judging Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Atributo e' um atributo de Objeto e' o resultado de Processo AutonomousAgent acredita que Objeto tem um atributo de Atributo vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Military.kif 286-297	Atributo e' um atributo de AutonomousAgent Atributo e' uma instancia de CommissionedOfficerRank Processo Objeto Processo e' uma instancia de Administrar Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de MilitaryOrganization Soldier e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 134-143	Muslim e' um atributo de Objeto Objeto e' capaz de fazer Hajj no role agent o argumento Entidade Entidade e' uma instancia de Hajj Entidade e' um agente de Objeto tem a forca modal de Obligation
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 20628-20650	Waiter e' um atributo de Agente Cognitivo Agente Cognitivo e' uma instancia de Humano AutonomousAgent emprega Agente Cognitivo AutonomousAgent e' uma instancia de Restaurant customer Agente Cognitivo and AutonomousAgent Agente Cognitivo e' situado em Objeto Objeto e' uma instancia de Table Objeto Entidade, Entidade and Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de KitchenArea Objeto e' uma instancia de DiningArea Objeto e' situado em Objeto Agente Cognitivo tem por fim Entidade e' uma instancia de Carrying Entidade e' um agente de Agente Cognitivo Entidade tem como origem Objeto Entidade termina em Objeto Entidade e' um patient de Entidade Entidade e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29987-29996	buys Agente Cognitivo, AutonomousAgent and Entidade Entidade e' uma instancia de Fisico Processo Processo e' uma instancia de Comprar Entidade e' um patient de Processo Processo e' um agente de Agente Cognitivo Processo tem como origem AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29998-30008	buys Agente Cognitivo, AutonomousAgent and Proposicao Proposicao e' uma instancia de Proposicao Processo Processo Processo e' um agente de Agente Cognitivo Processo exprime o conteudo de Proposicao Processo e' uma instancia de Comprar Processo e' um patient de Processo Processo tem como origem AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 157-176	Organizacao e' capaz de fazer ValetParking no role agent customer Agente Cognitivo and Organizacao Organizacao e' situado em Objeto Processo e' uma instancia de Arriving Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Processo termina em Objeto Humano Humano ocupa a posicao de Valet Organizacao o argumento Entidade Entidade Entidade e' uma instancia de ValetParking Entidade e' um agente de Humano Entidade e' um patient de Entidade Entidade termina em Entidade Entidade e' uma instancia de ParkingRegion tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 684-695	checkOutTime Agente Cognitivo and Ponto no tempo guest Agente Cognitivo and Agente Cognitivo expects Agente Cognitivo and Entidade Entidade Entidade e' uma instancia de Ponto no tempo Agente Cognitivo e' um patient de Entidade Entidade e' uma instancia de CheckOutService Entidade e' um agente de Agente Cognitivo o comeco de tempo de existencia de Entidade comeca antes de Entidade
No TPTP formula. May not be expressible in strict first order.	Government.kif 1096-1116	Humano e' um cidadao de Nacao UniversalSuffrageLaw e' uma &sub-proposicao de RegionalLawFn Nacao RegionalLawFn Nacao autoriza Humano a executar tarefas de tipo Entidade Entidade and Entidade Humano e' um cidadao de Nacao suffrageAgeMinimum Nacao and Entidade YearDuration(s) a idade de Humano e' Entidade YearDuration(s) Entidade e' maior ou igual a Entidade Entidade e' uma instancia de ElectionFn Nacao Entidade Entidade e' uma instancia de VotingFn Entidade Entidade e' um agente de Humano
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	customer Agente Cognitivo and AutonomousAgent corkageFee Medida de Divisa, Objeto and AutonomousAgent Objeto e' uma instancia de Objeto Processo Processo e' uma instancia de Comprar Objeto e' um patient de Processo Processo termina em Agente Cognitivo Processo tem como origem AutonomousAgent Processo e' uma instancia de Beber Processo e' um agente de Agente Cognitivo Objeto e' um recurso para Processo Processo Processo e' uma instancia de Corkage Processo e' um agente de Agente Cognitivo Processo inclui uma referencia a Objeto Processo termina em AutonomousAgent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	People.kif 456-469	Ano e' uma instancia de o ano Numero Inteiro ChildrenBornPerWomanFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1205-1212	?AGENT ?VOTER, ?ELECTION and ?VOTING ?ELECTION e' uma instancia de ElectionFn ?AGENT ?VOTING e' uma instancia de VotingFn ?ELECTION ?VOTING e' um agente de ?VOTER Male e' um atributo de ?VOTER contem informacao ExclusiveMaleSuffrage
No TPTP formula. May not be expressible in strict first order.	Government.kif 887-895	?COUNTRY ?ELECTION, ?VOTING and ?VOTER ?COUNTRY e' uma instancia de Nacao ?ELECTION e' uma instancia de ElectionFn ?COUNTRY ?VOTING e' uma instancia de VotingFn ?ELECTION ?VOTING e' um agente de ?VOTER ?VOTER e' um cidadao de ?COUNTRY contem informacao VoterCitizenshipRequirement
No TPTP formula. May not be expressible in strict first order.	Government.kif 1056-1067	?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE ?AGENT e' um cidadao de ?POLITY suffrageAgeMinimum ?POLITY and ?VOTINGAGE YearDuration(s) a idade de ?AGENT e' ?AGE YearDuration(s) ?AGE e' maior ou igual a ?VOTINGAGE ?ELECTION e' uma instancia de ElectionFn ?POLITY ?AGENT e' capaz de fazer VotingFn ?ELECTION no role agent contem informacao UniversalSuffrageLaw
No TPTP formula. May not be expressible in strict first order.	Government.kif 1124-1138	?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE ?VOTER e' um cidadao de ?POLITY suffrageAgeMinimum ?POLITY and ?VOTINGAGE YearDuration(s) a idade de ?VOTER e' ?AGE YearDuration(s) ?AGE e' maior ou igual a ?VOTINGAGE ?ELECTION e' uma instancia de ElectionFn ?POLITY ?VOTING ?VOTING e' uma instancia de VotingFn ?ELECTION ?VOTING e' um agente de ?VOTER contem informacao CompulsorySuffrageLaw
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4559-4564	Processo Entidade Processo e' uma instancia de Disseminar Processo e' um agente de Netflix Entidade e' um patient de Processo Entidade e' uma instancia de Filme
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4566-4569	Processo Processo e' uma instancia de FilmMaking Processo e' um agente de Netflix

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: