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
Die Zahl 1 Argument von
CurrencyFn
ist ein
fall
von
FinancialAccount
%n{nicht}
(
instance
CurrencyFn
UnaryFunction
)
FinancialOntology.kif 282-282
CurrencyFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
CurrencyFn
FinancialInstrument
)
FinancialOntology.kif 284-284
bildbereich
von
CurrencyFn
ist ein fall von
FinancialInstrument
{nicht}
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
Process
ist ein
fall
von
Withdrawal
%n{nicht} und
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
** Process
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht} und es gibt nicht
** Process
um
** ** Process
ist ein
fall
von
Penalty
%n{nicht} und
** ** Process
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht} genau dann wenn
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
Wenn
FinancialAccount
ist ein
fall
von
CheckingAccount
%n{nicht} und
Process
ist ein
fall
von
FinancialTransaction
%n{nicht} und
** Process
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
Check
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht} oder es gibt
** Object
um
** ** Object
ist ein
fall
von
DebitCard
%n{nicht} und
** ** Object
ist ein
instrument
fuer
** Process
%n{nicht}
(=>
(
and
(
instance
?Account
CreditCardAccount
)
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account)))
(
exists
(?Card)
(
and
(
instance
?Card
CreditCard
)
(
instrument
?Transaction ?Card))))
FinancialOntology.kif 1239-1247
Wenn
FinancialAccount
ist ein
fall
von
CreditCardAccount
%n{nicht} und
Process
ist ein
fall
von
FinancialTransaction
%n{nicht} und
** Process
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
CreditCard
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht}
(=>
(
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
Wenn
LiabilityAccount
ist ein
fall
von
LiabilityAccount
%n{nicht} und
minimumPayment
** LiabilityAccount
,
RealNumber
UnitOfMeasure
(s) and
MonthDuration
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und es gibt
Process
und
TimeInterval
um
** TimeInterval
ist ein
fall
von
Month
%n{nicht} und
** Process
endet an
CurrencyFn
** LiabilityAccount
%n{nicht} und
paymentsPerPeriod
** LiabilityAccount
,
** RealNumber
** UnitOfMeasure
(s) and
** TimeInterval
und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Penalty
%n{nicht} und
** ** Process
endet an
CurrencyFn
** LiabilityAccount
%n{nicht}
(=>
(
and
(
instance
?Account
SavingsAccount
)
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account)))
(
exists
(?Authorization)
(
and
(
instance
?Authorization
AuthorizationOfTransaction
)
(
subProcess
?Authorization ?Transaction))))
FinancialOntology.kif 1033-1041
Wenn
FinancialAccount
ist ein
fall
von
SavingsAccount
%n{nicht} und
Process
ist ein
fall
von
FinancialTransaction
%n{nicht} und
** Process
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
AuthorizationOfTransaction
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
TraditionalSavingsAccount
%n{nicht} und
Process
ist ein
fall
von
Withdrawal
%n{nicht} und
** Process
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht},
dann es gibt nicht
** Process
um
** ** Process
ist ein
fall
von
Penalty
%n{nicht} und
** ** Process
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht}
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
CertificateOfDeposit
%n{nicht} und
maturityDate
** FinancialAccount
and
Day
und
Process
ist ein
fall
von
Withdrawal
%n{nicht} und
** Process
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht} und
datum
von
** Process
ist
** Day
%n{nicht} und das
ende
von
** ** Day
geschieht
vor
der
anfang
von
** Day
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Penalty
%n{nicht} und
** ** Process
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht}
(=>
(
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
Wenn
FinancialTransaction
ist ein
fall
von
Deposit
%n{nicht} und
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
currentAccountBalance
** FinancialAccount
, direkt
vor
die
zeit
des Bestehens von
** FinancialTransaction
and
** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist gleich (
** ** RealNumber
und
** RealNumber
) %n{nicht},
dann
currentAccountBalance
** FinancialAccount
, sofort
nach
nach
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(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
Wenn
FinancialTransaction
ist ein
fall
von
Payment
%n{nicht} und
** FinancialTransaction
beginnet an
CurrencyFn
FinancialAccount
%n{nicht} und
** FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
currentAccountBalance
** FinancialAccount
, direkt
vor
die
zeit
des Bestehens von
** FinancialTransaction
and
** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist gleich (
** ** RealNumber
und
** RealNumber
) %n{nicht},
dann
currentAccountBalance
** FinancialAccount
, sofort
nach
die
zeit
des Bestehens von
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(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
Wenn
FinancialTransaction
ist ein
fall
von
FinancialTransaction
%n{nicht} und
** FinancialTransaction
beginnet an
CurrencyFn
FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
Entity
ist ein
fall
von
Currency
%n{nicht} und
** Entity
ist ein
patient
von
** FinancialTransaction
%n{nicht} und
datum
von
** FinancialTransaction
ist
Day
%n{nicht},
dann es gibt
** RealNumber
um
availableCash
** FinancialAccount
,
** Day
and
** ** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
** ** RealNumber
%n{nicht}
(=>
(
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
Wenn
wert
von
Object
ist
CurrencyMeasure
und
Process
ist ein
fall
von
ProcessingACheck
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
CurrencyFn
FinancialAccount
%n{nicht} und
** FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** Process
Time %n{nicht},
dann es gibt
FinancialTransaction
und
** FinancialTransaction
Time um
** FinancialTransaction
ist ein
fall
von
Deposit
%n{nicht} und
** Object
ist ein
instrument
fuer
** FinancialTransaction
%n{nicht} und die
zeit
des Bestehens von
** FinancialTransaction
ist gleich
** FinancialTransaction
Time %n{nicht} und
** Process
Time
schliesst
** FinancialTransaction
Time zeitlich an und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
und
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht}
(=>
(
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
Wenn
transactionAmount
FinancialTransaction
and
CurrencyMeasure
und
datum
von
** FinancialTransaction
ist
Day
%n{nicht} und
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
amountDue
** FinancialAccount
,
** CurrencyMeasure
and
TimeInterval
und das
ende
von
** Day
geschieht
vor
der
anfang
von
** TimeInterval
%n{nicht},
dann
** FinancialTransaction
ist ein
fall
von
Prepayment
%n{nicht}
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
Wenn
amountDue
FinancialAccount
,
CurrencyMeasure
and
TimePosition
und
accountHolder
** FinancialAccount
and
CognitiveAgent
,
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
downPayment
?Loan ?Amount)
(
agreementEffectiveDate
?Loan ?Date))
(
exists
(?Payment)
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
destination
?Payment
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 807-816
Wenn
downPayment
Loan
and
CurrencyMeasure
und
agreementEffectiveDate
** Loan
and
TimePoint
,
dann es gibt
FinancialTransaction
um
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
und
datum
von
** FinancialTransaction
ist
** TimePoint
%n{nicht} und
** FinancialTransaction
endet an
CurrencyFn
** Loan
%n{nicht}
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
minimumBalance
** FinancialAccount
,
OpeningAnAccount
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht},
dann es gibt
FinancialTransaction
,
TimePoint
, and und
** RealNumber
um
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** ** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
agreementEffectiveDate
** FinancialAccount
and
** TimePoint
und
datum
von
** FinancialTransaction
ist
** TimePoint
%n{nicht}
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
minimumBalance
** FinancialAccount
,
UsingAnAccount
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
currentAccountBalance
** FinancialAccount
,
Day
and
** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
Penalty
%n{nicht} und
datum
von
** Process
ist
** Day
%n{nicht} und
** Process
endet an
CurrencyFn
** FinancialAccount
%n{nicht}
(=>
(
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
Wenn
LiabilityAccount
ist ein
fall
von
LiabilityAccount
%n{nicht} und
minimumPayment
** LiabilityAccount
,
RealNumber
UnitOfMeasure
(s) and
MonthDuration
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und es gibt
Process
und
TimeInterval
um
** TimeInterval
ist ein
fall
von
Month
%n{nicht} und
** Process
endet an
CurrencyFn
** LiabilityAccount
%n{nicht} und
paymentsPerPeriod
** LiabilityAccount
,
** RealNumber
** UnitOfMeasure
(s) and
** TimeInterval
und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Penalty
%n{nicht} und
** ** Process
endet an
CurrencyFn
** LiabilityAccount
%n{nicht}
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
SavingsAccount
%n{nicht} und
accountHolder
** FinancialAccount
and
CognitiveAgent
und
interestEarned
** FinancialAccount
,
Interest
and
TimeInterval
,
dann es gibt
FinancialTransaction
um
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** Interest
und
** FinancialTransaction
endet an
** CognitiveAgent
%n{nicht}
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
TraditionalSavingsAccount
%n{nicht} und
Process
ist ein
fall
von
Withdrawal
%n{nicht} und
** Process
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht},
dann es gibt nicht
** Process
um
** ** Process
ist ein
fall
von
Penalty
%n{nicht} und
** ** Process
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht}
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
CertificateOfDeposit
%n{nicht} und
maturityDate
** FinancialAccount
and
Day
und
Process
ist ein
fall
von
Withdrawal
%n{nicht} und
** Process
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht} und
datum
von
** Process
ist
** Day
%n{nicht} und das
ende
von
** ** Day
geschieht
vor
der
anfang
von
** Day
%n{nicht},
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Penalty
%n{nicht} und
** ** Process
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
DepositingACheck
%n{nicht} und
Check
ist ein
patient
von
** Process
%n{nicht} und
** Check
ist ein
fall
von
Check
%n{nicht} und
checkAccount
** Check
and
FinancialAccount
und
wert
von
** Check
ist
CurrencyMeasure
,
dann es gibt
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Deposit
%n{nicht} und
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
(=>
(
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
Wenn
Loan
ist ein
fall
von
BalloonLoan
%n{nicht} und
maturityDate
** Loan
and
Day
und
totalBalance
** Loan
and
CurrencyMeasure
und
borrower
** Loan
and
CognitiveAgent
,
dann
** CognitiveAgent
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Refinancing
%n{nicht} und
** Process
besteht
waehrend
Day
%n{nicht} und
Loan
ist ein
fall
von
Loan
%n{nicht} und
securedBy
** Loan
and
Collateral
und
borrower
** Loan
and
CognitiveAgent
und
currentAccountBalance
** Loan
,
** Day
and
CurrencyMeasure
und
** Loan
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Loan
und
FinancialTransaction
um
** ** Loan
ist ein
fall
von
Loan
%n{nicht} und
borrower
** ** Loan
and
** CognitiveAgent
und
securedBy
** Loan
and
** Collateral
und
** FinancialTransaction
endet an
CurrencyFn
** Loan
%n{nicht} und
** FinancialTransaction
besteht
waehrend
** Day
%n{nicht} und
** FinancialTransaction
beginnet an
CurrencyFn
** ** Loan
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
(=>
(
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
Wenn
BankStatement
ist ein
fall
von
BankStatement
%n{nicht} und
statementAccount
** BankStatement
and
FinancialAccount
,
dann es gibt
Process
um
** Process
ist ein
fall
von
FinancialTransaction
%n{nicht} und
** Process
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht} oder
** Process
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
** BankStatement
druekt den Inhalt von
** Process
aus
(=>
(
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
Wenn
wert
von
Object
ist
CurrencyMeasure
und
Process
ist ein
fall
von
ProcessingACheck
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
CurrencyFn
FinancialAccount
%n{nicht} und
** FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und die
zeit
des Bestehens von
** Process
ist gleich
** Process
Time %n{nicht},
dann es gibt
FinancialTransaction
und
** FinancialTransaction
Time um
** FinancialTransaction
ist ein
fall
von
Deposit
%n{nicht} und
** Object
ist ein
instrument
fuer
** FinancialTransaction
%n{nicht} und die
zeit
des Bestehens von
** FinancialTransaction
ist gleich
** FinancialTransaction
Time %n{nicht} und
** Process
Time
schliesst
** FinancialTransaction
Time zeitlich an und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
und
** FinancialTransaction
endet an
CurrencyFn
** FinancialAccount
%n{nicht}
(=>
(
instance
?Deposit
Deposit
)
(
exists
(?Account)
(
destination
?Deposit
(
CurrencyFn
?Account))))
FinancialOntology.kif 431-434
Wenn
Process
ist ein
fall
von
Deposit
%n{nicht},
dann es gibt
FinancialAccount
um
** Process
endet an
CurrencyFn
** FinancialAccount
%n{nicht}
(=>
(
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
Wenn
FinancialAccount
ist ein
fall
von
ConsolidationLoan
%n{nicht},
dann es gibt
** FinancialAccount
1,
** FinancialAccount
2,, ,
Process
, and und
** Process
um
** FinancialAccount
1 ist ein
fall
von
Loan
%n{nicht} und
** FinancialAccount
2 ist ein
fall
von
Loan
%n{nicht} und
** Process
endet an
CurrencyFn
** FinancialAccount
1 %n{nicht} und
** ** Process
endet an
CurrencyFn
** FinancialAccount
2 %n{nicht} und
** Process
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht} und
** ** Process
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht}
(=>
(
instance
?Withdrawal
Withdrawal
)
(
exists
(?Account)
(
and
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal
(
CurrencyFn
?Account)))))
FinancialOntology.kif 459-464
Wenn
Process
ist ein
fall
von
Withdrawal
%n{nicht},
dann es gibt
FinancialAccount
um
** FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
** Process
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht}
(=>
(
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
Wenn
periodicPayment
FinancialAccount
,
CurrencyMeasure
and
TimeDuration
,
dann es gibt
FinancialTransaction
und
** Process
um
** FinancialTransaction
ist ein
fall
von
Payment
%n{nicht} und
** FinancialTransaction
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
** CurrencyMeasure
und
** FinancialTransaction
ist ein
fall
von
** Process
%n{nicht} und
** ** Process
gescheit
alle
** TimeDuration
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