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
Sunburn
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
Il numero 1 argomenti di
CurrencyFn
è un
istanza
di
FinancialAccount
(
instance
CurrencyFn
UnaryFunction
)
FinancialOntology.kif 282-282
CurrencyFn
è un'
istanza
di
FunzioneUnaria
(
range
CurrencyFn
FinancialInstrument
)
FinancialOntology.kif 284-284
rango
di
CurrencyFn
è un'istanza di
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
è un'
istanza
di
Withdrawal
FinancialAccount
è un'
istanza
di
FinancialAccount
Processo
si
originas in
CurrencyFn
FinancialAccount
Processo
Processo
è un'
istanza
di
Penalty
Processo
fine
s in
CurrencyFn
FinancialAccount
Processo
causa
s
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
è un'
istanza
di
CheckingAccount
Processo
è un'
istanza
di
ScambioFinanziario
Processo
si
originas in
CurrencyFn
FinancialAccount
Oggetto
Oggetto
è un'
istanza
di
Check
Oggetto
è uno
strumento
per
Processo
Oggetto
Oggetto
è un'
istanza
di
DebitCard
Oggetto
è uno
strumento
per
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
è un'
istanza
di
CreditCardAccount
Processo
è un'
istanza
di
ScambioFinanziario
Processo
si
originas in
CurrencyFn
FinancialAccount
Oggetto
Oggetto
è un'
istanza
di
CreditCard
Oggetto
è uno
strumento
per
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
è un'
istanza
di
LiabilityAccount
minimumPayment
LiabilityAccount
,
NumeroReale
Unit�DiMisura
(s and
MonthDuration
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Processo
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Mese
Processo
fine
s in
CurrencyFn
LiabilityAccount
paymentsPerPeriod
LiabilityAccount
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
NumeroReale
è
meno
di
NumeroReale
Processo
Processo
è un'
istanza
di
Penalty
Processo
fine
s in
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
è un'
istanza
di
SavingsAccount
Processo
è un'
istanza
di
ScambioFinanziario
Processo
si
originas in
CurrencyFn
FinancialAccount
Processo
Processo
è un'
istanza
di
AuthorizationOfTransaction
Processo
è un
sottoprocesso
di
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
è un'
istanza
di
TraditionalSavingsAccount
Processo
è un'
istanza
di
Withdrawal
Processo
si
originas in
CurrencyFn
FinancialAccount
Processo
Processo
è un'
istanza
di
Penalty
Processo
fine
s in
CurrencyFn
FinancialAccount
Processo
causa
s
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
è un'
istanza
di
CertificateOfDeposit
maturityDate
FinancialAccount
and
Giorno
Processo
è un'
istanza
di
Withdrawal
Processo
si
originas in
CurrencyFn
FinancialAccount
data
di
Processo
è
Giorno
la
fine
di
Giorno
succede%{s}
prima
di l'
inizio
di
Giorno
Processo
Processo
è un'
istanza
di
Penalty
Processo
fine
s in
CurrencyFn
FinancialAccount
Processo
causa
s
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
ScambioFinanziario
è un'
istanza
di
Deposit
FinancialAccount
è un'
istanza
di
FinancialAccount
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
dopo
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(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
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
si
originas in
CurrencyFn
FinancialAccount
FinancialAccount
è un'
istanza
di
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
currentAccountBalance
FinancialAccount
, immediatamente
prima
di il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
is
uguale
a (
NumeroReale
+
NumeroReale
currentAccountBalance
FinancialAccount
, immediatamente
dopo
il
tempo
di esistenza di
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(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
ScambioFinanziario
è un'
istanza
di
ScambioFinanziario
ScambioFinanziario
si
originas in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Entit�
è un'
istanza
di
Currency
Entit�
è un
paziente
di
ScambioFinanziario
data
di
ScambioFinanziario
è
Giorno
NumeroReale
availableCash
FinancialAccount
,
Giorno
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
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
valore
di
Oggetto
è
MisuraMonetaria
Processo
è un'
istanza
di
ProcessingACheck
Oggetto
è un
paziente
di
Processo
Processo
fine
s in
CurrencyFn
FinancialAccount
FinancialAccount
è un'
istanza
di
FinancialAccount
il
tempo
di esistenza di
Processo
is
uguale
a
Processo
Time
ScambioFinanziario
ScambioFinanziario
Time
ScambioFinanziario
è un'
istanza
di
Deposit
Oggetto
è uno
strumento
per
ScambioFinanziario
il
tempo
di esistenza di
ScambioFinanziario
is
uguale
a
ScambioFinanziario
Time
Processo
Time
incontra
s
ScambioFinanziario
Time
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
ScambioFinanziario
fine
s in
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
ScambioFinanziario
and
MisuraMonetaria
data
di
ScambioFinanziario
è
Giorno
FinancialAccount
è un'
istanza
di
FinancialAccount
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
amountDue
FinancialAccount
,
MisuraMonetaria
and
IntervalloTemporale
la
fine
di
Giorno
succede%{s}
prima
di l'
inizio
di
IntervalloTemporale
ScambioFinanziario
è un'
istanza
di
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
,
MisuraMonetaria
and
PosizioneTemporale
accountHolder
FinancialAccount
and
AgenteCognitivo
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
MisuraMonetaria
agreementEffectiveDate
Loan
and
PuntoTemporale
ScambioFinanziario
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
data
di
ScambioFinanziario
è
PuntoTemporale
ScambioFinanziario
fine
s in
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
è un'
istanza
di
FinancialAccount
minimumBalance
FinancialAccount
,
OpeningAnAccount
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
ScambioFinanziario
PuntoTemporale
and
NumeroReale
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
agreementEffectiveDate
FinancialAccount
and
PuntoTemporale
data
di
ScambioFinanziario
è
PuntoTemporale
(=>
(
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
è un'
istanza
di
FinancialAccount
minimumBalance
FinancialAccount
,
UsingAnAccount
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
currentAccountBalance
FinancialAccount
,
Giorno
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
meno
di
NumeroReale
Processo
Processo
è un'
istanza
di
Penalty
data
di
Processo
è
Giorno
Processo
fine
s in
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
è un'
istanza
di
LiabilityAccount
minimumPayment
LiabilityAccount
,
NumeroReale
Unit�DiMisura
(s and
MonthDuration
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Processo
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Mese
Processo
fine
s in
CurrencyFn
LiabilityAccount
paymentsPerPeriod
LiabilityAccount
,
NumeroReale
Unit�DiMisura
(s and
IntervalloTemporale
NumeroReale
è
meno
di
NumeroReale
Processo
Processo
è un'
istanza
di
Penalty
Processo
fine
s in
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
è un'
istanza
di
SavingsAccount
accountHolder
FinancialAccount
and
AgenteCognitivo
interestEarned
FinancialAccount
,
Interest
and
IntervalloTemporale
ScambioFinanziario
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
Interest
ScambioFinanziario
fine
s in
AgenteCognitivo
(=>
(
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
è un'
istanza
di
TraditionalSavingsAccount
Processo
è un'
istanza
di
Withdrawal
Processo
si
originas in
CurrencyFn
FinancialAccount
Processo
Processo
è un'
istanza
di
Penalty
Processo
fine
s in
CurrencyFn
FinancialAccount
Processo
causa
s
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
è un'
istanza
di
CertificateOfDeposit
maturityDate
FinancialAccount
and
Giorno
Processo
è un'
istanza
di
Withdrawal
Processo
si
originas in
CurrencyFn
FinancialAccount
data
di
Processo
è
Giorno
la
fine
di
Giorno
succede%{s}
prima
di l'
inizio
di
Giorno
Processo
Processo
è un'
istanza
di
Penalty
Processo
fine
s in
CurrencyFn
FinancialAccount
Processo
causa
s
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
è un'
istanza
di
DepositingACheck
Check
è un
paziente
di
Processo
Check
è un'
istanza
di
Check
checkAccount
Check
and
FinancialAccount
valore
di
Check
è
MisuraMonetaria
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Deposit
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
(=>
(
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
è un'
istanza
di
BalloonLoan
maturityDate
Loan
and
Giorno
totalBalance
Loan
and
MisuraMonetaria
borrower
Loan
and
AgenteCognitivo
AgenteCognitivo
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
è un'
istanza
di
Refinancing
Processo
esistes
durante
Giorno
Loan
è un'
istanza
di
Loan
securedBy
Loan
and
Collateral
borrower
Loan
and
AgenteCognitivo
currentAccountBalance
Loan
,
Giorno
and
MisuraMonetaria
Loan
è un
paziente
di
Processo
Loan
ScambioFinanziario
Loan
è un'
istanza
di
Loan
borrower
Loan
and
AgenteCognitivo
securedBy
Loan
and
Collateral
ScambioFinanziario
fine
s in
CurrencyFn
Loan
ScambioFinanziario
esistes
durante
Giorno
ScambioFinanziario
si
originas in
CurrencyFn
Loan
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
(=>
(
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
è un'
istanza
di
BankStatement
statementAccount
BankStatement
and
FinancialAccount
Processo
Processo
è un'
istanza
di
ScambioFinanziario
Processo
si
originas in
CurrencyFn
FinancialAccount
Processo
fine
s in
CurrencyFn
FinancialAccount
BankStatement
esprime
il contenuto di
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
valore
di
Oggetto
è
MisuraMonetaria
Processo
è un'
istanza
di
ProcessingACheck
Oggetto
è un
paziente
di
Processo
Processo
fine
s in
CurrencyFn
FinancialAccount
FinancialAccount
è un'
istanza
di
FinancialAccount
il
tempo
di esistenza di
Processo
is
uguale
a
Processo
Time
ScambioFinanziario
ScambioFinanziario
Time
ScambioFinanziario
è un'
istanza
di
Deposit
Oggetto
è uno
strumento
per
ScambioFinanziario
il
tempo
di esistenza di
ScambioFinanziario
is
uguale
a
ScambioFinanziario
Time
Processo
Time
incontra
s
ScambioFinanziario
Time
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
ScambioFinanziario
fine
s in
CurrencyFn
FinancialAccount
(=>
(
instance
?Deposit
Deposit
)
(
exists
(?Account)
(
destination
?Deposit
(
CurrencyFn
?Account))))
FinancialOntology.kif 431-434
Processo
è un'
istanza
di
Deposit
FinancialAccount
Processo
fine
s in
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
è un'
istanza
di
ConsolidationLoan
FinancialAccount
1
FinancialAccount
2,
Processo
and
Processo
FinancialAccount
1 è un'
istanza
di
Loan
FinancialAccount
2 è un'
istanza
di
Loan
Processo
fine
s in
CurrencyFn
FinancialAccount
1
Processo
fine
s in
CurrencyFn
FinancialAccount
2
Processo
si
originas in
CurrencyFn
FinancialAccount
Processo
si
originas in
CurrencyFn
FinancialAccount
(=>
(
instance
?Withdrawal
Withdrawal
)
(
exists
(?Account)
(
and
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal
(
CurrencyFn
?Account)))))
FinancialOntology.kif 459-464
Processo
è un'
istanza
di
Withdrawal
FinancialAccount
FinancialAccount
è un'
istanza
di
FinancialAccount
Processo
si
originas in
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
,
MisuraMonetaria
and
Durata
ScambioFinanziario
Processo
ScambioFinanziario
è un'
istanza
di
Payment
ScambioFinanziario
si
originas in
CurrencyFn
FinancialAccount
transactionAmount
ScambioFinanziario
and
MisuraMonetaria
ScambioFinanziario
è un'
istanza
di
Processo
Processo
ricorre
ogni
Durata
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