TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2743-2744
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8514-8515
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1469-1470
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8511-8511	O argumento numero 1 de FutureFn e' uma instancia de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8508-8508	FutureFn e' uma instancia de Relacao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8510-8510	FutureFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8509-8509	FutureFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8512-8512	O contra-dominio de FutureFn e' uma instancia de Intervalo Temporal

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 461-461
No TPTP formula. May not be expressible in strict first order.	english_format.kif 467-467
No TPTP formula. May not be expressible in strict first order.	french_format.kif 267-267
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 115-115
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2057-2057
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 219-219
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 273-273
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 602-602
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 155-155
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 288-288
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 294-294
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 240-240
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25304-25304
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 462-462
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25303-25303
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25302-25302
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 241-241

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14055-14058	agreementExpirationDate Agreement and Ponto no tempo Agreement tem um atributo de ActiveAgreement vale durante apos Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Government.kif 546-553	independenceDate Area Geopolitica and Intervalo Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Entidade dependentGeopoliticalArea Area Geopolitica and Entidade vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10222-10237	Processo e' uma instancia de Morte AutonomousAgent e' uma instancia de Organismo AutonomousAgent experimenta Processo Entidade Entidade Entidade e' o resultado de Processo Entidade e' uma instancia de Objeto Organico Dead e' um atributo de Entidade vale durante apos tempo de existencia de Processo Entidade e' uma &parte de Entidade vale durante imediatemente apos tempo de existencia de Processo Entidade e' uma &parte de AutonomousAgent vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12046-12062	Processo e' uma instancia de Deciding Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de Conjunto ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical e' uma instancia de ContentBearingPhysical containsFormula ContentBearingPhysical and Entidade Entidade e' um elemento de Entidade Entidade e' uma instancia de Processo Intencional Entidade e' um agente de AutonomousAgent vale durante apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 436-453	Transacao Financeira e' uma instancia de Deposit FinancialAccount e' uma instancia de FinancialAccount Transacao Financeira termina em CurrencyFn FinancialAccount transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s) currentAccountBalance FinancialAccount, imediatemente antes de tempo de existencia de Transacao Financeira and Numero Real Unidade de Medida(s) Numero Real e' igual a ( Numero Real + Numero Real) currentAccountBalance FinancialAccount, imediatemente apos apos Transacao Financeira and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3628-3644	Transferencia e' uma instancia de Injecting Objeto e' uma instancia de Adalimumab objectTransferred Transferencia and Objeto Transferencia e' situado em Objeto Objeto e' uma instancia de Parte do Corpo Transferencia termina em Entidade o argumento Entidade PainFn Objeto e' um atributo de Entidade vale durante Entidade Entidade acontece durante apos tempo de existencia de Transferencia tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12305-12311	Processo e' uma instancia de Matar Entidade e' um patient de Processo Living e' um atributo de Entidade vale durante o comeco de tempo de existencia de Processo Dead e' um atributo de Entidade vale durante apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8624-8635	Objeto e' uma instancia de Poison Movimento e' uma instancia de Ingerir moves Movimento and Objeto AutonomousAgent experimenta Movimento o argumento Blind e' um atributo de AutonomousAgent vale durante apos tempo de existencia de Movimento tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13257-13262	Processo e' uma instancia de Naming Entidade e' um patient de Processo Processo termina em Entidade Entidade se chama nome Entidade vale durante apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Media.kif 153-160	Processo e' uma instancia de ReachingAgreement Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo Entidade e' uma instancia de Agreement partyToAgreement AutonomousAgent and Entidade vale durante apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 466-481	Transacao Financeira e' uma instancia de Withdrawal FinancialAccount e' uma instancia de FinancialAccount Transacao Financeira tem como origem FinancialAccount transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s) currentAccountBalance FinancialAccount, imediatemente antes de tempo de existencia de Transacao Financeira and Numero Real Unidade de Medida(s) Numero Real e' igual a ( Numero Real + Numero Real) currentAccountBalance FinancialAccount, imediatemente apos apos Transacao Financeira and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22111-22119	Processo e' uma instancia de SuicideBombing Processo e' um agente de Agente Cognitivo Agente Cognitivo acredita que Dead e' um atributo de Agente Cognitivo vale durante apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9697-9709	Fisico e' uma instancia de Antidepressant Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Ingerir objectTransferred Entidade and Fisico Fisico e' um agente de Entidade Depression e' um atributo de Entidade vale durante apos tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9717-9729	Fisico e' uma instancia de Antipsychotic Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Ingerir objectTransferred Entidade and Fisico Fisico e' um agente de Entidade Psychosis e' um atributo de Entidade vale durante apos tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1046-1059	Entidade e' uma instancia de VaccinatableDisease Entidade Entidade and Processo Entidade e' uma instancia de Vaccine Processo e' uma instancia de Colocar Processo termina em Entidade Entidade e' uma instancia de Humano o argumento Entidade e' um atributo de Entidade vale durante apos tempo de existencia de Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8521-8523	Intervalo Temporal e' uma instancia de Intervalo Temporal apos Intervalo Temporal e' igual a o intervalo entre o fim de Intervalo Temporal e PositiveInfinity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8517-8519	Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal encontra apos Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8535-8537	Posicao Temporal e' uma instancia de Intervalo Temporal imediatemente apos Posicao Temporal comeca em apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12421-12441	Fisico e' uma instancia de AntiInflammatory Fisico tem por fim Entidade Entidade and EntidadeN Entidade e' uma instancia de Inflammation Entidade experimenta Entidade EntidadeN e' uma instancia de Ingerir o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de EntidadeN Entidade2 Entidade2 e' uma instancia de Inflammation Entidade experimenta Entidade2 vale durante apos tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22101-22109	Processo e' uma instancia de SuicideBombing AutonomousAgent Processo e' um agente de AutonomousAgent Dead e' um atributo de AutonomousAgent vale durante apos tempo de existencia de Processo

statement

No TPTP formula. May not be expressible in strict first order.	Media.kif 2501-2504	Serbia e' uma instancia de EuropeanNation Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 2496-2499	Serbia e' uma instancia de IndependentState Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 2506-2509	Serbia se chama nome "Republic of Serbia" Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 2528-2531	Posicao Temporal e' uma instancia de o dia 3 Montenegro e' uma instancia de EuropeanNation vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 2523-2526	Posicao Temporal e' uma instancia de o dia 3 Montenegro e' uma instancia de IndependentState vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 2533-2536	Posicao Temporal e' uma instancia de o dia 3 Montenegro se chama nome "Montenegro" vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Media.kif 2546-2550	Posicao Temporal e' uma instancia de o dia 3 SerbiaAndMontenegro e' uma instancia de IndependentState vale durante apos Posicao Temporal

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

KB Term:			Term intersection

English Word: