experiencer - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1872-1874
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2462-2466
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 496-498
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2458-2458	O argumento numero 1 de experiencer e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2459-2459	O argumento numero 2 de experiencer e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2456-2456	experiencer e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2457-2457	experiencer e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2460-2460	experiencer 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 103-103
No TPTP formula. May not be expressible in strict first order.	english_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.	french_format.kif 74-74
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 102-102
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1900-1900
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 26-26
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 82-82
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 118-118
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 142-142
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 93-93
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 73-73
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 215-215
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13105-13105	attends e' uma sub-relacao de experiencer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23445-23445	losesControl e' uma sub-relacao de experiencer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22889-22889	serviceRecipient e' uma sub-relacao de experiencer
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22804-22804
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 104-104
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22803-22803
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22802-22802
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 34-34
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 216-216

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6356-6363	AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de PainFn Parte do Corpo Parte do CorpoART Parte do CorpoART e' uma &parte de Processo Parte do CorpoART e' situado em Parte do Corpo
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.	Medicine.kif 6470-6482	AVPUPainStatus e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo e' uma instancia de Pain tempo de existencia de Processo acontece durante Intervalo Temporal AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Movimento do Corpo AutonomousAgent experimenta Processo tempo de existencia de Processo acontece durante Intervalo Temporal Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18225-18231	Embryonic e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo e' uma instancia de Nascimento Intervalo Temporal e' igual a tempo de existencia de Processo AutonomousAgent experimenta Processo Intervalo Temporal nao engloba %n Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18203-18209	Larval e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo e' uma instancia de Nascimento Intervalo Temporal e' igual a tempo de existencia de Processo AutonomousAgent experimenta Processo Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17192-17202	Processo e' uma instancia de Accelerating Intervalo Temporal e' igual a tempo de existencia de Processo AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Decelerating AutonomousAgent experimenta Processo Intervalo Temporal e' igual a tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1545-1555	Processo e' uma instancia de Anaphylaxis AutonomousAgent experimenta Processo o argumento Entidade Entidade e' uma instancia de Morte AutonomousAgent experimenta Entidade Processo causa Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6304-6313	Processo e' uma instancia de Asphyxiation AutonomousAgent experimenta Processo Entidade Entidade e' uma instancia de Respirar Processo experimenta Entidade vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2230-2239	Processo e' uma instancia de RheumatoidArthritis AutonomousAgent experimenta Processo o argumento Entidade Entidade e' uma instancia de JointPain Processo causa Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2200-2216	Processo e' uma instancia de AutoImmuneDisorder Agente Cognitivo experimenta Processo Objeto Processo and Objeto Objeto e' uma instancia de Antibody Objeto e' uma &parte de Agente Cognitivo Objeto e' uma instancia de Celula Objeto e' uma &parte de Agente Cognitivo Processo e' uma instancia de Destrucao Objeto e' um instrumento para Processo Agente Cognitivo nao deseja %n Processo e' uma instancia de Destrucao Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16342-16352	Processo e' uma instancia de BecomingDrunk AutonomousAgent experimenta Processo Sober e' um atributo de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Drunk e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 80-94	Processo e' uma instancia de Bleeding AutonomousAgent experimenta Processo Objeto Processo Objeto e' uma instancia de Vein Objeto e' uma instancia de Artery Objeto e' uma &parte de AutonomousAgent Processo e' uma instancia de Causar Dano tempo de existencia de Processo acontence antes de tempo de existencia de Processo Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	Processo e' uma instancia de Bleeding Entidade e' uma instancia de Morte Formula e' uma instancia de Humano AutonomousAgent e' uma instancia de Humano AutonomousAgent experimenta Processo Formula e' Near em relacao a AutonomousAgent o argumento Processo causa Entidade tem a forca modal de Likely Entidade Entidade e' uma instancia de Colar Entidade e' um agente de Formula Entidade termina em AutonomousAgent e' obrigado a executar tarefas de tipo Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21473-21488	Processo e' uma instancia de Blushing AutonomousAgent experimenta Processo Intervalo Temporal Intervalo Temporal, Entidade and Entidade Entidade e' uma instancia de Estado Emocional Entidade e' uma instancia de Estado Emocional Entidade e' igual a Entidade Entidade e' um atributo de AutonomousAgent vale durante Intervalo Temporal Entidade e' um atributo de AutonomousAgent vale durante Intervalo Temporal tempo de existencia de Processo comeca em Intervalo Temporal tempo de existencia de Processo termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16362-16372	Processo e' uma instancia de SoberingUp AutonomousAgent experimenta Processo Drunk e' um atributo de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Sober e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3179-3194	Transferencia e' uma instancia de BreakthroughInfection objectTransferred Transferencia and Objeto Objeto e' uma instancia de ObjetoC AutonomousAgent experimenta Transferencia ObjetoAX ObjetoAX e' uma instancia de Vaccination AutonomousAgent experimenta ObjetoAX vaccine ObjetoACCINECLASS and ObjetoC ObjetoACCINE e' uma instancia de ObjetoACCINECLASS objectTransferred ObjetoAX and ObjetoACCINE tempo de existencia de ObjetoAX acontence antes de tempo de existencia de Transferencia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10219-10226	Processo e' uma instancia de Nascimento AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Morte AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21394-21402	Processo e' uma instancia de Bleeding AutonomousAgent experimenta Processo Entidade Entidade e' uma instancia de Sangue Entidade e' uma &parte de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Entidade e' uma &parte de AutonomousAgent 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 21388-21392	Processo e' uma instancia de Bleeding AutonomousAgent experimenta Processo AutonomousAgent e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1886-1892	Processo e' uma instancia de Chills AutonomousAgent experimenta Processo FeelingCold e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11770-11778	Processo e' uma instancia de Choking AutonomousAgent experimenta Processo ProcessoO ProcessoO e' uma instancia de Coughing ProcessoO e' um sub-processo de Processo AutonomousAgent experimenta ProcessoO
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11753-11768	Processo e' uma instancia de Choking AutonomousAgent experimenta Processo Entidade Objeto and Objeto Entidade e' uma instancia de Objeto Objeto e' uma instancia de Trachea Objeto e' uma instancia de Lung Objeto e' uma &parte de AutonomousAgent Objeto e' uma &parte de AutonomousAgent Entidade e' situado em Objeto Entidade e' situado em Objeto vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6042-6053	Processo e' uma instancia de Coughing AutonomousAgent experimenta Processo Processo Processo Processo e' uma instancia de Inhaling Processo e' uma instancia de Exhaling Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo AutonomousAgent experimenta Processo AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6055-6074	Processo e' uma instancia de Coughing AutonomousAgent experimenta Processo Processo tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Lung Entidade e' uma instancia de Throat Entidade e' uma instancia de Objeto Entidade e' uma instancia de Remover Entidade e' uma &parte de AutonomousAgent Entidade e' uma &parte de AutonomousAgent objectTransferred Entidade and Entidade Entidade e' situado em Entidade Entidade e' situado em Entidade vale durante imediatemente antes de 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.	People.kif 357-390	Ano e' uma instancia de o ano AnoEAR MaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 82-97	Ano e' uma instancia de o ano Numero Inteiro BirthsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real PopulationFn Area Geopolitica + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	Ano e' uma instancia de o ano Numero Inteiro DeathsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real PopulationFn Area Geopolitica + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	Ano e' uma instancia de o ano Numero Inteiro DeathsPerThousandLiveBirthsFn Area Geopolitica and Ano e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	Ano e' uma instancia de o ano Numero Inteiro FemaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	Ano e' uma instancia de o ano Numero Inteiro LifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6230-6243	allergic Humano and Substancia SubstanciaUB e' uma instancia de Substancia SubstanciaUB encontra Humano vale durante Posicao Temporal o argumento Entidade Entidade e' uma instancia de AllergicReaction Humano experimenta Entidade tempo de existencia de Entidade engloba Posicao Temporal o comeco de Posicao Temporal comeca antes de o comeco de tempo de existencia de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	customer Agente Cognitivo and AutonomousAgent propertyAmenity AutonomousAgent and Fisico Fisico e' uma sub-classe de Objeto Entidade e' uma instancia de Fisico AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Entidade 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 Agente Cognitivo Agente Cognitivo experimenta Entidade
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.	emotion.kif 161-172	Estado Emocional e' um atributo de Entidade vale durante Posicao Temporal actionTendency Estado Emocional and EmotionalBehavioralProcess o argumento Entidade Entidade e' uma instancia de EmotionalBehavioralProcess tempo de existencia de Entidade acontece durante Posicao Temporal Entidade experimenta Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6470-6482	AVPUPainStatus e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo e' uma instancia de Pain tempo de existencia de Processo acontece durante Intervalo Temporal AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Movimento do Corpo AutonomousAgent experimenta Processo tempo de existencia de Processo acontece durante Intervalo Temporal Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23888-23902	Menopausal e' um atributo de AutonomousAgent vale durante Intervalo Temporal Numero Real e' igual a (1 YearDuration(s) + o comeco de Intervalo Temporal) Intervalo Temporal e' igual a o intervalo entre Intervalo Temporal e o comeco de Intervalo Temporal Processo Processo e' uma instancia de Menstruation AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 120-131	Evacuee e' um atributo de AutonomousAgent vale durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Processo AutonomousAgent Processo e' uma instancia de Evacuation Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de MilitaryOrganization AutonomousAgent experimenta Processo tempo de existencia de Processo acontence antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17192-17202	Processo e' uma instancia de Accelerating Intervalo Temporal e' igual a tempo de existencia de Processo AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Decelerating AutonomousAgent experimenta Processo Intervalo Temporal e' igual a tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1545-1555	Processo e' uma instancia de Anaphylaxis AutonomousAgent experimenta Processo o argumento Entidade Entidade e' uma instancia de Morte AutonomousAgent experimenta Entidade Processo causa Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1619-1630	Objeto e' uma instancia de Armor Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Preservar Objeto e' um instrumento para Entidade Objeto experimenta Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	Objeto e' uma instancia de Armor Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto tem por fim Entidade Entidade e' uma instancia de Causar Dano Objeto e' um instrumento para Entidade Objeto experimenta Entidade
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6304-6313	Processo e' uma instancia de Asphyxiation AutonomousAgent experimenta Processo Entidade Entidade e' uma instancia de Respirar Processo experimenta Entidade vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1945-1958	Processo e' uma instancia de AngryVoiceUtterance Processo e' um agente de AutonomousAgent o argumento causesProposition AutonomousAgentNG AutonomousAgentNG e' uma instancia de Anger AutonomousAgent experimenta AutonomousAgentNG and Processo e' uma instancia de AngryVoiceUtterance Processo e' um agente de AutonomousAgent tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16199-16211	Entidade e' uma instancia de LegalAward Entidade inclui uma referencia a Processo Processo e' uma instancia de Acao Legal Processo e' um agente de Agente Cognitivo Entidade autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade and Entidade Entidade e' uma instancia de Obter Agente Cognitivo experimenta Entidade Entidade e' um patient de Entidade o valor de Entidade e' Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18678-18694	Transferencia e' uma instancia de Bequeathing Transferencia e' um agente de AutonomousAgent Transferencia termina em Entidade objectTransferred Transferencia and AutonomousAgentROP Processo Processo e' uma instancia de Morte AutonomousAgent experimenta Processo tempo de existencia de Processo acontence antes de tempo de existencia de Transferencia AutonomousAgent possui AutonomousAgentROP vale durante imediatemente antes de tempo de existencia de Processo confersNorm AutonomousAgent, Entidade possui AutonomousAgentROP and Permission
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3179-3194	Transferencia e' uma instancia de BreakthroughInfection objectTransferred Transferencia and Objeto Objeto e' uma instancia de ObjetoC AutonomousAgent experimenta Transferencia ObjetoAX ObjetoAX e' uma instancia de Vaccination AutonomousAgent experimenta ObjetoAX vaccine ObjetoACCINECLASS and ObjetoC ObjetoACCINE e' uma instancia de ObjetoACCINECLASS objectTransferred ObjetoAX and ObjetoACCINE tempo de existencia de ObjetoAX acontence antes de tempo de existencia de Transferencia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10219-10226	Processo e' uma instancia de Nascimento AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Morte AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11770-11778	Processo e' uma instancia de Choking AutonomousAgent experimenta Processo ProcessoO ProcessoO e' uma instancia de Coughing ProcessoO e' um sub-processo de Processo AutonomousAgent experimenta ProcessoO
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6042-6053	Processo e' uma instancia de Coughing AutonomousAgent experimenta Processo Processo Processo Processo e' uma instancia de Inhaling Processo e' uma instancia de Exhaling Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo AutonomousAgent experimenta Processo AutonomousAgent experimenta Processo

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.	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.	WMD.kif 767-773	biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentDelivery ?AGENT and ?PROCESSTYPE ?PROCESS e' uma instancia de ?PROCESSTYPE ?ORGANISM experimenta ?PROCESS aumenta a probabilidade de ?SYMPTOM e' um atributo de ?ORGANISM

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: