TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1868-1871
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2448-2454
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 491-495
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2444-2444	O argumento numero 1 de destination e' uma instancia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2445-2445	O argumento numero 2 de destination e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2442-2442	destination e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2443-2443	destination e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2446-2446	destination e' uma sub-relacao de involvedInEvent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 93-93
No TPTP formula. May not be expressible in strict first order.	english_format.kif 93-93
No TPTP formula. May not be expressible in strict first order.	french_format.kif 69-69
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 71-71
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1895-1895
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 21-21
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 105-105
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 81-81
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 104-104
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 112-112
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 88-88
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 68-68
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 158-158
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19272-19272
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 94-94
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19271-19271
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19270-19270
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 29-29
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 159-159

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1818-1828	Processo e' uma instancia de Withdrawal FinancialAccount e' uma instancia de FinancialAccount Processo tem como origem CurrencyFn FinancialAccount Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn FinancialAccount Processo causa Processo liquidity FinancialAccount and HighLiquidity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29779-29788	betweenOnPath Objeto, Objeto, Objeto and Objeto Transferencia e' uma instancia de Transferencia Objeto e' o caminho ao longo do qual Transferencia ocorre Transferencia tem como origem Objeto Transferencia termina em Objeto beforeOnPath Objeto, Objeto, Objeto and Transferencia beforeOnPath Objeto, Objeto, Objeto and Transferencia
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-172	Organizacao e' capaz de fazer ValetParking no role agent customer Agente Cognitivo and Organizacao Organizacao e' situado em Objeto Processo e' uma instancia de Arriving Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Processo termina em Objeto Humano Humano ocupa a posicao de Valet Organizacao o argumento Entidade Entidade Entidade e' uma instancia de ValetParking Entidade e' um agente de Humano Entidade e' um patient de Entidade Entidade termina em Entidade Entidade e' uma instancia de ParkingRegion tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	customer Agente Cognitivo and AutonomousAgent corkageFee Medida de Divisa, Objeto and AutonomousAgent Objeto e' uma instancia de Objeto Processo Processo e' uma instancia de Comprar Objeto e' um patient de Processo Processo termina em Agente Cognitivo Processo tem como origem AutonomousAgent Processo e' uma instancia de Beber Processo e' um agente de Agente Cognitivo Objeto e' um recurso para Processo Processo Processo e' uma instancia de Corkage Processo e' um agente de Agente Cognitivo Processo inclui uma referencia a Objeto Processo termina em AutonomousAgent
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.	Cars.kif 2585-2603	engineIdleSpeed InternalCombustionEngine and RotationFn Numero Real MilesPerHour(s) and Duracao Temporal Objeto e' uma instancia de Automobile Processo e' uma instancia de GasPedal Processo e' uma instancia de Pushing Processo termina em Objeto InternalCombustionEngine e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Crankshaft Objeto e' uma &parte de InternalCombustionEngine a medida de Objeto e' RotationFn Entidade MilesPerHour(s) and Duracao Temporal vale durante tempo de existencia de Processo o argumento Entidade e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	freeFunctionRoomAmenity HotelFunctionRoom and Fisico Entidade e' uma instancia de HotelFunctionRoom Entidade e' um elemento de propriedade de AutonomousAgent Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo termina em Agente Cognitivo Objeto e' uma instancia de Fisico AutonomousAgent possui Objeto customer Agente Cognitivo and AutonomousAgent Objeto e' uma instancia de Processo Objeto e' um agente de Agente Cognitivo Agente Cognitivo experimenta Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de Objeto Agente Cognitivo usa Objeto price Objeto, 0 UnitedStatesDollar(s) and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	functionRoomAmenity HotelFunctionRoom and Fisico Entidade e' uma instancia de HotelFunctionRoom Entidade e' um elemento de propriedade de AutonomousAgent Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo termina em Entidade Fisico e' uma sub-classe de Objeto o argumento Entidade Entidade Entidade e' uma instancia de Fisico Entidade e' uma instancia de Processo Entidade e' um recurso para Entidade Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' um agente de Entidade Entidade experimenta Entidade tem a forca modal de Possibility
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.	Mid-level-ontology.kif 29620-29632	Processo e' uma instancia de Apologizing Processo e' um agente de ProcessoG Processo termina em AutonomousAgent ProcessoCT suffers ProcessoCT and AutonomousAgent ProcessoCT e' um agente de ProcessoG ProcessoG nao quer %n ProcessoCT vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	AccessingWebPage e' uma instancia de AccessingWebPage Entidade e' uma instancia de WebPage Processo e' uma instancia de DataTransfer Objeto e' uma instancia de Server Processo e' uma instancia de Pedir AutonomousAgent e' uma instancia de WebBrowser Intervalo Temporal e' uma instancia de Intervalo Temporal Entidade e' um patient de AccessingWebPage Processo e' um agente de AutonomousAgent Processo termina em Objeto Entidade e' um patient de Processo Processo tem como origem Objeto Processo termina em AutonomousAgent Entidade e' um patient de Processo Processo e' um sub-processo de AccessingWebPage Processo e' um sub-processo de AccessingWebPage o fim de tempo de existencia de Processo e' igual a o comeco de Intervalo Temporal o fim de tempo de existencia de Processo e' igual a o fim de Intervalo Temporal SiteSpeedFn AccessingWebPage e' igual a Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	AutonomousAgent e' uma instancia de AutonomousAgent potentialCustomer Agente Cognitivo and AutonomousAgent o argumento Entidade e' uma instancia de Reserving Entidade termina em AutonomousAgent tem a forca modal de Necessity a probabilidade de EntidadeES1 EntidadeES1 e' uma instancia de Reservation reservingEntity Agente Cognitivo and EntidadeES1 fulfillingEntity AutonomousAgent and EntidadeES1 sabendo que customer Agente Cognitivo and AutonomousAgent vale e' Numero Real a probabilidade de EntidadeES2 EntidadeES2 e' uma instancia de Reservation reservingEntity Agente Cognitivo and EntidadeES2 fulfillingEntity AutonomousAgent and EntidadeES2 sabendo que customer Agente Cognitivo and AutonomousAgent vale e' Numero Real Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 759-775	LiabilityAccount e' uma instancia de LiabilityAccount minimumPayment LiabilityAccount, Numero Real Unidade de Medida(s) and MonthDuration Unidade de Medida e' uma instancia de UnitOfCurrency Processo Intervalo Temporal Intervalo Temporal e' uma instancia de Mes Processo termina em CurrencyFn LiabilityAccount paymentsPerPeriod LiabilityAccount, Numero Real Unidade de Medida(s) and Intervalo Temporal Numero Real e' menos que Numero Real Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn LiabilityAccount
No TPTP formula. May not be expressible in strict first order.	Music.kif 1256-1264	Entidade e' uma instancia de Bell Processo e' uma instancia de Impactar Processo termina em Entidade Processo Processo e' uma instancia de MusicalTone Processo causa Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18679-18695	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 693-707	Objeto e' uma instancia de BrakePedal Processo e' uma instancia de Pushing Objeto e' uma instancia de Vehicle Processo termina em Objeto eventLocated Processo and Objeto Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de WearingFrictionSurface Entidade e' uma instancia de Friction Entidade e' um instrumento para Entidade Processo causa Entidade
No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	Processo e' uma instancia de CateringService Processo e' um agente de AutonomousAgent Processo termina em ProcessoUST AutonomousAgent e' situado em Objeto customer ProcessoUST and AutonomousAgent Processo Entidade and Processo Processo e' uma instancia de Cozinhar Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo Entidade e' um patient de Processo Processo e' uma instancia de Comer Processo e' um agente de ProcessoUST eventLocated Processo and Objeto Objeto e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11656-11666	Processo e' uma instancia de Mudanca de Dono Processo tem como origem Objeto Processo termina em Entidade Objeto e' uma instancia de AutonomousAgent Entidade e' uma instancia de AutonomousAgent Entidade e' um patient de Processo Objeto possui Entidade vale durante o comeco de tempo de existencia de Processo Entidade possui Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21512-21517	Processo e' uma instancia de ClosingContract Processo e' um agente de Agreement Processo termina em Agente Cognitivo partyToAgreement Agente Cognitivo and Agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 171-177	Certificado e' uma instancia de PayCheck issuedBy Certificado and Agente Cognitivo Processo e' uma instancia de Dar Processo termina em AutonomousAgent AutonomousAgent emprega Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Dining.kif 552-561	Processo e' uma instancia de DeliveryService Processo termina em Entidade deliveryRegion AutonomousAgent and Area Geografica a probabilidade de Entidade e' situado em Area Geografica sabendo que Processo e' um agente de AutonomousAgent vale e' Numero Real a probabilidade de Entidade e' situado em Area Geografica sabendo que Processo e' um agente de AutonomousAgent vale e' Numero Real Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	Dining.kif 564-569	Processo e' uma instancia de DeliveryService Processo tem como origem Objeto Processo termina em Entidade Objeto e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 228-235	Processo e' uma instancia de Causar Dano Processo e' um agente de AutonomousAgent Processo termina em Agente Cognitivo Agente Cognitivo e' uma instancia de Agente Cognitivo Agente Cognitivo acredita que Dangerous e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23583-23589	Processo e' uma instancia de Dirigir Processo e' um sub-processo de Processo Processo e' uma instancia de Transporte Processo termina em Entidade Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11587-11592	Processo e' uma instancia de Falling Processo tem como origem Objeto Processo termina em Objeto Objeto e' Below em relacao a Objeto

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.	Mid-level-ontology.kif 7727-7733	customer Agente Cognitivo and AutonomousAgent Processo Processo e' uma instancia de Transacao Financeira Processo e' um agente de AutonomousAgent Processo termina em Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3635-3642	customerRepresentative Agente Cognitivo, Agente Cognitivo and Organizacao Processo Processo e' uma instancia de Transacao Financeira Organizacao emprega Agente Cognitivo Processo e' um agente de Agente Cognitivo Processo termina em Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16852-16861	almaMater Humano and PostSecondarySchool Processo Processo e' uma instancia de Processo Educacional Processo termina em Humano eventLocated Processo and PostSecondarySchool Student e' um atributo de Humano vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 487-499	Processo e' um agente de AutonomousAgent Processo tem como origem Objeto Fisico e' um patient de Processo o valor de Fisico e' Medida de Divisa Transacao Financeira Transacao Financeira e' um sub-processo de Processo Transacao Financeira e' uma instancia de Payment transactionAmount Transacao Financeira and Medida de Divisa Transacao Financeira tem como origem AutonomousAgent Transacao Financeira termina em Objeto
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	amountDue FinancialAccount, Medida de Divisa and Posicao Temporal accountHolder FinancialAccount and Agente Cognitivo 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.	Music.kif 408-419	DemoRecording e' um atributo de Objeto Objeto e' uma instancia de Recording Objeto tem por fim Entidade Entidade and ObjetoUSIC Entidade e' uma instancia de Demonstrating record Objeto and ObjetoUSIC ObjetoUSIC e' um patient de Entidade Entidade termina em Entidade Entidade e' uma instancia de GroupOfPeople
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20601-20623	Waiter e' um atributo de Agente Cognitivo Agente Cognitivo e' uma instancia de Humano AutonomousAgent emprega Agente Cognitivo AutonomousAgent e' uma instancia de Restaurant customer Agente Cognitivo and AutonomousAgent Agente Cognitivo e' situado em Objeto Objeto e' uma instancia de Table Objeto Entidade, Entidade and Objeto AutonomousAgent possui Objeto Objeto e' uma instancia de KitchenArea Objeto e' uma instancia de DiningArea Objeto e' situado em Objeto Agente Cognitivo tem por fim Entidade e' uma instancia de Carrying Entidade e' um agente de Agente Cognitivo Entidade tem como origem Objeto Entidade termina em Objeto Entidade e' um patient de Entidade Entidade e' uma instancia de FoodForFn Humano
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1261-1271	borrower Loan and Agente Cognitivo lender Loan and Agente Cognitivo agreementPeriod Loan and Intervalo Temporal interestEarned Loan, Interest and Intervalo Temporal Transacao Financeira Transacao Financeira tem como origem Agente Cognitivo transactionAmount Transacao Financeira and Interest Transacao Financeira termina em Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-172	Organizacao e' capaz de fazer ValetParking no role agent customer Agente Cognitivo and Organizacao Organizacao e' situado em Objeto Processo e' uma instancia de Arriving Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Processo termina em Objeto Humano Humano ocupa a posicao de Valet Organizacao o argumento Entidade Entidade Entidade e' uma instancia de ValetParking Entidade e' um agente de Humano Entidade e' um patient de Entidade Entidade termina em Entidade Entidade e' uma instancia de ParkingRegion tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3545-3550	connectedPeripheral ComputerHardware and Computer ComputerHardware e' uma instancia de ComputerOutputDevice ComputerHardware e' uma instancia de ComputerLASS DataTransfer e' capaz de fazer ComputerLASS no role destination
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	customer Agente Cognitivo and AutonomousAgent corkageFee Medida de Divisa, Objeto and AutonomousAgent Objeto e' uma instancia de Objeto Processo Processo e' uma instancia de Comprar Objeto e' um patient de Processo Processo termina em Agente Cognitivo Processo tem como origem AutonomousAgent Processo e' uma instancia de Beber Processo e' um agente de Agente Cognitivo Objeto e' um recurso para Processo Processo Processo e' uma instancia de Corkage Processo e' um agente de Agente Cognitivo Processo inclui uma referencia a Objeto Processo termina em AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2392-2407	customer Agente Cognitivo and AutonomousAgent AutonomousAgent emprega Agente Cognitivo TravelerAccommodation e' um atributo de AutonomousAgent Porter e' um atributo de Agente Cognitivo Agente Cognitivo possui Objeto Objeto e' uma instancia de TravelContainer Objeto Processo Objeto e' uma instancia de HotelUnit Processo e' uma instancia de Carrying Processo e' um agente de Agente Cognitivo Processo termina em Objeto Processo tem como origem Objeto
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 807-816	downPayment Loan and Medida de Divisa agreementEffectiveDate Loan and Ponto no tempo Transacao Financeira transactionAmount Transacao Financeira and Medida de Divisa a data de Transacao Financeira e' Ponto no tempo Transacao Financeira termina em CurrencyFn Loan
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1347-1358	Componente de Engenharia e' um componente de Internet Componente de Engenharia e' um componente de Internet Componente de Engenharia e' igual a Componente de Engenharia Internet tem por fim Entidade Entidade e' uma instancia de Communicacao Entidade e' um agente de Componente de Engenharia Entidade termina em Componente de Engenharia Internet e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2567-2583	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.	MilitaryPersons.kif 151-167	Expellee e' um atributo de Entidade Entidade e' um cidadao de Entidade-NATION vale durante Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal Processo Objeto Objeto e' uma instancia de Nacao Objeto e' igual a Entidade-NATION Processo e' uma instancia de Translocation Processo tem como origem Objeto Entidade e' um patient de Processo Processo termina em Entidade-NATION Posicao Temporal e' uma &parte de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11141-11151	Objeto e' uma instancia de PulmonaryArtery Processo e' uma instancia de Transferencia Entidade e' um patient de Processo Objeto e' um instrumento para Processo Entidade e' uma instancia de Sangue Entidade Entidade e' uma instancia de Lung Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 354-365	Processo e' uma instancia de Auctioning AutonomousAgent e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent Objeto e' uma instancia de Objeto Unidade de Medida e' uma instancia de UnitOfCurrency Objeto e' um patient de Processo bidPrice Objeto, Numero Real Unidade de Medida(s) and AutonomousAgent bidPrice Objeto, Numero Real Unidade de Medida(s) and AutonomousAgent Numero Real e' maior que Numero Real Processo termina em AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1212-1222	FinancialAccount e' uma instancia de CreditAccount accountAt FinancialAccount and FinancialOrganization accountHolder FinancialAccount and Agente Cognitivo interestEarned FinancialAccount, Interest and Intervalo Temporal Transacao Financeira Transacao Financeira tem como origem Agente Cognitivo transactionAmount Transacao Financeira and Interest Transacao Financeira termina em FinancialOrganization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 686-699	FinancialAccount e' uma instancia de FinancialAccount minimumBalance FinancialAccount, OpeningAnAccount and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency Transacao Financeira Ponto no tempo and Numero Real Transacao Financeira termina em CurrencyFn FinancialAccount transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a Numero Real agreementEffectiveDate FinancialAccount and Ponto no tempo a data de Transacao Financeira e' Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 701-714	FinancialAccount e' uma instancia de FinancialAccount minimumBalance FinancialAccount, UsingAnAccount and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency currentAccountBalance FinancialAccount, Dia and Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real Processo Processo e' uma instancia de Penalty a data de Processo e' Dia Processo termina em CurrencyFn FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 759-775	LiabilityAccount e' uma instancia de LiabilityAccount minimumPayment LiabilityAccount, Numero Real Unidade de Medida(s) and MonthDuration Unidade de Medida e' uma instancia de UnitOfCurrency Processo Intervalo Temporal Intervalo Temporal e' uma instancia de Mes Processo termina em CurrencyFn LiabilityAccount paymentsPerPeriod LiabilityAccount, Numero Real Unidade de Medida(s) and Intervalo Temporal Numero Real e' menos que Numero Real Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn LiabilityAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1043-1052	FinancialAccount e' uma instancia de SavingsAccount accountHolder FinancialAccount and Agente Cognitivo interestEarned FinancialAccount, Interest and Intervalo Temporal Transacao Financeira Transacao Financeira termina em CurrencyFn FinancialAccount transactionAmount Transacao Financeira and Interest Transacao Financeira termina em Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1115-1124	FinancialAccount e' uma instancia de TraditionalSavingsAccount Processo e' uma instancia de Withdrawal Processo tem como origem CurrencyFn FinancialAccount 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.	Medicine.kif 44-59	Processo e' uma instancia de Bleeding Entidade e' uma instancia de Morte Formula e' uma instancia de Humano AutonomousAgent e' uma instancia de Humano AutonomousAgent experimenta Processo Formula e' Near em relacao a AutonomousAgent o argumento Processo causa Entidade tem a forca modal de Likely Entidade Entidade e' uma instancia de Colar Entidade e' um agente de Formula Entidade termina em AutonomousAgent e' obrigado a executar tarefas de tipo Formula

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: