TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2707-2708
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8126-8127
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1430-1431
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8123-8123	O argumento numero 1 de before e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8124-8124	O argumento numero 2 de before e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8119-8119	before e' uma instancia de Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8118-8118	before e' uma instancia de Relacao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8120-8120	before e' uma instancia de Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8122-8122	before e' relacionado internamente por SUMO a earlier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8121-8121	before e' uma sub-relacao de beforeOrEqual

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 423-423
No TPTP formula. May not be expressible in strict first order.	english_format.kif 429-429
No TPTP formula. May not be expressible in strict first order.	french_format.kif 246-246
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 32-32
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2040-2040
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 198-198
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 66-66
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 251-251
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 550-550
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 76-76
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 267-267
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 267-267
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 80-80
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 424-424
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10534-10534
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10533-10533
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 81-81

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 8108-8116	O comeco de Intervalo Temporal comeca antes de o comeco de Intervalo Temporal o fim de Intervalo Temporal e' igual a o fim de Intervalo Temporal Intervalo Temporal termina em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8198-8202	Ponto no tempo comeca antes de Ponto no tempo Ponto no tempo comeca antes de Ponto no tempo Ponto no tempo e' entre Ponto no tempo e Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8076-8084	O comeco de Intervalo Temporal e' igual a o comeco de Intervalo Temporal o fim de Intervalo Temporal comeca antes de o fim de Intervalo Temporal Intervalo Temporal comeca em Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 501-514	Processo e' uma instancia de Ambulating Processo e' um sub-processo de Processo Processo e' uma instancia de Stepping Processo e' um sub-processo de Processo Processo e' uma instancia de Stepping ProcessoSTART e' igual a o comeco de tempo de existencia de Processo ProcessoSTART e' igual a o comeco de tempo de existencia de Processo ProcessoSTART comeca antes de ProcessoSTART ProcessoSTART comeca antes de ProcessoSTART Processo e' igual a Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1087-1099	FinancialAccount e' uma instancia de CertificateOfDeposit maturityDate FinancialAccount and Dia Processo e' uma instancia de Withdrawal Processo tem como origem CurrencyFn FinancialAccount a data de Processo e' Dia o fim de Dia comeca antes de o comeco de Dia Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn FinancialAccount Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1594-1604	Processo e' uma instancia de Flooding Objeto e' uma instancia de Area terrestre eventLocated Processo and Objeto Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo comeca antes de tempo de existencia de Processo o argumento Objeto e' uma instancia de SubmergedLandArea vale durante Ponto no tempo tem a forca modal de Unlikely
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.	Merge.kif 8291-8301	Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal o comeco de Intervalo Temporal ocorre antes ou durante o comeco de Intervalo Temporal o comeco de Intervalo Temporal comeca antes de o fim de Intervalo Temporal Intervalo Temporal engloba Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2669-2685	Agreement tem um atributo de Option optionHolder Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal underlier Agreement and FinancialInstrument Agente Cognitivo tem o direito de executar a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2623-2639	Agreement tem um atributo de Option optionHolder Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal underlier Agreement and FinancialInstrument price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal Agente Cognitivo tem o direito de executar a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2687-2703	Agreement tem um atributo de Option optionSeller Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal underlier Agreement and FinancialInstrument Agente Cognitivo 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 2641-2659	Agreement tem um atributo de Option optionSeller Agreement and Agente Cognitivo strikePrice Agreement and Medida de Divisa agreementExpirationDate Agreement and Intervalo Temporal underlier Agreement and FinancialInstrument price FinancialInstrument, Medida de Divisa and AutonomousAgent AutonomousAgent e' uma instancia de Intervalo Temporal o fim de AutonomousAgent comeca antes de o comeco de Intervalo Temporal Agente Cognitivo 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 834-842	transactionAmount Transacao Financeira and Medida de Divisa a data de Transacao Financeira e' Dia FinancialAccount e' uma instancia de FinancialAccount Transacao Financeira termina em CurrencyFn FinancialAccount amountDue FinancialAccount, Medida de Divisa and Intervalo Temporal o fim de Dia comeca antes de o comeco de Intervalo Temporal Transacao Financeira e' uma instancia de Prepayment
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8404-8406	O fim de Intervalo Temporal comeca antes de o comeco de Intervalo Temporal Intervalo Temporal acontence antes de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8173-8177	Ponto no tempo comeca antes de Ponto no tempo Ponto no tempo e' igual a Ponto no tempo Ponto no tempo ocorre antes ou durante Ponto no tempo

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 261-270	albumRelease Album and Ponto no tempo Area Geografica DataStorageDevice releaseForSale AlbumCopiesFn Album and DataStorageDevice, Area Geografica and Ponto no tempo Ponto no tempo Area Geografica and DataStorageDevice Ponto no tempo comeca antes de Ponto no tempo releaseForSale AlbumCopiesFn Album and DataStorageDevice, Area Geografica and Ponto no tempo
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.	Music.kif 457-470	CoverRecording e' um atributo de MusicRecording MusicRecording e' uma instancia de MusicRecording songArtist MusicRecording and Agente Cognitivo musicInterpretation MusicRecording and Musica record MusicRecording and MusicaM MusicRecording Agente CognitivoRTIST and MusicaUSIC musicInterpretation MusicRecording and Musica songArtist MusicRecording and Agente CognitivoRTIST Agente Cognitivo e' igual a Agente CognitivoRTIST record MusicRecording and MusicaUSIC tempo de existencia de MusicaUSIC comeca antes de tempo de existencia de MusicaM
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 684-695	checkOutTime Agente Cognitivo and Ponto no tempo guest Agente Cognitivo and Agente Cognitivo expects Agente Cognitivo and Entidade Entidade Entidade e' uma instancia de Ponto no tempo Agente Cognitivo e' um patient de Entidade Entidade e' uma instancia de CheckOutService Entidade e' um agente de Agente Cognitivo o comeco de tempo de existencia de Entidade comeca antes de Entidade
No TPTP formula. May not be expressible in strict first order.	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.	Merge.kif 8303-8310	Intervalo Temporal acontence antes de Intervalo Temporal Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' uma &parte de Intervalo Temporal Ponto no tempo e' uma &parte de Intervalo Temporal Ponto no tempo comeca antes de Ponto no tempo
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.	Mid-level-ontology.kif 22919-22924	Ponto no tempo e' igual a o comeco de tempo de existencia de Processo Ponto no tempo e' igual a o fim de tempo de existencia de AutonomousAgent benefits Processo and AutonomousAgent Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29583-29592	Ponto no tempo e' igual a o comeco de tempo de existencia de Processo Ponto no tempo e' igual a o fim de tempo de existencia de AutonomousAgent suffers Processo and AutonomousAgent Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8744-8751	Intervalo Temporal e' uma instancia de o dia Inteiro positivo Intervalo Temporal e' uma instancia de o dia Inteiro positivo Ponto no tempo e' igual a o comeco de Intervalo Temporal Ponto no tempo e' igual a o comeco de Intervalo Temporal Inteiro positivo e' maior que Inteiro positivo Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1615-1624	FinancialAccount e' uma instancia de InterestOnlyLoan agreementPeriod FinancialAccount and Intervalo Temporal principalAmount FinancialAccount and Medida de Divisa interestEarned FinancialAccount, Interest and Intervalo Temporal amountDue FinancialAccount, Medida de Divisa and o fim de Intervalo Temporal amountDue FinancialAccount, Interest and Intervalo Temporal o fim de Intervalo Temporal comeca antes de o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8728-8735	Intervalo Temporal e' uma instancia de o mes Mes Intervalo Temporal e' uma instancia de o mes Mes Ponto no tempo e' igual a o comeco de Intervalo Temporal Ponto no tempo e' igual a o comeco de Intervalo Temporal successorClass Mes and Mes Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7909-7913	Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' igual a NegativeInfinity NegativeInfinity comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7891-7895	Ponto no tempo e' uma instancia de Ponto no tempo Ponto no tempo e' igual a PositiveInfinity Ponto no tempo comeca antes de PositiveInfinity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12185-12194	Processo e' uma instancia de Recordar Formula e' um patient de Processo Intervalo Temporal Formula vale durante Intervalo Temporal Intervalo Temporal comeca antes de tempo de existencia de Processo Intervalo Temporal acontence antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2328-2338	Processo e' uma instancia de Aftershock eventLocated Processo and Objeto Processo Processo e' uma instancia de EarthTremor eventLocated Processo and Objeto tempo de existencia de Processo comeca antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8284-8289	Intervalo Temporal e' uma instancia de Intervalo Temporal Ponto no tempo e' igual a o comeco de Intervalo Temporal Ponto no tempo e' igual a o fim de Intervalo Temporal Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Dining.kif 274-291	Colecao e' uma instancia de Buffet Fisico e' membro de Colecao Colecao e' situado em Objeto Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent eventLocated Processo and Objeto Fisico e' um patient de Processo Objeto e' igual a Objeto Processo Processo e' uma instancia de Obter Fisico e' um patient de Processo Processo tem como origem Objeto Processo e' um agente de AutonomousAgent tempo de existencia de Processo comeca antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26961-26987	Fisico e' uma instancia de SurveillanceSystem Fisico e' membro de Colecao Fisico e' membro de Colecao Colecao e' situado em Objeto Colecao e' uma instancia de Camera Colecao e' situado em Objeto Objeto e' igual a Objeto Colecao e' uma instancia de VideoDisplay Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Processo eventLocated Entidade and Objeto Entidade define Entidade Camera e' um instrumento para Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de Luz Irradiante Colecao e' um instrumento para Entidade Entidade e' um patient de Entidade o comeco de Entidade comeca antes de o comeco de Entidade o comeco de Entidade comeca antes de o comeco de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8712-8719	Intervalo Temporal e' uma instancia de o ano Numero Inteiro Intervalo Temporal e' uma instancia de o ano Numero Inteiro Ponto no tempo e' igual a o comeco de Intervalo Temporal Ponto no tempo e' igual a o comeco de Intervalo Temporal Numero Inteiro e' maior que Numero Inteiro Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2788-2800	Agreement tem um atributo de AmericanStyleOption optionHolder Agreement and Agente Cognitivo agreementExpirationDate Agreement and Ponto no tempo Agente Cognitivo tem o direito de executar Entidade Entidade e' uma instancia de ExerciseAnOption Agreement e' um patient de Entidade o fim de tempo de existencia de Entidade comeca antes de o fim de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14623-14637	Serie e' uma sub-classe de Periodico o volume Inteiro positivo na serie Serie e' igual a Texto o volume Inteiro positivo na serie Serie e' igual a Texto Inteiro positivo e' maior que Inteiro positivo Processo e' uma instancia de Publicacao Processo e' uma instancia de Publicacao Entidade e' uma instancia de Texto Entidade e' uma instancia de Texto 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.	Merge.kif 8167-8171	Ponto no tempo ocorre antes ou durante Ponto no tempo Ponto no tempo comeca antes de Ponto no tempo Ponto no tempo e' igual a Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4317-4321	burnInPeriod Experimenting and Intervalo Temporal o fim de Intervalo Temporal comeca antes de o fim de tempo de existencia de Experimenting
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 667-675	checkInTime Organizacao and Ponto no tempo o argumento Entidade Entidade Entidade e' uma instancia de Ponto no tempo Entidade e' uma instancia de CheckInService Entidade e' um agente de Organizacao o comeco de tempo de existencia de Entidade comeca antes de Entidade tem a forca modal de Unlikely

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: