TreeView Knowledge Base Browser - FinancialTransaction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3095-3096
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11836-11838
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1866-1867
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11834-11834	Transacao Financeira e' uma sub-classe de Transacao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20489-20489	Os valores retornados por OccupationFn sao as sub-classes de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1799-1799	AssetAllocation e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 507-507	AutomaticTransaction e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11884-11884	Aposta e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11890-11890	Comprar e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1424-1424	Call e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2833-2833	CancellingAnOrder e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 890-890	ChargingAFee e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 388-388	ClosingAnAccount e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11872-11872	CommercialService e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 353-353	ControllingAnAccount e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 426-426	Deposit e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2749-2749	ExerciseAnOption e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2396-2396	Exporting e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4125-4125	ExternalTransfer e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2829-2829	FillingAnOrder e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2146-2146	FinancialDefault e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3976-3976	FinancialRequest e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3980-3980	FinancialResponse e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4138-4138	InternalTransfer e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 483-483	Investing e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2069-2069	Liquidation e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 284-284	MuakharSadaq e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 304-304	MuqaddamSadaq e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 290-290	OpeningAnAccount e' uma sub-classe de Transacao Financeira

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1685-1685	O argumento numero 1 de broker e' uma instancia de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3879-3879	O argumento numero 1 de confirmationNumber e' uma instancia de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1705-1705	O argumento numero 1 de eCommerceSite e' uma instancia de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7204-7204	O argumento numero 1 de loss e' uma instancia de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1965-1965	O argumento numero 1 de orderFor e' uma instancia de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7602-7602	O argumento numero 1 de profit e' uma instancia de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 895-895	O argumento numero 2 de serviceFee e' uma instancia de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11850-11850	O argumento numero 1 de transactionAmount e' uma instancia de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3991-3991	O argumento numero 2 de dailyLimit e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 680-680	O argumento numero 2 de minimumBalance e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20497-20497	O argumento numero 2 de occupation e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1966-1966	O argumento numero 2 de orderFor e' uma sub-classe de Transacao Financeira

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1129-1142	FinancialAccount e' uma instancia de CheckingAccount Processo e' uma instancia de Transacao Financeira Processo tem como origem CurrencyFn FinancialAccount Objeto Objeto e' uma instancia de Check Objeto e' um instrumento para Processo Objeto Objeto e' uma instancia de DebitCard Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1239-1247	FinancialAccount e' uma instancia de CreditCardAccount Processo e' uma instancia de Transacao Financeira Processo tem como origem CurrencyFn FinancialAccount Objeto Objeto e' uma instancia de CreditCard Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1033-1041	FinancialAccount e' uma instancia de SavingsAccount Processo e' uma instancia de Transacao Financeira Processo tem como origem CurrencyFn FinancialAccount Processo Processo e' uma instancia de AuthorizationOfTransaction Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3516-3523	Processo e' uma instancia de AuthorizationOfTransaction Processo e' uma instancia de Transacao Financeira Objeto e' uma instancia de BankCard Objeto e' um instrumento para Processo Processo causa Processo Objeto e' uma instancia de ValidCard
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de Transacao Financeira Sequencia Simbolica Entidade o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a BoughtItemsFn Colecao
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3543-3554	BankCard e' uma instancia de DebitCard AutonomousAgent possui BankCard Processo e' uma instancia de Transacao Financeira BankCard e' um instrumento para Processo Sequencia Simbolica Processo pin Sequencia Simbolica and BankCard Processo e' uma instancia de EnteringAPin Sequencia Simbolica e' um patient de Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1727-1746	Objeto e' uma instancia de Transacao Financeira BusinessToBusiness e' um atributo de Objeto UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount e' uma instancia de UserAccount UserAccount e' uma instancia de UserAccount AutonomousAgent e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Objeto e' um agente de AutonomousAgent Objeto termina em AutonomousAgent WebSite e' um instrumento para Objeto hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite BusinessAccount e' um atributo de UserAccount BusinessAccount e' um atributo de UserAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1759-1778	Objeto e' uma instancia de Transacao Financeira BusinessToConsumer e' um atributo de Objeto UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount e' uma instancia de UserAccount UserAccount e' uma instancia de UserAccount AutonomousAgent e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Objeto e' um agente de AutonomousAgent Objeto termina em AutonomousAgent WebSite e' um instrumento para Objeto hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite BusinessAccount e' um atributo de UserAccount ConsumerAccount e' um atributo de UserAccount
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1791-1810	Objeto e' uma instancia de Transacao Financeira ConsumerToConsumer e' um atributo de Objeto UserAccount UserAccount, AutonomousAgent, AutonomousAgent and WebSite UserAccount e' uma instancia de UserAccount UserAccount e' uma instancia de UserAccount AutonomousAgent e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent WebSite e' uma instancia de WebSite Objeto e' um agente de AutonomousAgent Objeto termina em AutonomousAgent WebSite e' um instrumento para Objeto hasAccount AutonomousAgent and UserAccount hasAccount AutonomousAgent and UserAccount accountAtSite UserAccount and WebSite accountAtSite UserAccount and WebSite ConsumerAccount e' um atributo de UserAccount ConsumerAccount e' um atributo de UserAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3959-3966	Processo e' uma instancia de Transacao Financeira Processo termina em AutonomousAgent Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent OpenService e' um atributo de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3838-3852	Transacao Financeira e' uma instancia de Transacao Financeira Transacao Financeira tem como origem CurrencyFn FinancialAccount transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency Entidade e' uma instancia de Currency Entidade e' um patient de Transacao Financeira a data de Transacao Financeira e' Dia Numero Real availableCash FinancialAccount, Dia and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3815-3827	Transacao Financeira e' uma instancia de Transacao Financeira Transacao Financeira tem como origem FinancialAccount transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency a data de Transacao Financeira e' Dia Numero Real availableBalance FinancialAccount, Dia and Numero Real Unidade de Medida(s) Numero Real e' maior ou igual a Numero Real
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3907-3914	lastStatement FinancialAccount and BankStatement Fisico e' uma instancia de Transacao Financeira BankStatement exprime o conteudo de Fisico Fisico e' uma instancia de Transacao Financeira BankStatement nao exprime %n o conteudo de Fisico tempo de existencia de Fisico acontence antes de tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11840-11845	Processo e' uma instancia de Transacao Financeira Entidade Entidade e' um patient de Processo Entidade e' uma instancia de FinancialInstrument

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.	UXExperimentalTerms.kif 1637-1641	Atributo e' um atributo de Objeto Atributo e' uma instancia de AccountAttribute Objeto e' uma instancia de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10631-10643	Processo e' uma instancia de Empregar Agente Cognitivo e' uma instancia de Organizacao Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo expects Agente Cognitivo and Entidade Entidade e' uma instancia de Transacao Financeira Entidade e' um agente de Agente Cognitivo Entidade termina em Entidade tempo de existencia de Processo acontence antes de tempo de existencia de Entidade
No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	Colecao e' uma instancia de Organizacao Utilities e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Remover Objeto e' uma instancia de Sewage Objeto e' um patient de AutonomousAgent Objeto e' uma instancia de Eletron Objeto e' uma instancia de Agua Objeto e' uma instancia de Substancia Pura Objeto e' capaz de fazer Combustao no role patient Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Transacao Financeira AutonomousAgent2 e' um agente de Processo2 Objeto e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1192-1207	FinancialAccount e' uma instancia de ProfitSharingPlan accountHolder FinancialAccount and Agente Cognitivo AutonomousAgent emprega Agente Cognitivo profit Transacao Financeira and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfCurrency Transacao Financeira e' um agente de AutonomousAgent Numero Real Numero RealAY Numero RealAY e' uma instancia de Transacao Financeira transactionAmount Numero RealAY and Numero Real Unidade de Medida(s) Numero Real e' menos que Numero Real Numero RealAY termina em FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3590-3601	Processo e' uma instancia de CommercialService Processo e' um agente de Agente Cognitivo AutonomousAgent emprega Agente Cognitivo Processo termina em Entidade Processo tem por fim Entidade Entidade e' uma instancia de Transacao Financeira Entidade termina em AutonomousAgent Entidade tem como origem Entidade
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3885-3895	BankStatement e' uma instancia de BankStatement statementAccount BankStatement and FinancialAccount Processo Processo e' uma instancia de Transacao Financeira Processo tem como origem CurrencyFn FinancialAccount Processo termina em CurrencyFn FinancialAccount BankStatement exprime o conteudo de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29474-29485	CoinOperated e' um atributo de Objeto Objeto tem por fim Entidade Entidade, Entidade and EntidadeCT Entidade e' uma instancia de CurrencyCoin Entidade e' uma instancia de Transacao Financeira Entidade termina em Objeto Entidade e' um patient de Entidade Entidade tem como origem Entidade Entidade causa EntidadeCT Entidade quer EntidadeCT
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3386-3393	Entidade e' uma instancia de PayStub Processo Objeto and Entidade Processo e' uma instancia de Transacao Financeira Processo tem como origem Objeto Processo termina em Entidade Entidade inclui uma referencia a Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1974-1984	Fisico e' uma instancia de VendingMachine Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Transacao Financeira Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Currency Entidade e' um patient de Entidade Entidade e' uma instancia de Produto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22441-22447	Fisico e' uma instancia de Marketplace Fisico tem por fim Entidade Entidade e' uma instancia de Transacao Financeira eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22560-22574	Fisico e' uma instancia de RestaurantBuilding Fisico tem por fim Entidade Entidade, Entidade, Entidade and EntidadeAY Entidade emprega Entidade Entidade possui Fisico Entidade e' uma instancia de Humano EntidadeAY e' uma instancia de Transacao Financeira EntidadeAY e' um agente de Entidade Entidade e' um patient de EntidadeAY Entidade autoriza Entidade a executar tarefas de tipo Entidade Entidade e' uma instancia de Comer Entidade e' um agente de Entidade eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7083-7089	Fisico e' uma instancia de Store Fisico tem por fim Entidade Entidade e' uma instancia de Transacao Financeira eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Dining.kif 388-407	standardRetailHours Intervalo Temporal and AutonomousAgent Processo Entidade, Entidade, Numero Real and Numero Real Processo e' uma instancia de Transacao Financeira Processo e' um agente de AutonomousAgent Entidade e' uma instancia de Intervalo Temporal Processo termina em Entidade Numero Real e' igual a a probabilidade de tempo de existencia de Processo acontece durante Entidade customer Entidade and AutonomousAgent Numero Real e' igual a a probabilidade de tempo de existencia de Processo nao %n acontece durante Entidade customer Entidade and AutonomousAgent Numero Real e' maior que Numero Real

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

Show without tree

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: