TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2741-2742
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8536-8538
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1467-1468
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8533-8533	O argumento numero 1 de ImmediatePastFn e' uma instancia de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8530-8530	ImmediatePastFn e' uma instancia de Relacao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8532-8532	ImmediatePastFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8531-8531	ImmediatePastFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8534-8534	O contra-dominio de ImmediatePastFn 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 459-459
No TPTP formula. May not be expressible in strict first order.	english_format.kif 465-465
No TPTP formula. May not be expressible in strict first order.	french_format.kif 266-266
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 139-139
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2056-2056
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 218-218
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 272-272
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 600-600
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 178-178
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 287-287
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 293-293
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 282-282
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29361-29361
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 460-460
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29360-29360
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 29359-29359
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 283-283

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9866-9888	Objeto e' uma instancia de Antacid Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente antes de tempo de existencia de Movimento Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente apos tempo de existencia de Movimento phMeasure Objeto and Numero Real phMeasure Objeto and Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9927-9949	Objeto e' uma instancia de ProtonPumpInhibitor Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente antes de tempo de existencia de Movimento Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente apos tempo de existencia de Movimento phMeasure Objeto and Numero Real phMeasure Objeto and Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1926-1940	ComputerProcess e' uma instancia de DataCompression dataProcessed ComputerProcess and DigitalData memorySize DigitalData and Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de ComputerProcess memorySize DigitalData and Numero Real Entidade(s) vale durante imediatemente apos tempo de existencia de ComputerProcess Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4566-4576	Processo e' uma instancia de DeletingAnAccount Entidade e' uma instancia de Account hasAccount AutonomousAgent and Entidade vale durante imediatemente antes de tempo de existencia de Processo Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent hasAccount AutonomousAgent and Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7016-7030	Processo e' uma instancia de Deposition Entidade e' um patient de Processo a medida de Entidade e' Numero Real Joule(s) vale durante imediatemente antes de tempo de existencia de Processo a medida de Entidade e' Numero Real Joule(s) vale durante imediatemente apos tempo de existencia de Processo Numero Real e' menos que Numero Real
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.	Mid-level-ontology.kif 1325-1348	Objeto e' uma instancia de Lever Processo e' uma instancia de Pushing Fisico e' uma instancia de Movimento Unidade de Medida e' uma instancia de UnitOfLength Processo termina em Objeto physicalEnd Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto Objeto e' situado em Processo1 vale durante imediatemente antes de tempo de existencia de Fisico Objeto e' situado em Processo2 vale durante imediatemente apos tempo de existencia de Fisico Objeto e' situado em Processo3 vale durante imediatemente antes de tempo de existencia de Fisico Objeto e' situado em Processo4 vale durante imediatemente apos tempo de existencia de Fisico a distancia entre Processo1 e Processo2 e' Numero Real Unidade de Medida(s) a distancia entre Processo3 e Processo4 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.	Mid-level-ontology.kif 10582-10597	Processo e' uma instancia de MuscleRelaxing Entidade e' um patient de Processo Entidade e' uma instancia de Musculo o comprimento de Entidade e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Processo o comprimento de Entidade e' Numero Real Entidade(s) vale durante imediatemente apos tempo de existencia de Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10560-10575	Processo e' uma instancia de MuscularContraction Entidade e' um patient de Processo Entidade e' uma instancia de Musculo o comprimento de Entidade e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Processo o comprimento de Entidade e' Numero Real Entidade(s) vale durante imediatemente apos tempo de existencia de Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 408-424	Transacao Financeira e' uma instancia de Payment Transacao Financeira tem como origem CurrencyFn FinancialAccount FinancialAccount e' uma instancia de 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 tempo de existencia de Transacao Financeira and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1970-1982	Entidade e' uma instancia de Objeto auto-conectado Processo e' uma instancia de Compressing Entidade e' um patient de Processo a medida de Entidade e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Processo Entidade e' uma instancia de UnitOfVolume a medida de Entidade e' Numero Real Entidade(s) vale durante imediatemente apos tempo de existencia de Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7068-7082	Processo e' uma instancia de Sublimation Entidade e' um patient de Processo a medida de Entidade e' Numero Real Joule(s) vale durante imediatemente antes de tempo de existencia de Processo a medida de Entidade e' Numero Real Joule(s) vale durante imediatemente apos tempo de existencia de Processo Numero Real e' maior que Numero Real
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)

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 702-717	agreementRevisionDate Proposicao, Posicao Temporal and Proposicao Posicao Temporal Posicao Temporal e' uma instancia de Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente antes de Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente apos Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente antes de Posicao Temporal Proposicao e' uma &sub-proposicao de Proposicao vale durante imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6257-6275	Processo e' uma instancia de Amputating Entidade e' um patient de Processo Objeto e' uma instancia de Limb Objeto Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Osso Objeto e' uma &parte de Entidade vale durante imediatemente antes de tempo de existencia de Processo Objeto e' uma &parte de Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4482-4491	Processo e' uma instancia de ActivatingADeactivatedAccount Entidade e' uma instancia de UserAccount Entidade e' um patient de Processo AccountDeactivated e' um atributo de Entidade vale durante imediatemente antes de tempo de existencia de Processo AccountActive e' um atributo de Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18706-18722	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.	Cars.kif 1252-1267	Processo e' uma instancia de Braking Entidade e' um patient de Processo Numero Real MilesPerHour(s) e' igual a AccelerationFn Entidade, Entidade, Entidade and Entidade vale durante imediatemente antes de tempo de existencia de Processo Numero Real MilesPerHour(s) e' igual a AccelerationFn Entidade, Entidade, Entidade and Entidade vale durante imediatemente apos tempo de existencia de Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6050-6069	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 767-785	Processo e' uma instancia de Cricothyroidotomy Entidade e' um patient de Processo Processo tem por fim Entidade Entidade e' uma instancia de ImpairmentFn Respirar Entidade e' um patient de Entidade vale durante imediatemente antes de tempo de existencia de Processo Entidade Entidade e' uma instancia de ImpairmentFn Respirar Entidade e' um patient de Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6116-6134	Processo e' uma instancia de Sneezing AutonomousAgent experimenta Processo Processo tem por fim Entidade Entidade, EntidadeOSE and Entidade Entidade e' uma instancia de NasalCavity EntidadeOSE e' uma instancia de Nose EntidadeOSE e' igual a o dono do buraco Entidade Entidade e' uma instancia de Objeto Entidade e' uma instancia de Remover EntidadeOSE e' uma &parte de AutonomousAgent objectTransferred Entidade and Entidade Entidade e' situado em Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 137-146	Entidade e' uma instancia de Check Processo e' uma instancia de ProcessingACheck Entidade e' um patient de Processo Processo Processo e' uma instancia de DepositingACheck Entidade e' um patient de Processo Processo existe durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 391-401	Processo e' uma instancia de ClosingAnAccount Entidade e' um patient de Processo Entidade e' uma instancia de FinancialAccount vale durante imediatemente antes de tempo de existencia de Processo Entidade e' uma instancia de FinancialAccount vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4498-4507	Processo e' uma instancia de DeactivatingAnAccount Entidade e' uma instancia de UserAccount Entidade e' um patient de Processo AccountDeactivated e' um atributo de Entidade vale durante imediatemente apos tempo de existencia de Processo AccountActive e' um atributo de Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10258-10273	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.	ComputingBrands.kif 4451-4461	Processo e' uma instancia de Forgetting AutonomousAgent experimenta Processo Entidade AutonomousAgent nao sabe %n Entidade vale durante imediatemente apos tempo de existencia de Processo AutonomousAgent sabe Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18648-18666	Processo e' uma instancia de Inheriting Processo e' um agente de Agente Cognitivo Processo tem como origem AutonomousAgent Entidade e' um patient de Processo Processo Processo e' uma instancia de Morte AutonomousAgent experimenta Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo AutonomousAgent possui Entidade vale durante imediatemente antes de tempo de existencia de Processo AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Agente Cognitivo possui Entidade
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5711-5718	Processo e' uma instancia de Irrigating Entidade e' um patient de Processo Entidade e' uma instancia de Area terrestre Dry e' um atributo de Entidade vale durante imediatemente antes de tempo de existencia de Processo Damp e' um atributo de Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1393-1411	Processo e' uma instancia de MovingAwayFromPeople Processo e' um agente de AutonomousAgent Entidade Entidade, Numero Real and Numero Real Entidade e' uma instancia de Humano Entidade e' uma instancia de UnitOfLength a distancia entre Processo e AutonomousAgent e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Processo a distancia entre Processo e AutonomousAgent e' Numero Real Entidade(s) vale durante imediatemente apos tempo de existencia de Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1427-1445	Processo e' uma instancia de MovingTowardsPeople Processo e' um agente de AutonomousAgent Entidade Entidade, Numero Real and Numero Real Entidade e' uma instancia de Humano Entidade e' uma instancia de UnitOfLength a distancia entre Processo e AutonomousAgent e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Processo a distancia entre Processo e AutonomousAgent e' Numero Real Entidade(s) vale durante imediatemente apos tempo de existencia de Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5773-5792	Processo e' uma instancia de RelievingPain Objeto e' um patient de Processo Fisico imediatemente antes de tempo de existencia de Processo engloba tempo de existencia de Fisico Fisico e' uma instancia de Pain Fisico e' situado em Objeto Fisico imediatemente apos tempo de existencia de Processo engloba tempo de existencia de Fisico Fisico e' uma instancia de Pain Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7875-7889	Processo e' uma instancia de BargainSale Entidade e' um patient de Processo Entidade e' uma instancia de Objeto Numero Real Numero Real, Entidade, Entidade and Entidade Entidade e' uma instancia de UnitOfCurrency price Entidade, Numero Real Entidade(s) and Entidade vale durante imediatemente antes de tempo de existencia de Processo price Entidade, Numero Real Entidade(s) and Entidade vale durante tempo de existencia de Processo Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	Objeto e' uma instancia de VentedChestSeal Transferencia e' uma instancia de Colar objectTransferred Transferencia and Objeto Transferencia termina em Entidade Objeto tem por fim Transferencia Entidade, Entidade and Entidade Transferencia e' uma instancia de Air Entidade e' uma instancia de Lung Entidade e' uma instancia de Chest Entidade e' uma &parte de Entidade Entidade e' uma &parte de Entidade Transferencia esta' entre Entidade e Entidade vale durante imediatemente antes de tempo de existencia de Transferencia Objeto tem por fim Transferencia e' Outside em relacao a Entidade vale durante imediatemente apos tempo de existencia de Transferencia
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21174-21204	Proposicao e' uma instancia de Argument Processo e' uma instancia de Raciocinar Proposicao e' uma instancia de Archeology Proposicao e' uma &sub-proposicao de Proposicao Processo exprime o conteudo de Proposicao Processo Entidade, Fisico, Numero Real, Entidade and Entidade Processo e' uma instancia de Discovering Fisico e' uma instancia de Objeto Fisico e' um patient de Processo Processo inclui uma referencia a Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo a idade de Fisico e' Numero Real YearDuration(s) Numero Real e' maior que 50 Entidade e' uma superficie de Entidade Entidade e' uma instancia de BodyOfWater Fisico e' Below em relacao a Entidade Entidade e' uma superficie de Entidade Entidade e' uma instancia de Area terrestre Fisico e' Below em relacao a Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 802-809	status ComputerProcess and ProcessFailure ComputerProcess tem por fim Formula Formula vale durante imediatemente antes de tempo de existencia de ComputerProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4001-4011	confersNorm Entidade, Entidade and Entidade vale durante Posicao Temporal o argumento Entidade nao %n a forca modal de Entidade vale durante imediatemente antes de Posicao Temporal o argumento Entidade tem a forca modal de Entidade vale durante imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4023-4032	deprivesNorm Entidade, Entidade and Entidade vale durante Posicao Temporal o argumento Entidade tem a forca modal de Entidade vale durante imediatemente antes de Posicao Temporal o argumento Entidade nao %n a forca modal de Entidade vale durante imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1519-1529	Fisico e' uma instancia de BleedingAir Fisico tem por fim Entidade Entidade Entidade e' uma instancia de FluidContainer Entidade e' uma instancia de Air Entidade contem Entidade vale durante imediatemente antes de Fisico Entidade nao contem %n Entidade vale durante imediatemente apos Fisico

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: