Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
CurrencyFn
Sigma KEE - CurrencyFn
CurrencyFn
appearance as argument number 1
(
documentation
CurrencyFn
EnglishLanguage
"A unary function that maps a
FinancialAccount
to the currency linked to the account.")
FinancialOntology.kif 285-286
(
domain
CurrencyFn
1
FinancialAccount
)
FinancialOntology.kif 283-283
O argumento numero 1 de
CurrencyFn
e' uma
instancia
de
FinancialAccount
(
instance
CurrencyFn
UnaryFunction
)
FinancialOntology.kif 282-282
CurrencyFn
e' uma
instancia
de
funcao Unaria
(
range
CurrencyFn
FinancialInstrument
)
FinancialOntology.kif 284-284
O
contra
-dominio de
CurrencyFn
e' uma instancia de
FinancialInstrument
appearance as argument number 2
(
format
ChineseLanguage
CurrencyFn
"%1 的 currency")
domainEnglishFormat.kif 608-608
(
format
ChineseTraditionalLanguage
CurrencyFn
"%1 的 currency")
domainEnglishFormat.kif 607-607
(
format
EnglishLanguage
CurrencyFn
"the currency of %1")
domainEnglishFormat.kif 606-606
(
termFormat
ChineseLanguage
CurrencyFn
"货币")
domainEnglishFormat.kif 18090-18090
(
termFormat
ChineseTraditionalLanguage
CurrencyFn
"貨幣")
domainEnglishFormat.kif 18089-18089
(
termFormat
EnglishLanguage
CurrencyFn
"currency")
domainEnglishFormat.kif 18088-18088
antecedent
(<=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal
(
CurrencyFn
?Account))
(
not
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account))
(
causes
?Withdrawal ?Penalty)))))
(
liquidity
?Account
HighLiquidity
))
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
(=>
(
and
(
instance
?Account
CheckingAccount
)
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account)))
(
or
(
exists
(?Check)
(
and
(
instance
?Check
Check
)
(
instrument
?Transaction ?Check)))
(
exists
(?DebitCard)
(
and
(
instance
?DebitCard
DebitCard
)
(
instrument
?Transaction ?DebitCard)))))
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
(=>
(
and
(
instance
?Account
CreditCardAccount
)
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account)))
(
exists
(?Card)
(
and
(
instance
?Card
CreditCard
)
(
instrument
?Transaction ?Card))))
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
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
minimumPayment
?Account
(
MeasureFn
?MinPayment ?U)
MonthDuration
)
(
instance
?U
UnitOfCurrency
)
(
exists
(?Payment ?Month)
(
and
(
instance
?Month
Month
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
paymentsPerPeriod
?Account
(
MeasureFn
?Amount ?U) ?Month)
(
lessThan
?Amount ?MinPayment))))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
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
(=>
(
and
(
instance
?Account
SavingsAccount
)
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account)))
(
exists
(?Authorization)
(
and
(
instance
?Authorization
AuthorizationOfTransaction
)
(
subProcess
?Authorization ?Transaction))))
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
(=>
(
and
(
instance
?Account
TraditionalSavingsAccount
)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?Account)))
(
not
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account))
(
causes
?Withdrawal ?Penalty)))))
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
(=>
(
and
(
instance
?CD
CertificateOfDeposit
)
(
maturityDate
?CD ?MaturityDate)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?CD))
(
date
?Withdrawal ?DateOfWithdrawal)
(
before
(
EndFn
?DateOfWithdrawal)
(
BeginFn
?MaturityDate)))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?CD))
(
causes
?Withdrawal ?Penalty))))
FinancialOntology.kif 1087-1099
FinancialAccount
e' uma
instancia
de
CertificateOfDeposit
maturityDate
FinancialAccount
and
Dia
Processo
e' uma
instancia
de
Withdrawal
Processo
tem como
origem
CurrencyFn
FinancialAccount
a
data
de
Processo
e'
Dia
o
fim
de
Dia
comeca
antes
de o
comeco
de
Dia
Processo
Processo
e' uma
instancia
de
Penalty
Processo
termina
em
CurrencyFn
FinancialAccount
Processo
causa
Processo
(=>
(
and
(
instance
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
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)
(=>
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
SubtractionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
WhenFn
?Payment))
(
MeasureFn
?Balance2 ?CUNIT)))
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)
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account))
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
instance
?Cash
Currency
)
(
patient
?Transaction ?Cash)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableCash
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
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
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
destination
?Processing
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Deposit ?DepositTime)
(
and
(
instance
?Deposit
Deposit
)
(
instrument
?Deposit ?Check)
(
equal
(
WhenFn
?Deposit) ?DepositTime)
(
meetsTemporally
?ProcessingTime ?DepositTime)
(
transactionAmount
?Deposit ?Amount)
(
destination
?Deposit
(
CurrencyFn
?Account)))))
FinancialOntology.kif 120-135
O
valor
de
Objeto
e'
Medida de Divisa
Processo
e' uma
instancia
de
ProcessingACheck
Objeto
e' um
patient
de
Processo
Processo
termina
em
CurrencyFn
FinancialAccount
FinancialAccount
e' uma
instancia
de
FinancialAccount
tempo
de existencia de
Processo
e'
igual
a
Processo
Time
Transacao Financeira
Transacao Financeira
Time
Transacao Financeira
e' uma
instancia
de
Deposit
Objeto
e' um
instrumento
para
Transacao Financeira
tempo
de existencia de
Transacao Financeira
e'
igual
a
Transacao Financeira
Time
Processo
Time
encontra
Transacao Financeira
Time
transactionAmount
Transacao Financeira
and
Medida de Divisa
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
(=>
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
instance
?Account
FinancialAccount
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
amountDue
?Account ?Amount ?DueDate)
(
before
(
EndFn
?Date)
(
BeginFn
?DueDate)))
(
instance
?Payment
Prepayment
))
FinancialOntology.kif 834-842
transactionAmount
Transacao Financeira
and
Medida de Divisa
a
data
de
Transacao Financeira
e'
Dia
FinancialAccount
e' uma
instancia
de
FinancialAccount
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
amountDue
FinancialAccount
,
Medida de Divisa
and
Intervalo Temporal
o
fim
de
Dia
comeca
antes
de o
comeco
de
Intervalo Temporal
Transacao Financeira
e' uma
instancia
de
Prepayment
consequent
(=>
(
and
(
amountDue
?Account ?Amount ?DueDate)
(
accountHolder
?Account ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
instance
?Payment
Payment
)
(
transactionAmount
?Payment ?Amount)
(
or
(
destination
?Payment
(
CurrencyFn
?Account))
(
origin
?Payment
(
CurrencyFn
?Account)))
(
date
?Payment ?Date)
(
beforeOrEqual
(
EndFn
?Date)
(
BeginFn
?DueDate)))) ?Agent))
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
(=>
(
and
(
downPayment
?Loan ?Amount)
(
agreementEffectiveDate
?Loan ?Date))
(
exists
(?Payment)
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
destination
?Payment
(
CurrencyFn
?Loan)))))
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
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
OpeningAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
))
(
exists
(?Payment ?Date ?Amount)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment
(
MeasureFn
?Amount ?U))
(
greaterThanOrEqualTo
?Amount ?Balance)
(
agreementEffectiveDate
?Account ?Date)
(
date
?Payment ?Date))))
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
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
minimumBalance
?Account
UsingAnAccount
(
MeasureFn
?Balance ?U))
(
instance
?U
UnitOfCurrency
)
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Amount ?U))
(
lessThan
?Amount ?Balance))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
date
?Penalty ?Date)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
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
(=>
(
and
(
instance
?Account
LiabilityAccount
)
(
minimumPayment
?Account
(
MeasureFn
?MinPayment ?U)
MonthDuration
)
(
instance
?U
UnitOfCurrency
)
(
exists
(?Payment ?Month)
(
and
(
instance
?Month
Month
)
(
destination
?Payment
(
CurrencyFn
?Account))
(
paymentsPerPeriod
?Account
(
MeasureFn
?Amount ?U) ?Month)
(
lessThan
?Amount ?MinPayment))))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account)))))
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
(=>
(
and
(
instance
?Account
SavingsAccount
)
(
accountHolder
?Account ?Agent)
(
interestEarned
?Account ?Interest ?Period))
(
exists
(?Payment)
(
and
(
destination
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment ?Interest)
(
destination
?Payment ?Agent))))
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
(=>
(
and
(
instance
?Account
TraditionalSavingsAccount
)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?Account)))
(
not
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account))
(
causes
?Withdrawal ?Penalty)))))
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
(=>
(
and
(
instance
?CD
CertificateOfDeposit
)
(
maturityDate
?CD ?MaturityDate)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?CD))
(
date
?Withdrawal ?DateOfWithdrawal)
(
before
(
EndFn
?DateOfWithdrawal)
(
BeginFn
?MaturityDate)))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?CD))
(
causes
?Withdrawal ?Penalty))))
FinancialOntology.kif 1087-1099
FinancialAccount
e' uma
instancia
de
CertificateOfDeposit
maturityDate
FinancialAccount
and
Dia
Processo
e' uma
instancia
de
Withdrawal
Processo
tem como
origem
CurrencyFn
FinancialAccount
a
data
de
Processo
e'
Dia
o
fim
de
Dia
comeca
antes
de o
comeco
de
Dia
Processo
Processo
e' uma
instancia
de
Penalty
Processo
termina
em
CurrencyFn
FinancialAccount
Processo
causa
Processo
(=>
(
and
(
instance
?Depositing
DepositingACheck
)
(
patient
?Depositing ?Check)
(
instance
?Check
Check
)
(
checkAccount
?Check ?Account)
(
monetaryValue
?Check ?Amount))
(
exists
(?Deposit)
(
and
(
instance
?Deposit
Deposit
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit ?Amount))))
FinancialOntology.kif 340-351
Processo
e' uma
instancia
de
DepositingACheck
Check
e' um
patient
de
Processo
Check
e' uma
instancia
de
Check
checkAccount
Check
and
FinancialAccount
o
valor
de
Check
e'
Medida de Divisa
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Deposit
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Medida de Divisa
(=>
(
and
(
instance
?Loan
BalloonLoan
)
(
maturityDate
?Loan ?Date)
(
totalBalance
?Loan ?Amount)
(
borrower
?Loan ?Agent))
(
holdsObligation
(
KappaFn
?Payment
(
and
(
date
?Payment ?Date)
(
transactionAmount
?Payment ?Amount)
(
destination
?Payment
(
CurrencyFn
?Loan)))) ?Agent))
FinancialOntology.kif 1411-1421
Loan
e' uma
instancia
de
BalloonLoan
maturityDate
Loan
and
Dia
totalBalance
Loan
and
Medida de Divisa
borrower
Loan
and
Agente Cognitivo
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo a
classe
descrita por
Sequencia Simbolica
(=>
(
and
(
instance
?Refinancing
Refinancing
)
(
time
?Refinancing ?Time)
(
instance
?Loan
Loan
)
(
securedBy
?Loan ?Collateral)
(
borrower
?Loan ?Borrower)
(
currentAccountBalance
?Loan ?Time ?Amount)
(
patient
?Refinancing ?Loan))
(
exists
(?NewLoan ?Payment)
(
and
(
instance
?NewLoan
Loan
)
(
borrower
?NewLoan ?Borrower)
(
securedBy
?Loan ?Collateral)
(
destination
?Payment
(
CurrencyFn
?Loan))
(
time
?Payment ?Time)
(
origin
?Payment
(
CurrencyFn
?NewLoan))
(
transactionAmount
?Payment ?Amount))))
FinancialOntology.kif 1449-1466
Processo
e' uma
instancia
de
Refinancing
Processo
existe
durante
Dia
Loan
e' uma
instancia
de
Loan
securedBy
Loan
and
Collateral
borrower
Loan
and
Agente Cognitivo
currentAccountBalance
Loan
,
Dia
and
Medida de Divisa
Loan
e' um
patient
de
Processo
Loan
Transacao Financeira
Loan
e' uma
instancia
de
Loan
borrower
Loan
and
Agente Cognitivo
securedBy
Loan
and
Collateral
Transacao Financeira
termina
em
CurrencyFn
Loan
Transacao Financeira
existe
durante
Dia
Transacao Financeira
tem como
origem
CurrencyFn
Loan
transactionAmount
Transacao Financeira
and
Medida de Divisa
(=>
(
and
(
instance
?Statement
BankStatement
)
(
statementAccount
?Statement ?Account))
(
exists
(?Transaction)
(
and
(
instance
?Transaction
FinancialTransaction
)
(
or
(
origin
?Transaction
(
CurrencyFn
?Account))
(
destination
?Transaction
(
CurrencyFn
?Account)))
(
realization
?Statement ?Transaction))))
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
(=>
(
and
(
monetaryValue
?Check ?Amount)
(
instance
?Processing
ProcessingACheck
)
(
patient
?Processing ?Check)
(
destination
?Processing
(
CurrencyFn
?Account))
(
instance
?Account
FinancialAccount
)
(
equal
(
WhenFn
?Processing) ?ProcessingTime))
(
exists
(?Deposit ?DepositTime)
(
and
(
instance
?Deposit
Deposit
)
(
instrument
?Deposit ?Check)
(
equal
(
WhenFn
?Deposit) ?DepositTime)
(
meetsTemporally
?ProcessingTime ?DepositTime)
(
transactionAmount
?Deposit ?Amount)
(
destination
?Deposit
(
CurrencyFn
?Account)))))
FinancialOntology.kif 120-135
O
valor
de
Objeto
e'
Medida de Divisa
Processo
e' uma
instancia
de
ProcessingACheck
Objeto
e' um
patient
de
Processo
Processo
termina
em
CurrencyFn
FinancialAccount
FinancialAccount
e' uma
instancia
de
FinancialAccount
tempo
de existencia de
Processo
e'
igual
a
Processo
Time
Transacao Financeira
Transacao Financeira
Time
Transacao Financeira
e' uma
instancia
de
Deposit
Objeto
e' um
instrumento
para
Transacao Financeira
tempo
de existencia de
Transacao Financeira
e'
igual
a
Transacao Financeira
Time
Processo
Time
encontra
Transacao Financeira
Time
transactionAmount
Transacao Financeira
and
Medida de Divisa
Transacao Financeira
termina
em
CurrencyFn
FinancialAccount
(=>
(
instance
?Deposit
Deposit
)
(
exists
(?Account)
(
destination
?Deposit
(
CurrencyFn
?Account))))
FinancialOntology.kif 431-434
Processo
e' uma
instancia
de
Deposit
FinancialAccount
Processo
termina
em
CurrencyFn
FinancialAccount
(=>
(
instance
?Loan
ConsolidationLoan
)
(
exists
(?Loan1 ?Loan2 ?Payment1 ?Payment2)
(
and
(
instance
?Loan1
Loan
)
(
instance
?Loan2
Loan
)
(
destination
?Payment1
(
CurrencyFn
?Loan1))
(
destination
?Payment2
(
CurrencyFn
?Loan2))
(
origin
?Payment1
(
CurrencyFn
?Loan))
(
origin
?Payment2
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 1523-1532
FinancialAccount
e' uma
instancia
de
ConsolidationLoan
FinancialAccount
1
FinancialAccount
2,
Processo
and
Processo
FinancialAccount
1 e' uma
instancia
de
Loan
FinancialAccount
2 e' uma
instancia
de
Loan
Processo
termina
em
CurrencyFn
FinancialAccount
1
Processo
termina
em
CurrencyFn
FinancialAccount
2
Processo
tem como
origem
CurrencyFn
FinancialAccount
Processo
tem como
origem
CurrencyFn
FinancialAccount
(=>
(
instance
?Withdrawal
Withdrawal
)
(
exists
(?Account)
(
and
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal
(
CurrencyFn
?Account)))))
FinancialOntology.kif 459-464
Processo
e' uma
instancia
de
Withdrawal
FinancialAccount
FinancialAccount
e' uma
instancia
de
FinancialAccount
Processo
tem como
origem
CurrencyFn
FinancialAccount
(=>
(
periodicPayment
?Account ?Amount ?Period)
(
exists
(?Payment ?Class)
(
and
(
instance
?Payment
Payment
)
(
origin
?Payment
(
CurrencyFn
?Account))
(
transactionAmount
?Payment ?Amount)
(
instance
?Payment ?Class)
(
frequency
?Class ?Period))))
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