during - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2720-2721
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8334-8335
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1444-1445
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8331-8331	O argumento numero 1 de during e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8332-8332	O argumento numero 2 de during e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8328-8328	during e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8329-8329	during e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8327-8327	during e' uma instancia de Relacao Transitiva

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 433-433
No TPTP formula. May not be expressible in strict first order.	english_format.kif 439-439
No TPTP formula. May not be expressible in strict first order.	french_format.kif 251-251
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 86-86
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2045-2045
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 203-203
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 257-257
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 565-565
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 126-126
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 272-272
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 275-275
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 120-120
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 434-434
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20694-20694
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20693-20693
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20692-20692
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 188-188

antecedent

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.	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.	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.	Medicine.kif 6447-6459	AVPUVerbalStatus e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo e' uma instancia de Speaking Processo termina em AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal Processo Processo e' uma instancia de Processo Intencional Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1500-1512	ChronicFatigueSyndrome e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo e' uma instancia de Recreacao ou Exercicio Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal o argumento PostExertionalMalaise e' um atributo de AutonomousAgent vale durante Intervalo Temporal2 tempo de existencia de Processo acontence antes de Intervalo Temporal2 tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30650-30671	Dieting e' um atributo de AutonomousAgent vale durante Intervalo Temporal Dieting e' um atributo de AutonomousAgent vale durante Intervalo Temporal Objeto e' uma instancia de Meal Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent Objeto e' um recurso para Processo tempo de existencia de Processo acontece durante Intervalo Temporal a medida de Objeto e' Numero Real Calorie(s) Objeto e' uma instancia de Meal Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent Objeto e' um recurso para Processo tempo de existencia de Processo acontece durante Intervalo Temporal a medida de Objeto e' Numero Real Calorie(s) o argumento Numero Real e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Media.kif 437-444	Intervalo Temporal e' uma instancia de EasterSunday Intervalo Temporal e' uma instancia de Lent Intervalo Temporal encontra Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal e' uma instancia de Ano Intervalo Temporal acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 446-453	Intervalo Temporal e' uma instancia de EasterSunday Intervalo Temporal e' uma instancia de Lent Intervalo Temporal encontra Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal e' uma instancia de Ano Intervalo Temporal acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8944-8951	Intervalo Temporal e' uma instancia de Evening Intervalo Temporal e' uma instancia de Afternoon Intervalo Temporal e' uma instancia de Dia Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	AutonomousAgent e' uma instancia de Man Mausaharati e' um atributo de AutonomousAgent Processo e' uma instancia de Drumming Processo e' um agente de AutonomousAgent ProcessoAY e' uma instancia de Dia Intervalo Temporal e' uma instancia de Sunrise Intervalo Temporal acontece durante ProcessoAY tempo de existencia de Processo acontence antes de Intervalo Temporal Processo tem por fim Entidade Intervalo TemporalUHUR and Entidade Entidade e' uma instancia de WakingUp Entidade experimenta Entidade Intervalo TemporalUHUR e' uma instancia de Suhur Intervalo TemporalUHUR e' um agente de Entidade tempo de existencia de Entidade acontence antes de tempo de existencia de Intervalo TemporalUHUR tempo de existencia de Entidade acontece durante ProcessoAY tempo de existencia de Intervalo TemporalUHUR acontece durante ProcessoAY
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 466-482	Processo e' uma instancia de MeasuringBreathing Processo e' um agente de AutonomousAgent Objeto e' uma instancia de Lung Objeto e' uma &parte de Objeto Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal acontece durante tempo de existencia de Processo a duracao de Intervalo Temporal e' MinuteDuration Objeto e' um patient de Processo Entidade AutonomousAgent sabe breathingRate Objeto, Intervalo Temporal and Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	Intervalo Temporal e' uma instancia de Intervalo Temporal_CLASS Intervalo Temporal_CLASS e' uma sub-classe de Processo AccessingWebPage e' uma instancia de AccessingWebPage AutonomousAgent e' uma instancia de AutonomousAgent Intervalo Temporal e' um agente de AutonomousAgent AccessingWebPage e' um agente de AutonomousAgent Intervalo Temporal acontece durante AccessingWebPage Fisico e' uma instancia de Intervalo Temporal Intervalo Temporal2 Intervalo Temporal2 e' uma instancia de Intervalo Temporal_CLASS Intervalo Temporal2 e' um agente de AutonomousAgent Intervalo Temporal2 acontece durante AccessingWebPage o comeco de tempo de existencia de Intervalo Temporal2 comeca antes de o comeco de tempo de existencia de Intervalo Temporal o comeco de tempo de existencia de AccessingWebPage e' igual a o comeco de tempo de existencia de Fisico o comeco de tempo de existencia de Intervalo Temporal e' igual a o fim de tempo de existencia de Fisico TTFxFn Intervalo Temporal_CLASS and AccessingWebPage e' igual a Fisico
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5997-6017	Intervalo Temporal e' uma instancia de TimePeriod a duracao de Intervalo Temporal e' Numero Real MinuteDuration(s) Numero Real e' maior que 5.0 Entidade e' uma instancia de Humano Processo Processo e' uma instancia de Respirar tempo de existencia de Processo acontece durante Intervalo Temporal Entidade e' um patient de Processo o argumento Entidade Entidade e' uma instancia de Morte Entidade experimenta Entidade Intervalo Temporal encontra tempo de existencia de Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Media.kif 387-394	Intervalo Temporal e' uma instancia de Advent Intervalo Temporal e' uma instancia de ChristmasDay Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal e' uma instancia de Ano Intervalo Temporal encontra Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 396-403	Intervalo Temporal e' uma instancia de Advent Intervalo Temporal e' uma instancia de ChristmasDay Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal e' uma instancia de Ano Intervalo Temporal encontra Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	Colecao e' uma instancia de Colecao Colecao e' uma instancia de Colecao Colecao e' uma sub-colecao de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de AccessingWebPage Processo AutonomousAgent, Processo, Processo and Objeto AutonomousAgent e' uma instancia de Humano Processo e' uma instancia de Comprar Processo e' uma instancia de AccessingWebPage Objeto e' uma instancia de WebPage Processo e' membro de Colecao Processo termina em Objeto Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante tempo de existencia de Processo Objeto e' um instrumento para Processo Processo e' membro de Colecao Intervalo Temporal Entidade_IN_INTERVAL and Entidade_IN_INTERVAL SCRFn Colecao and Intervalo Temporal e' igual a o numero de instancias dentro de a classe descrita por Entidade_IN_INTERVAL + o numero de instancias dentro de a classe descrita por Entidade_IN_INTERVAL
No TPTP formula. May not be expressible in strict first order.	Media.kif 538-547	Intervalo Temporal e' uma instancia de Ano Intervalo Temporal e' uma instancia de EasterSunday Intervalo Temporal e' uma instancia de AscensionThursday Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal a duracao de Intervalo Temporal e' 40 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 473-482	Intervalo Temporal e' uma instancia de Ano Intervalo Temporal e' uma instancia de EasterSunday Intervalo Temporal e' uma instancia de PalmSunday Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal a duracao de Intervalo Temporal e' 8 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 559-568	Intervalo Temporal e' uma instancia de Ano Intervalo Temporal e' uma instancia de EasterSunday Intervalo Temporal e' uma instancia de Pentecost Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal a duracao de Intervalo Temporal e' 50 DayDuration(s)
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1758-1780	muscleInsertion Musculo and Parte do Corpo Objeto e' uma instancia de Humano StandardAnatomicalPosition e' um atributo de Objeto vale durante Intervalo Temporal Healthy e' um atributo de Objeto Intervalo Temporal e' uma instancia de MuscularContraction tempo de existencia de Intervalo Temporal acontece durante Intervalo Temporal Objeto e' uma instancia de Musculo Objeto e' uma &parte de Objeto Objeto e' um instrumento para Intervalo Temporal physicalEnd Objeto and Objeto Objeto encontra Objeto Objeto e' situado em Entidade vale durante o comeco de Intervalo Temporal Objeto e' situado em Entidade vale durante o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	muscleOrigin Musculo and Parte do Corpo Objeto e' uma instancia de Humano StandardAnatomicalPosition e' um atributo de Objeto vale durante Intervalo Temporal Healthy e' um atributo de Objeto Intervalo Temporal e' uma instancia de MuscularContraction tempo de existencia de Intervalo Temporal acontece durante Intervalo Temporal Objeto e' uma instancia de Musculo Objeto e' uma &parte de Objeto Objeto e' um instrumento para Intervalo Temporal physicalEnd Objeto and Objeto Objeto encontra Objeto Objeto e' situado em Entidade vale durante o comeco de Intervalo Temporal Objeto e' situado em Entidade vale durante o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2724-2744	visibilityInMeteorology Regiao, Intervalo Temporal and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Intervalo Temporal e' uma instancia de DayTime Processo e' uma instancia de Looking Objeto e' uma instancia de Objeto color Objeto and Black Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo AutonomousAgent e' Horizontal em relacao a Objeto eventLocated Processo and Regiao tempo de existencia de Processo acontece durante Intervalo Temporal Objeto e' uma instancia de Objeto Numero Real a distancia entre AutonomousAgent e Objeto e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2746-2767	visibilityInMeteorology Regiao, Intervalo Temporal and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Intervalo Temporal e' uma instancia de NightTime Processo e' uma instancia de Looking Objeto e' uma instancia de Regiao Illuminated e' um atributo de Objeto a medida de Objeto e' 1000.0 Candela(s) Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo AutonomousAgent e' Horizontal em relacao a Objeto eventLocated Processo and Regiao tempo de existencia de Processo acontece durante Intervalo Temporal Objeto e' uma instancia de Objeto Numero Real a distancia entre AutonomousAgent e Objeto e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8337-8341	Intervalo Temporal acontece durante Intervalo Temporal o fim de Intervalo Temporal comeca antes de o fim de Intervalo Temporal o comeco de Intervalo Temporal comeca antes de o comeco de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8280-8282	Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal e' uma &parte de Intervalo Temporal

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 30211-30224	Alone e' um atributo de Entidade vale durante Intervalo Temporal Entidade2 Processo Entidade e' igual a Entidade2 Entidade2 e' uma instancia de AutonomousAgent Processo e' uma instancia de Interacao Social tempo de existencia de Processo acontece durante Intervalo Temporal involvedInEvent Processo and Entidade involvedInEvent Processo and Entidade2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30259-30267	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.	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.	UXExperimentalTerms.kif 3534-3543	firstTimeBuyers Intervalo Temporal, WebSite and Colecao AutonomousAgent e' membro de Colecao Transacao Financeira Transacao Financeira e' uma instancia de Comprar Transacao Financeira e' um agente de AutonomousAgent eCommerceSite Transacao Financeira and WebSite tempo de existencia de Transacao Financeira acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3582-3591	firstTimeSellers Intervalo Temporal, WebSite and Colecao AutonomousAgent e' membro de Colecao Transacao Financeira Transacao Financeira e' uma instancia de Vender Transacao Financeira e' um agente de AutonomousAgent eCommerceSite Transacao Financeira and WebSite tempo de existencia de Transacao Financeira acontece durante Intervalo Temporal
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.	Medicine.kif 6447-6459	AVPUVerbalStatus e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo e' uma instancia de Speaking Processo termina em AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal Processo Processo e' uma instancia de Processo Intencional Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2573-2589	A medida de Objeto e' Funcao de Quantidade vale durante Posicao Temporal engineIdleSpeed InternalCombustionEngine and Funcao de Quantidade Objeto e' uma instancia de Automobile InternalCombustionEngine e' uma &parte de Objeto Objeto e' uma &parte de InternalCombustionEngine o argumento Entidade Entidade Entidade acontece durante Posicao Temporal Entidade e' uma instancia de Pushing Entidade termina em Entidade Entidade e' uma &parte de Objeto tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30230-30241	AutonomousAgent e' uma instancia de AutonomousAgent Motionless e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Movimento do Corpo Processo e' uma instancia de Processo Intencional Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10576-10592	Objeto e' uma instancia de BodySegment Objeto e' uma instancia de BodySegment Objeto e' conectado com Objeto Movimento e' uma instancia de Movimento do Corpo moves Movimento and Objeto o argumento Movimento2 Movimento2 e' uma instancia de Movimento do Corpo moves Movimento2 and Objeto tempo de existencia de Movimento2 acontece durante tempo de existencia de Movimento tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8386-8399	AutonomousAgent e' uma instancia de CavalryUnit Intervalo Temporal e' uma instancia de Batalha Intervalo Temporal e' um agente de AutonomousAgent AutonomousAgent Entidade and Intervalo Temporal Soldier e' um atributo de AutonomousAgent AutonomousAgent e' membro de AutonomousAgent Intervalo Temporal e' uma instancia de Transporte Intervalo Temporal e' um agente de AutonomousAgent Entidade e' uma instancia de Vehicle Entidade e' um patient de Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8862-8867	Afternoon e' uma instancia de Afternoon Dia e' uma instancia de Dia Afternoon e' igual a AfternoonFn Dia Afternoon acontece durante Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8962-8967	Evening e' uma instancia de Evening Dia e' uma instancia de Dia Evening e' igual a EveningFn Dia Evening acontece durante Dia
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8846-8851	Morning e' uma instancia de Morning Dia e' uma instancia de Dia Morning e' igual a MorningFn Dia Morning acontece durante Dia
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1904-1923	Processo e' uma instancia de EngineCycle Objeto e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de CombustionChamber Objeto e' uma &parte de Objeto eventLocated Processo and Objeto Entidade e' uma instancia de UnitOfVolume maxCylinderVolume Objeto and Numero Real Entidade(s) vale durante tempo de existencia de Processo Numero Real Intervalo Temporal Intervalo Temporal acontece durante tempo de existencia de Processo a medida de Objeto e' Numero Real Entidade(s) vale durante Intervalo Temporal Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1874-1893	Processo e' uma instancia de EngineCycle Objeto e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de CombustionChamber Objeto e' uma &parte de Objeto eventLocated Processo and Objeto Entidade e' uma instancia de UnitOfVolume minCylinderVolume Objeto and Numero Real Entidade(s) vale durante tempo de existencia de Processo Numero Real Intervalo Temporal Intervalo Temporal acontece durante tempo de existencia de Processo a medida de Objeto e' Numero Real Entidade(s) vale durante Intervalo Temporal Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1949-1971	Processo e' uma instancia de EngineCycle Engine e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de Piston Unidade de Medida e' uma instancia de UnitOfLength Objeto e' uma &parte de Engine Objeto e' um patient de Processo eventLocated Processo and Engine pistonStroke Engine and Numero Real Unidade de Medida(s) Intervalo Temporal Intervalo Temporal, Fisico, Fisico and Numero Real Intervalo Temporal acontece durante tempo de existencia de Processo Intervalo Temporal acontece durante tempo de existencia de Processo Objeto e' situado em Fisico vale durante Intervalo Temporal Objeto e' situado em Fisico vale durante Intervalo Temporal a distancia entre Fisico e Fisico e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	Processo e' uma instancia de ExperiencingDiscomfortInTheStomach AutonomousAgent experimenta Processo Processo ProcessoAIN and Objeto Processo e' uma instancia de Percepcao tempo de existencia de Processo acontece durante tempo de existencia de ProcessoAIN ProcessoAIN e' uma instancia de Pain AutonomousAgent experimenta ProcessoAIN Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: