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
Le nombre 1 argument de
CurrencyFn
est une
instance
de
FinancialAccount
(
instance
CurrencyFn
UnaryFunction
)
FinancialOntology.kif 282-282
CurrencyFn
est une
instance
de
function unaire
(
range
CurrencyFn
FinancialInstrument
)
FinancialOntology.kif 284-284
Le
domaine
de
CurrencyFn
est une instance 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
Processus
est une
instance
de
Withdrawal
FinancialAccount
est une
instance
de
FinancialAccount
processus
a pour
origine
CurrencyFn
FinancialAccount
processus
processus
est une
instance
de
Penalty
processus
aboutit
�
CurrencyFn
FinancialAccount
processus
cause
processus
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
est une
instance
de
CheckingAccount
processus
est une
instance
de
financial transaction
processus
a pour
origine
CurrencyFn
FinancialAccount
objet
objet
est une
instance
de
Check
objet
est un
instrument
pour
processus
objet
objet
est une
instance
de
DebitCard
objet
est un
instrument
pour
processus
(=>
(
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
est une
instance
de
CreditCardAccount
processus
est une
instance
de
financial transaction
processus
a pour
origine
CurrencyFn
FinancialAccount
objet
objet
est une
instance
de
CreditCard
objet
est un
instrument
pour
processus
(=>
(
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
est une
instance
de
LiabilityAccount
minimumPayment
LiabilityAccount
,
nombre r�el
unit� de mesure
(s) and
MonthDuration
unit� de mesure
est une
instance
de
UnitOfCurrency
processus
interval temporel
interval temporel
est une
instance
de
mois
processus
aboutit
�
CurrencyFn
LiabilityAccount
paymentsPerPeriod
LiabilityAccount
,
nombre r�el
unit� de mesure
(s) and
interval temporel
nombre r�el
est
moins
que
nombre r�el
processus
processus
est une
instance
de
Penalty
processus
aboutit
�
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
est une
instance
de
SavingsAccount
processus
est une
instance
de
financial transaction
processus
a pour
origine
CurrencyFn
FinancialAccount
processus
processus
est une
instance
de
AuthorizationOfTransaction
processus
est un
sous
-processus de
processus
(=>
(
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
est une
instance
de
TraditionalSavingsAccount
processus
est une
instance
de
Withdrawal
processus
a pour
origine
CurrencyFn
FinancialAccount
processus
processus
est une
instance
de
Penalty
processus
aboutit
�
CurrencyFn
FinancialAccount
processus
cause
processus
(=>
(
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
est une
instance
de
CertificateOfDeposit
maturityDate
FinancialAccount
and
jour
processus
est une
instance
de
Withdrawal
processus
a pour
origine
CurrencyFn
FinancialAccount
la
date
de
processus
est
jour
la
fin
de
jour
se produit
avant
le
d
�but de
jour
processus
processus
est une
instance
de
Penalty
processus
aboutit
�
CurrencyFn
FinancialAccount
processus
cause
processus
(=>
(
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
Financial transaction
est une
instance
de
Deposit
FinancialAccount
est une
instance
de
FinancialAccount
financial transaction
aboutit
�
CurrencyFn
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
currentAccountBalance
FinancialAccount
, immediatement
avant
temps
d'existence de
financial transaction
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
nombre r�el
+
nombre r�el
)
currentAccountBalance
FinancialAccount
, immediatement
apr
�s
apr
�s
financial transaction
and
nombre r�el
unit� de mesure
(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
Financial transaction
est une
instance
de
Payment
financial transaction
a pour
origine
CurrencyFn
FinancialAccount
FinancialAccount
est une
instance
de
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
currentAccountBalance
FinancialAccount
, immediatement
avant
temps
d'existence de
financial transaction
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
nombre r�el
+
nombre r�el
)
currentAccountBalance
FinancialAccount
, immediatement
apr
�s
temps
d'existence de
financial transaction
and
nombre r�el
unit� de mesure
(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
Financial transaction
est une
instance
de
financial transaction
financial transaction
a pour
origine
CurrencyFn
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfCurrency
entit�
est une
instance
de
Currency
entit�
est un
patient
de
financial transaction
la
date
de
financial transaction
est
jour
nombre r�el
availableCash
FinancialAccount
,
jour
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
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
valeur
de
objet
est
mesure de devise
processus
est une
instance
de
ProcessingACheck
objet
est un
patient
de
processus
processus
aboutit
�
CurrencyFn
FinancialAccount
FinancialAccount
est une
instance
de
FinancialAccount
temps
d'existence de
processus
est
processus
Time
financial transaction
financial transaction
Time
financial transaction
est une
instance
de
Deposit
objet
est un
instrument
pour
financial transaction
temps
d'existence de
financial transaction
est
financial transaction
Time
processus
Time
rencontre
financial transaction
Time
transactionAmount
financial transaction
and
mesure de devise
financial transaction
aboutit
�
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
financial transaction
and
mesure de devise
la
date
de
financial transaction
est
jour
FinancialAccount
est une
instance
de
FinancialAccount
financial transaction
aboutit
�
CurrencyFn
FinancialAccount
amountDue
FinancialAccount
,
mesure de devise
and
interval temporel
la
fin
de
jour
se produit
avant
le
d
�but de
interval temporel
financial transaction
est une
instance
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
,
mesure de devise
and
position temporel
accountHolder
FinancialAccount
and
agent cognitif
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
mesure de devise
agreementEffectiveDate
Loan
and
point temporel
financial transaction
transactionAmount
financial transaction
and
mesure de devise
la
date
de
financial transaction
est
point temporel
financial transaction
aboutit
�
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
est une
instance
de
FinancialAccount
minimumBalance
FinancialAccount
,
OpeningAnAccount
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfCurrency
financial transaction
point temporel
and
nombre r�el
financial transaction
aboutit
�
CurrencyFn
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
agreementEffectiveDate
FinancialAccount
and
point temporel
la
date
de
financial transaction
est
point temporel
(=>
(
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
est une
instance
de
FinancialAccount
minimumBalance
FinancialAccount
,
UsingAnAccount
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfCurrency
currentAccountBalance
FinancialAccount
,
jour
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
moins
que
nombre r�el
processus
processus
est une
instance
de
Penalty
la
date
de
processus
est
jour
processus
aboutit
�
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
est une
instance
de
LiabilityAccount
minimumPayment
LiabilityAccount
,
nombre r�el
unit� de mesure
(s) and
MonthDuration
unit� de mesure
est une
instance
de
UnitOfCurrency
processus
interval temporel
interval temporel
est une
instance
de
mois
processus
aboutit
�
CurrencyFn
LiabilityAccount
paymentsPerPeriod
LiabilityAccount
,
nombre r�el
unit� de mesure
(s) and
interval temporel
nombre r�el
est
moins
que
nombre r�el
processus
processus
est une
instance
de
Penalty
processus
aboutit
�
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
est une
instance
de
SavingsAccount
accountHolder
FinancialAccount
and
agent cognitif
interestEarned
FinancialAccount
,
Interest
and
interval temporel
financial transaction
financial transaction
aboutit
�
CurrencyFn
FinancialAccount
transactionAmount
financial transaction
and
Interest
financial transaction
aboutit
�
agent cognitif
(=>
(
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
est une
instance
de
TraditionalSavingsAccount
processus
est une
instance
de
Withdrawal
processus
a pour
origine
CurrencyFn
FinancialAccount
processus
processus
est une
instance
de
Penalty
processus
aboutit
�
CurrencyFn
FinancialAccount
processus
cause
processus
(=>
(
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
est une
instance
de
CertificateOfDeposit
maturityDate
FinancialAccount
and
jour
processus
est une
instance
de
Withdrawal
processus
a pour
origine
CurrencyFn
FinancialAccount
la
date
de
processus
est
jour
la
fin
de
jour
se produit
avant
le
d
�but de
jour
processus
processus
est une
instance
de
Penalty
processus
aboutit
�
CurrencyFn
FinancialAccount
processus
cause
processus
(=>
(
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
Processus
est une
instance
de
DepositingACheck
Check
est un
patient
de
processus
Check
est une
instance
de
Check
checkAccount
Check
and
FinancialAccount
valeur
de
Check
est
mesure de devise
financial transaction
financial transaction
est une
instance
de
Deposit
financial transaction
aboutit
�
CurrencyFn
FinancialAccount
transactionAmount
financial transaction
and
mesure de devise
(=>
(
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
est une
instance
de
BalloonLoan
maturityDate
Loan
and
jour
totalBalance
Loan
and
mesure de devise
borrower
Loan
and
agent cognitif
agent cognitif
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
Processus
est une
instance
de
Refinancing
processus
existe
pendant
jour
Loan
est une
instance
de
Loan
securedBy
Loan
and
Collateral
borrower
Loan
and
agent cognitif
currentAccountBalance
Loan
,
jour
and
mesure de devise
Loan
est un
patient
de
processus
Loan
financial transaction
Loan
est une
instance
de
Loan
borrower
Loan
and
agent cognitif
securedBy
Loan
and
Collateral
financial transaction
aboutit
�
CurrencyFn
Loan
financial transaction
existe
pendant
jour
financial transaction
a pour
origine
CurrencyFn
Loan
transactionAmount
financial transaction
and
mesure de devise
(=>
(
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
est une
instance
de
BankStatement
statementAccount
BankStatement
and
FinancialAccount
processus
processus
est une
instance
de
financial transaction
processus
a pour
origine
CurrencyFn
FinancialAccount
processus
aboutit
�
CurrencyFn
FinancialAccount
BankStatement
exprime
le contenu de
processus
(=>
(
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
valeur
de
objet
est
mesure de devise
processus
est une
instance
de
ProcessingACheck
objet
est un
patient
de
processus
processus
aboutit
�
CurrencyFn
FinancialAccount
FinancialAccount
est une
instance
de
FinancialAccount
temps
d'existence de
processus
est
processus
Time
financial transaction
financial transaction
Time
financial transaction
est une
instance
de
Deposit
objet
est un
instrument
pour
financial transaction
temps
d'existence de
financial transaction
est
financial transaction
Time
processus
Time
rencontre
financial transaction
Time
transactionAmount
financial transaction
and
mesure de devise
financial transaction
aboutit
�
CurrencyFn
FinancialAccount
(=>
(
instance
?Deposit
Deposit
)
(
exists
(?Account)
(
destination
?Deposit
(
CurrencyFn
?Account))))
FinancialOntology.kif 431-434
Processus
est une
instance
de
Deposit
FinancialAccount
processus
aboutit
�
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
est une
instance
de
ConsolidationLoan
FinancialAccount
1
FinancialAccount
2,
processus
and
processus
FinancialAccount
1 est une
instance
de
Loan
FinancialAccount
2 est une
instance
de
Loan
processus
aboutit
�
CurrencyFn
FinancialAccount
1
processus
aboutit
�
CurrencyFn
FinancialAccount
2
processus
a pour
origine
CurrencyFn
FinancialAccount
processus
a pour
origine
CurrencyFn
FinancialAccount
(=>
(
instance
?Withdrawal
Withdrawal
)
(
exists
(?Account)
(
and
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal
(
CurrencyFn
?Account)))))
FinancialOntology.kif 459-464
Processus
est une
instance
de
Withdrawal
FinancialAccount
FinancialAccount
est une
instance
de
FinancialAccount
processus
a pour
origine
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
,
mesure de devise
and
dur�e temporel
financial transaction
processus
financial transaction
est une
instance
de
Payment
financial transaction
a pour
origine
CurrencyFn
FinancialAccount
transactionAmount
financial transaction
and
mesure de devise
financial transaction
est une
instance
de
processus
processus
se
produit tous les
dur�e temporel
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