meetsTemporally - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2722-2723
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8351-8353
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1446-1448
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8348-8348	O argumento numero 1 de meetsTemporally e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8349-8349	O argumento numero 2 de meetsTemporally e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8345-8345	meetsTemporally e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8343-8343	meetsTemporally e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8346-8346	meetsTemporally e' uma instancia de Relacao Intransitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8344-8344	meetsTemporally e' uma instancia de Relacao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8347-8347	meetsTemporally e' uma instancia de Relacao Total

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 435-435
No TPTP formula. May not be expressible in strict first order.	english_format.kif 441-441
No TPTP formula. May not be expressible in strict first order.	french_format.kif 252-252
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 180-180
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2046-2046
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 204-204
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 258-258
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 568-568
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 218-218
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 273-273
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 276-276
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 356-356
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 436-436
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36923-36923
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36922-36922
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36921-36921

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9343-9352	Intervalo Temporal e' uma instancia de Domingo Intervalo Temporal e' uma instancia de Segunda-feira Intervalo Temporal e' uma instancia de Semana Intervalo Temporal e' uma instancia de Semana Intervalo Temporal e' uma &parte de Intervalo Temporal Intervalo Temporal e' uma &parte de Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 155-166	Processo e' uma instancia de DrawingACheck Entidade e' um patient de Processo Processo e' uma instancia de ProcessingACheck Entidade e' um patient de Processo tempo de existencia de Processo e' igual a ProcessoTime tempo de existencia de Processo e' igual a ProcessoTime ProcessoTime encontra Intervalo Temporal Intervalo Temporal encontra ProcessoTime a duracao de Intervalo Temporal e' Numero Real MonthDuration(s) Numero Real e' menos que 6
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 9243-9250	Intervalo Temporal e' uma instancia de o mes Dezembro Intervalo Temporal e' uma instancia de o mes Janeiro Intervalo Temporal e' uma instancia de Ano Intervalo Temporal e' uma instancia de Ano Intervalo Temporal encontra Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal
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.	Media.kif 376-385	Intervalo Temporal e' uma instancia de Advent Intervalo Temporal e' uma instancia de ChristmasDay Intervalo Temporal encontra Intervalo Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de Ano Intervalo Temporal acontece durante Intervalo Temporal Intervalo Temporal acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1314-1326	Concussion e' um atributo de Entidade vale durante Intervalo Temporal Concussion e' um atributo de Entidade vale durante Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal o argumento Inconsciente e' um atributo de Entidade vale durante o comeco de Intervalo Temporal tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 660-670	startupTimeDelay Programa de Computador and Duracao Temporal ComputerProcess e' uma instancia de ComputerProcess programRunning ComputerProcess and Programa de Computador tempo de existencia de ComputerProcess e' igual a Intervalo Temporal Fisico e' uma instancia de ComputerProcess tempo de existencia de Fisico e' igual a Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal a duracao de Intervalo Temporal e' Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8355-8359	Intervalo Temporal encontra Intervalo Temporal o fim de Intervalo Temporal e' igual a o comeco de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8367-8374	Intervalo Temporal encontra Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma &parte de Intervalo Temporal Posicao Temporal e' uma &parte de Intervalo Temporal

consequent

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.	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 450-463	Processo e' uma instancia de Dodging Processo e' um agente de AutonomousAgent ProcessoT e' igual a tempo de existencia de Processo Processo tem por fim Entidade ProcessoT encontra tempo de existencia de Entidade tempo de existencia de Entidade engloba ProcessoT Entidade e' uma instancia de Impactar AutonomousAgent e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8625-8630	Intervalo Temporal e' uma instancia de o dia Inteiro positivo Intervalo Temporal e' uma instancia de o dia Inteiro positivo ( Inteiro positivo + Inteiro positivo) e' igual a 1 Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9321-9328	Intervalo Temporal e' uma instancia de Sexta-feira Intervalo Temporal e' uma instancia de Sabado Posicao Temporal e' uma instancia de Semana Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9269-9276	Intervalo Temporal e' uma instancia de Segunda-feira Intervalo Temporal e' uma instancia de Terca-feira Posicao Temporal e' uma instancia de Semana Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9334-9341	Intervalo Temporal e' uma instancia de Sabado Intervalo Temporal e' uma instancia de Domingo Posicao Temporal e' uma instancia de Semana Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9343-9352	Intervalo Temporal e' uma instancia de Domingo Intervalo Temporal e' uma instancia de Segunda-feira Intervalo Temporal e' uma instancia de Semana Intervalo Temporal e' uma instancia de Semana Intervalo Temporal e' uma &parte de Intervalo Temporal Intervalo Temporal e' uma &parte de Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9308-9315	Intervalo Temporal e' uma instancia de Quinta-feira Intervalo Temporal e' uma instancia de Sexta-feira Posicao Temporal e' uma instancia de Semana Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9282-9289	Intervalo Temporal e' uma instancia de Terca-feira Intervalo Temporal e' uma instancia de Quarta-feira Posicao Temporal e' uma instancia de Semana Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9295-9302	Intervalo Temporal e' uma instancia de Quarta-feira Intervalo Temporal e' uma instancia de Quinta-feira Posicao Temporal e' uma instancia de Semana Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal e' uma &parte de Posicao Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11986-11993	Processo e' uma instancia de Discovering Entidade e' um patient de Processo Fisico Fisico e' uma instancia de Perseguir tempo de existencia de Fisico encontra tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3234-3250	Processo e' uma instancia de Downtick Fisico e' um patient de Processo tempo de existencia de Processo e' igual a AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency price Fisico, Numero Real Unidade de Medida(s) and AutonomousAgent Processo AutonomousAgent and Numero Real Processo e' uma instancia de StockMarketTransaction Fisico e' um patient de Processo tempo de existencia de Processo e' igual a AutonomousAgent AutonomousAgent encontra AutonomousAgent price Fisico, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17280-17288	Processo e' uma instancia de Escaping Processo e' um agente de AutonomousAgent Processo Processo e' uma instancia de Confinar AutonomousAgent e' um patient de Processo tempo de existencia de Processo encontra tempo de existencia de Processo
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.	Mid-level-ontology.kif 643-661	Processo e' uma instancia de FlashingLight Processo tem como origem Objeto Processo Intervalo Temporal and Processo Processo e' uma instancia de Luz Irradiante Intervalo Temporal e' uma instancia de Intervalo Temporal Processo e' uma instancia de Luz Irradiante tempo de existencia de Processo encontra Intervalo Temporal Intervalo Temporal encontra tempo de existencia de Processo Intervalo Temporal Intervalo Temporal e' uma instancia de Luz Irradiante Intervalo Temporal tem como origem Objeto tempo de existencia de Intervalo Temporal acontece durante Intervalo Temporal Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8651-8656	Intervalo Temporal e' uma instancia de a hora Numero Inteiro nao-negativo Intervalo Temporal e' uma instancia de a hora Numero Inteiro nao-negativo ( Numero Inteiro nao-negativo + Numero Inteiro nao-negativo) e' igual a 1 Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8678-8683	Intervalo Temporal e' uma instancia de o minuto Numero Inteiro nao-negativo Intervalo Temporal e' uma instancia de o minuto Numero Inteiro nao-negativo ( Numero Inteiro nao-negativo + Numero Inteiro nao-negativo) e' igual a 1 Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9130-9134	Intervalo Temporal e' uma instancia de o mes Abril Intervalo Temporal e' uma instancia de o mes Maio Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9186-9190	Intervalo Temporal e' uma instancia de o mes Agosto Intervalo Temporal e' uma instancia de o mes Setembro Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9243-9250	Intervalo Temporal e' uma instancia de o mes Dezembro Intervalo Temporal e' uma instancia de o mes Janeiro Intervalo Temporal e' uma instancia de Ano Intervalo Temporal e' uma instancia de Ano Intervalo Temporal encontra Intervalo Temporal Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9102-9106	Intervalo Temporal e' uma instancia de o mes Fevereiro Intervalo Temporal e' uma instancia de o mes Marco Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9078-9082	Intervalo Temporal e' uma instancia de o mes Janeiro Intervalo Temporal e' uma instancia de o mes Fevereiro Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9172-9176	Intervalo Temporal e' uma instancia de o mes Julho Intervalo Temporal e' uma instancia de o mes Agosto Intervalo Temporal encontra Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9158-9162	Intervalo Temporal e' uma instancia de o mes June Intervalo Temporal e' uma instancia de o mes Julho Intervalo Temporal encontra Intervalo Temporal

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: