TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 404-406
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 403-403	Payment e' uma sub-classe de Transacao Financeira

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Dining.kif 429-429	BankCardPayment e' uma sub-classe de Payment
No TPTP formula. May not be expressible in strict first order.	Dining.kif 451-451	CashPayment e' uma sub-classe de Payment
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2074-2074	Dividend e' uma sub-classe de Payment
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 830-830	Prepayment e' uma sub-classe de Payment
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1864-1864	Repayment e' uma sub-classe de Payment
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44874-44874
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44873-44873
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44872-44872

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Catalog.kif 249-249

O argumento numero 2 de validPaymentType e' uma sub-classe de Payment

antecedent

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)

consequent

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.	FinancialOntology.kif 2333-2355	FinancialAsset e' uma instancia de ZeroCouponBond maturityDate AccountFn FinancialAsset and Dia FinancialAssetHolder possui FinancialAsset principalAmount AccountFn FinancialAsset and Numero Real Unidade de Medida(s) agreementPeriod AccountFn FinancialAsset and Intervalo Temporal interestEarned AccountFn FinancialAsset, Numero Real Unidade de Medida(s) and Intervalo Temporal Numero Real e' igual a ( Numero Real + Numero Real) Transacao Financeira Transacao Financeira e' uma instancia de Payment Transacao Financeira termina em FinancialAssetHolder Transacao Financeira tem como origem AccountFn FinancialAsset transactionAmount Transacao Financeira and Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7159-7172	Agente Cognitivo e' uma instancia de HealthInsuranceCompany customer Agente Cognitivo and AutonomousAgent Agente Cognitivo tem finalidade Entidade Entidade Entidade e' uma instancia de Processo de Diagnostico Entidade e' uma instancia de Processo Terapeutico AutonomousAgent experimenta Entidade Entidade e' uma instancia de Payment Entidade e' um agente de Agente Cognitivo Entidade inclui uma referencia a Entidade para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1883-1900	Processo e' uma instancia de Repayment Processo_DESTINATION e' uma instancia de Objeto Processo termina em Processo_DESTINATION Processo_ORIGIN e' uma instancia de Objeto Processo tem como origem Processo_ORIGIN Processo Processo_ORIGIN and Processo_DESTINATION Processo e' uma instancia de Payment Processo_ORIGIN e' uma instancia de Objeto Processo_DESTINATION e' uma instancia de Objeto Processo e' igual a Processo Processo termina em Processo_DESTINATION Processo tem como origem Processo_ORIGIN Processo_ORIGIN e' igual a Processo_DESTINATION Processo_DESTINATION e' igual a Processo_ORIGIN
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	rentalPrice Fisico, Funcao de Quantidade, Agente Cognitivo and PricingScheme Funcao de Quantidade e' igual a PerFn Medida de Divisa and a medida de Numero Real e' Unidade de Medida Unidade de Medida e' uma instancia de UnitOfDuration Entidade e' uma instancia imediata de Fisico Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo existe durante Numero RealINT Intervalo Temporal Numero Real Numero RealINT acontece durante Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal a duracao de Intervalo Temporal e' Numero Real Unidade de Medida(s) Numero Real e' menor ou igual a Numero Real Transacao Financeira Transacao Financeira e' uma instancia de Payment Transacao Financeira termina em Agente Cognitivo Transacao Financeira e' um agente de AutonomousAgent transactionAmount Transacao Financeira and Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 742-750	periodicPayment FinancialAccount, Medida de Divisa and Duracao Temporal Transacao Financeira Processo Transacao Financeira e' uma instancia de Payment Transacao Financeira tem como origem CurrencyFn FinancialAccount transactionAmount Transacao Financeira and Medida de Divisa Transacao Financeira e' uma instancia de Processo Processo ocorre todos os Duracao Temporal

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: