patient - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1882-1886
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2499-2506
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 507-511
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2495-2495	O argumento numero 1 de patient e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2496-2496	O argumento numero 2 de patient e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2493-2493	patient e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2494-2494	patient e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2497-2497	patient 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 167-167
No TPTP formula. May not be expressible in strict first order.	english_format.kif 168-168
No TPTP formula. May not be expressible in strict first order.	french_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 219-219
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1932-1932
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 55-55
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 85-85
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 206-206
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 257-257
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 122-122
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 104-104
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 411-411
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4163-4163	accountUsed e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23426-23426	controlled e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1874-1874	dataProcessed e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16264-16264	defendant e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	Law.kif 281-281	defenseLawyer e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6785-6785	detainee e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	Law.kif 168-168	evidence e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15723-15723	experimentalControl e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2468-2468	instrument e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12399-12399	objectAttached e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12447-12447	objectDetached e' uma sub-relacao de patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11353-11353	objectTransferred e' uma sub-relacao de patient

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 26317-26328	Processo e' uma instancia de Photocopying ContentBearingPhysical e' um patient de Processo ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao ContentBearingPhysical Proposicao ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao Proposicao e' igual a Proposicao
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20759-20766	actedIn Humano and ContentBearingPhysical Processo e' uma instancia de DramaticActing Humano e' um patient de Processo ContentBearingPhysical e' o resultado de Processo Actor e' um atributo de Humano 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.	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.	TransportDetail.kif 153-172	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.	UXExperimentalTerms.kif 549-556	confidenceInterval Experimenting and Numero Real Experimenting e' uma instancia de Experimenting Frase e' uma instancia de Formula Frase e' um patient de Experimenting Numero Real e' igual a 100 truth Frase and False
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 540-547	confidenceInterval Experimenting and Numero Real Experimenting e' uma instancia de Experimenting Frase e' uma instancia de Formula Frase e' um patient de Experimenting Numero Real e' igual a 100 truth Frase and True
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 531-537	confidenceInterval Experimenting and Numero Real Experimenting e' uma instancia de Experimenting Formula e' uma instancia de Formula Formula e' um patient de Experimenting Numero Real define a probabilidade de Formula
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.	Cars.kif 809-825	dampingRatio PhysicalSystem and Numero Real Numero Real e' maior que 0 Intervalo Temporal e' uma instancia de Tremor PhysicalSystem e' um patient de Intervalo Temporal Entidade e' uma instancia de UnitOfLength physicalAmplitude Intervalo Temporal and Numero Real Entidade(s) vale durante Intervalo Temporal1 physicalAmplitude Intervalo Temporal and Numero Real Entidade(s) vale durante Intervalo Temporal2 Intervalo Temporal1 acontece durante Intervalo Temporal Intervalo Temporal2 acontece durante Intervalo Temporal Intervalo Temporal1 acontence antes de Intervalo Temporal2 Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	Processo termina em Objeto Processo e' uma instancia de Messaging Entidade e' um patient de Processo Objeto e' uma instancia de Telex Processo Entidade Objeto e' um instrumento para Processo Entidade e' o resultado de Processo Entidade define Entidade Entidade e' uma instancia de Texto o comeco de tempo de existencia de Processo comeca antes de o comeco de 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.	Merge.kif 15537-15554	Edicao Inteiro positivo de Objeto Representendo Conteudo Abstrato e' igual a Objeto Representendo Conteudo Abstrato edicao Inteiro positivo de Objeto Representendo Conteudo Abstrato e' igual a Objeto Representendo Conteudo Abstrato Inteiro positivo e' maior que Inteiro positivo Processo e' uma instancia de Publicacao Processo e' uma instancia de Publicacao Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Entidade e' uma instancia de Objeto Representendo Conteudo Abstrato Entidade e' um patient de Processo Entidade e' um patient de Processo a data de Processo e' Dia a data de Processo e' Dia o fim de Dia comeca antes de o fim de Dia
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 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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	freeRoomAmenity HotelUnit and Fisico Fisico e' uma sub-classe de Processo TemporaryResidence e' uma instancia de HotelUnit stays Humano and TemporaryResidence TemporaryResidence e' um elemento de propriedade de AutonomousAgent Humano e' um patient de Processo Processo e' uma instancia de Fisico Processo e' uma instancia de Fisico Processo e' um sub-processo de Processo Processo e' situado em TemporaryResidence price Processo, 0.0 UnitedStatesDollar(s) and Humano
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	functionRoomAmenity 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 e' um agente de AutonomousAgent Processo termina em Entidade Fisico e' uma sub-classe de Objeto o argumento Entidade Entidade Entidade e' uma instancia de Fisico Entidade e' uma instancia de Processo Entidade e' um recurso para Entidade Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' um agente de Entidade Entidade experimenta Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Law.kif 480-489	AutonomousAgent deseja Dead e' um atributo de Entidade vale durante Intervalo Temporal AutonomousAgentURDER e' uma instancia de Murder AutonomousAgentURDER e' um agente de AutonomousAgent Entidade e' um patient de AutonomousAgentURDER Intervalo Temporal acontence antes de tempo de existencia de AutonomousAgentURDER Premeditated e' um atributo de AutonomousAgentURDER
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21494-21505	Processo e' uma instancia de Aborting Entidade e' um patient de Processo Entidade e' uma instancia de Woman Pregnant e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Pregnant e' um atributo de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1010-1014	Processo e' uma instancia de Accrediting Entidade e' um patient de Processo Entidade e' uma instancia de Organizacao Educacional
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6257-6275	Processo e' uma instancia de Amputating Entidade e' um patient de Processo Objeto e' uma instancia de Limb Objeto Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Osso Objeto e' uma &parte de Entidade vale durante imediatemente antes de tempo de existencia de Processo Objeto e' uma &parte de Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4242-4248	Objeto e' uma instancia de Anchor ObjetoTTACH e' uma instancia de Colar Objeto e' um instrumento para ObjetoTTACH Entidade e' um patient de ObjetoTTACH Entidade e' uma instancia de WaterVehicle
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 966-975	Processo e' uma instancia de Anesthetizing Entidade e' um patient de Processo Inconsciente e' um atributo de Entidade Pain e' um atributo de Entidade vale durante tempo de existencia de Processo

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.	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 20751-20757	actedIn Humano and ContentBearingPhysical Processo Processo e' uma instancia de DramaticActing Humano e' um patient de Processo ContentBearingPhysical e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 193-199	advertisedOn Objeto and WebSite WebListing WebListing e' uma instancia de Promover hostedOn WebListing and WebSite Objeto e' um patient de WebListing
No TPTP formula. May not be expressible in strict first order.	Government.kif 706-713	agreementAdoptionDate Proposicao and Posicao Temporal Processo Posicao Temporal Processo e' uma instancia de Comprometer-se Posicao Temporal e' uma instancia de Posicao Temporal Proposicao e' um patient de Processo Processo existe durante Posicao Temporal
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.	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.	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.	Mid-level-ontology.kif 12536-12546	Atributo e' um atributo de Objeto Atributo e' uma instancia de Fingerprint Objeto e' uma instancia de Finger AtributoR Objeto Objeto e' um instrumento para AtributoR Objeto e' uma instancia de Finger Atributo e' um atributo de Objeto Objeto e' um patient de AtributoR
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17354-17367	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.	FinancialOntology.kif 2881-2897	FOKOrder e' um atributo de Agreement agreementPeriod Agreement and Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de FillingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de CancellingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2917-2933	GTCOrder e' um atributo de Agreement agreementPeriod Agreement and Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de FillingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de CancellingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2854-2870	IOCOrder e' um atributo de Agreement agreementPeriod Agreement and Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de FillingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal Processo Intervalo Temporal Processo e' uma instancia de CancellingAnOrder Agreement e' um patient de Processo tempo de existencia de Processo e' igual a Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	LimitOrder e' um atributo de Transacao Financeira partyToAgreement Transacao Financeira and Agreement Broker e' um atributo de Agreement orderFor Transacao Financeira, Comprar and Security a medida de Security e' Quantidade Fisica limitPrice Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency askPrice Security, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' menor ou igual a Numero Real Agreement e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	LimitOrder e' um atributo de Transacao Financeira partyToAgreement Transacao Financeira and Agreement Broker e' um atributo de Agreement orderFor Transacao Financeira, Vender and Security a medida de Security e' Quantidade Fisica limitPrice Transacao Financeira and Numero Real Unidade de Medida(s) bidPrice Security, Numero Real Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency Numero Real e' maior ou igual a Numero Real Agreement e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1981-1990	MarketOrder e' um atributo de Transacao Financeira Broker e' um atributo de Agreement partyToAgreement Transacao Financeira and Agreement orderFor Transacao Financeira, Transacao Financeira and Security Agreement e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1466-1474	DutyFree e' um atributo de Objeto Objeto e' uma instancia de Produto Processo Processo e' uma instancia de DutyTax Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1478-1491	DutyFree e' um atributo de Objeto Objeto e' uma instancia de Store Area Geopolitica Entidade, Objeto and Processo Area Geopolitica e' uma instancia de Area Geopolitica Objeto e' situado em Area Geopolitica Objeto e' uma sub-classe de Objeto importCommodityType Area Geopolitica and Objeto Entidade e' uma instancia de Objeto Processo e' uma instancia de Vender Entidade e' um patient de Processo Processo e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25736-25749	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.	Mid-level-ontology.kif 20600-20622	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.	Merge.kif 13863-13876	boilingPoint Substancia Pura and Numero Real Unidade de Medida(s) Entidade e' uma instancia de Substancia Pura a medida de Entidade e' Numero Real Unidade de Medida(s) vale durante Intervalo Temporal Unidade de Medida e' uma instancia de UnitOfTemperature Numero Real e' maior ou igual a Numero Real Gas e' um atributo de Entidade vale durante Intervalo Temporal Processo Intervalo Temporal engloba tempo de existencia de Processo Processo e' uma instancia de Ferver Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29951-29960	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

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.	WMD.kif 921-929	biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE e' uma instancia de ?SUBSTANCE ?THERAPY e' uma instancia de ?PROCESS ?ORGANISM experimenta ?THERAPY ?SAMPLE e' um patient de ?THERAPY diminui a probabilidade de ?SYMPTOM e' um atributo de ?ORGANISM
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18201-18218	?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia de ?READ
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

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: