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
货币
的 1 数量 是
金融账户
的
instance
(
instance
CurrencyFn
UnaryFunction
)
FinancialOntology.kif 282-282
货币
是
一元函数
的
instance
(
range
CurrencyFn
FinancialInstrument
)
FinancialOntology.kif 284-284
货币
的
range
是
金融工具
的实例
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
过程
是
退出
的
instance
和
金融账户
是
金融账户
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头 和 不存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 金融账户
的
currency
结束 和
那个 过程
causes
那个 另外 过程
若且唯若
那个 金融账户
的
liqudity
是
高流动性
(=>
(
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
如果
金融账户
是
支票账户
的
instance
和
过程
是
金融交易
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头,
然后 有存在
客体
这样
那个 客体
是
校验
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
或 有存在
另一个 客体
这样
那个 另外 客体
是
金融卡
的
instance
和
那个 另外 客体
是导致
那个 过程
的
instrument
(=>
(
and
(
instance
?Account
CreditCardAccount
)
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account)))
(
exists
(?Card)
(
and
(
instance
?Card
CreditCard
)
(
instrument
?Transaction ?Card))))
FinancialOntology.kif 1239-1247
如果
金融账户
是
信用卡帐户
的
instance
和
过程
是
金融交易
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头,
然后 有存在
客体
这样
那个 客体
是
信用卡
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
(=>
(
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
如果
责任账户
是
责任账户
的
instance
和
那个 责任账户
是 對於
月持续时间
的
minimum
費用
实数
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和 有存在
过程
和
时距
这样
那个 时距
是
月
的
instance
和
那个 过程
在
那个 责任账户
的
currency
结束 和
那个 责任账户
payments
对于
那个 时距
每周期
另一个 实数
那个 测量单位
和
那个 另外 实数
是
lessThan
那个 实数
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 责任账户
的
currency
结束
(=>
(
and
(
instance
?Account
SavingsAccount
)
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account)))
(
exists
(?Authorization)
(
and
(
instance
?Authorization
AuthorizationOfTransaction
)
(
subProcess
?Authorization ?Transaction))))
FinancialOntology.kif 1033-1041
如果
金融账户
是
储蓄账户
的
instance
和
过程
是
金融交易
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
交易授权
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
(=>
(
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
如果
金融账户
是
传统储蓄账户
的
instance
和
过程
是
退出
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头,
然后 不存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 金融账户
的
currency
结束 和
那个 过程
causes
那个 另外 过程
(=>
(
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
如果
金融账户
是
存款证
的
instance
和
日
是
那个 金融账户
的
maturity
日期 和
过程
是
退出
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头 和
那个 过程
的
date
是
另一个 日
和
那个 另外 日
的结束%n在
那个 日
的开始
before
发生,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 金融账户
的
currency
结束 和
那个 过程
causes
那个 另外 过程
(=>
(
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
如果
金融交易
是
存款
的
instance
和
金融账户
是
金融账户
的
instance
和
那个 金融交易
在
那个 金融账户
的
currency
结束 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 金融账户
对于 %3 的
current
帐户存款 和
另一个 实数
equal
(
第三 实数
和
那个 实数
),
然后
那个 金融账户
对于 %3 的
current
帐户存款
(=>
(
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
如果
金融交易
是
付款
的
instance
和
金融账户
的
currency
是
那个 金融交易
的源头 和
那个 金融账户
是
金融账户
的
instance
和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 金融账户
对于 %3 的
current
帐户存款 和
另一个 实数
equal
(
第三 实数
和
那个 实数
),
然后
那个 金融账户
对于 %3 的
current
帐户存款
(=>
(
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
如果
金融交易
是
金融交易
的
instance
和
金融账户
的
currency
是
那个 金融交易
的源头 和
实数
测量单位
是
那个 金融交易
的
transaction
总额 和
那个 测量单位
是
UnitOfCurrency
的
instance
和
实体
是
货币
的
instance
和
那个 实体
是
那个 金融交易
的
patient
和
那个 金融交易
的
date
是
日
,
然后 有存在
另一个 实数
这样
那个 金融账户
在
那个 日
的
available
cash
是
那个 另外 实数
那个 测量单位
和
那个 实数
是
greaterThanOrEqualTo
那个 另外 实数
(=>
(
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
如果
客体
的价值 是
货币测量
和
过程
是
处理检查
的
instance
和
那个 客体
是
那个 过程
的
patient
和
那个 过程
在
金融账户
的
currency
结束 和
那个 金融账户
是
金融账户
的
instance
和
那个 过程
出现 的
time
equal
那个 过程
Time,
然后 有存在
金融交易
和
那个 金融交易
Time 这样
那个 金融交易
是
存款
的
instance
和
那个 客体
是导致
那个 金融交易
的
instrument
和
那个 金融交易
出现 的
time
equal
那个 金融交易
Time 和
那个 过程
Time 接着
那个 金融交易
Time 和
那个 货币测量
是
那个 金融交易
的
transaction
总额 和
那个 金融交易
在
那个 金融账户
的
currency
结束
(=>
(
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
如果
货币测量
是
金融交易
的
transaction
总额 和
那个 金融交易
的
date
是
日
和
金融账户
是
金融账户
的
instance
和
那个 金融交易
在
那个 金融账户
的
currency
结束 和
那个 金融账户
对于
时距
到期的
amount
那个 货币测量
和
那个 日
的结束%n在
那个 时距
的开始
before
发生,
然后
那个 金融交易
是
预付款
的
instance
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
如果
金融账户
对于
时间位置
到期的
amount
货币测量
和
有认知的主事
持有
account
那个 金融账户
,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
and
(
downPayment
?Loan ?Amount)
(
agreementEffectiveDate
?Loan ?Date))
(
exists
(?Payment)
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
destination
?Payment
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 807-816
如果
货币测量
是
贷款
的
down
费用 和
时点
是
那个 贷款
的
agreement
生效日期,
然后 有存在
金融交易
这样
那个 货币测量
是
那个 金融交易
的
transaction
总额 和
那个 金融交易
的
date
是
那个 时点
和
那个 金融交易
在
那个 贷款
的
currency
结束
(=>
(
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
如果
金融账户
是
金融账户
的
instance
和
那个 金融账户
是 对于
实数
测量单位
的
minimum
金额
开户
和
那个 测量单位
是
UnitOfCurrency
的
instance
,
然后 有存在
金融交易
,
时点
, and 和
另一个 实数
这样
那个 金融交易
在
那个 金融账户
的
currency
结束 和
那个 另外 实数
那个 测量单位
是
那个 金融交易
的
transaction
总额 和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
和
那个 时点
是
那个 金融账户
的
agreement
生效日期 和
那个 金融交易
的
date
是
那个 时点
(=>
(
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
如果
金融账户
是
金融账户
的
instance
和
那个 金融账户
是 对于
实数
测量单位
的
minimum
金额
使用帐户
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 金融账户
对于 %3 的
current
帐户存款 和
另一个 实数
是
lessThan
那个 实数
,
然后 有存在
过程
这样
那个 过程
是
罚款
的
instance
和
那个 过程
的
date
是
日
和
那个 过程
在
那个 金融账户
的
currency
结束
(=>
(
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
如果
责任账户
是
责任账户
的
instance
和
那个 责任账户
是 對於
月持续时间
的
minimum
費用
实数
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和 有存在
过程
和
时距
这样
那个 时距
是
月
的
instance
和
那个 过程
在
那个 责任账户
的
currency
结束 和
那个 责任账户
payments
对于
那个 时距
每周期
另一个 实数
那个 测量单位
和
那个 另外 实数
是
lessThan
那个 实数
,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 责任账户
的
currency
结束
(=>
(
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
如果
金融账户
是
储蓄账户
的
instance
和
有认知的主事
持有
account
那个 金融账户
和
那个 金融账户
是 对于 %3 的赚取
interest
,
然后 有存在
金融交易
这样
那个 金融交易
在
那个 金融账户
的
currency
结束 和
利益
是
那个 金融交易
的
transaction
总额 和
那个 金融交易
在
那个 有认知的主事
结束
(=>
(
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
如果
金融账户
是
传统储蓄账户
的
instance
和
过程
是
退出
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头,
然后 不存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 金融账户
的
currency
结束 和
那个 过程
causes
那个 另外 过程
(=>
(
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
如果
金融账户
是
存款证
的
instance
和
日
是
那个 金融账户
的
maturity
日期 和
过程
是
退出
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头 和
那个 过程
的
date
是
另一个 日
和
那个 另外 日
的结束%n在
那个 日
的开始
before
发生,
然后 有存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 金融账户
的
currency
结束 和
那个 过程
causes
那个 另外 过程
(=>
(
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
如果
过程
是
存款支票
的
instance
和
校验
是
那个 过程
的
patient
和
那个 校验
是
校验
的
instance
和
金融账户
是
那个 校验
的
check
帐户 和
那个 校验
的价值 是
货币测量
,
然后 有存在
金融交易
这样
那个 金融交易
是
存款
的
instance
和
那个 金融交易
在
那个 金融账户
的
currency
结束 和
那个 货币测量
是
那个 金融交易
的
transaction
总额
(=>
(
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
如果
贷款
是
气球贷款
的
instance
和
日
是
那个 贷款
的
maturity
日期 和
货币测量
是
那个 贷款
的
total
存款 和
那个 贷款
是
有认知的主事
的
borrower
,
然后
那个 有认知的主事
有义务执行
符号串
所描述的类别 的任务
(=>
(
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
如果
过程
是
再融资
的
instance
和
那个 过程
在
日
是 存在 和
贷款
是
贷款
的
instance
和
抵押
是
那个 贷款
的
secured
和
那个 贷款
是
有认知的主事
的
borrower
和
那个 贷款
对于 %3 的
current
帐户存款 和
那个 贷款
是
那个 过程
的
patient
,
然后 有存在
另一个 贷款
和
金融交易
这样
那个 另外 贷款
是
贷款
的
instance
和
那个 另外 贷款
是
那个 有认知的主事
的
borrower
和
那个 抵押
是
那个 贷款
的
secured
和
那个 金融交易
在
那个 贷款
的
currency
结束 和
那个 金融交易
在
那个 日
是 存在 和
那个 另外 贷款
的
currency
是
那个 金融交易
的源头 和
货币测量
是
那个 金融交易
的
transaction
总额
(=>
(
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
如果
银行对帐单
是
银行对帐单
的
instance
和
金融账户
是
那个 银行对帐单
的
statement
帐号,
然后 有存在
过程
这样
那个 过程
是
金融交易
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头 或
那个 过程
在
那个 金融账户
的
currency
结束 和
那个 银行对帐单
表示
那个 过程
的内容
(=>
(
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
如果
客体
的价值 是
货币测量
和
过程
是
处理检查
的
instance
和
那个 客体
是
那个 过程
的
patient
和
那个 过程
在
金融账户
的
currency
结束 和
那个 金融账户
是
金融账户
的
instance
和
那个 过程
出现 的
time
equal
那个 过程
Time,
然后 有存在
金融交易
和
那个 金融交易
Time 这样
那个 金融交易
是
存款
的
instance
和
那个 客体
是导致
那个 金融交易
的
instrument
和
那个 金融交易
出现 的
time
equal
那个 金融交易
Time 和
那个 过程
Time 接着
那个 金融交易
Time 和
那个 货币测量
是
那个 金融交易
的
transaction
总额 和
那个 金融交易
在
那个 金融账户
的
currency
结束
(=>
(
instance
?Deposit
Deposit
)
(
exists
(?Account)
(
destination
?Deposit
(
CurrencyFn
?Account))))
FinancialOntology.kif 431-434
如果
过程
是
存款
的
instance
,
然后 有存在
金融账户
这样
那个 过程
在
那个 金融账户
的
currency
结束
(=>
(
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
如果
金融账户
是
合并贷款
的
instance
,
然后 有存在
那个 金融账户
1,
那个 金融账户
2,, ,
过程
, and 和
另一个 过程
这样
那个 金融账户
1 是
贷款
的
instance
和
那个 金融账户
2 是
贷款
的
instance
和
那个 过程
在
那个 金融账户
1 的
currency
结束 和
那个 另外 过程
在
那个 金融账户
2 的
currency
结束 和
那个 金融账户
的
currency
是
那个 过程
的源头 和
那个 金融账户
的
currency
是
那个 另外 过程
的源头
(=>
(
instance
?Withdrawal
Withdrawal
)
(
exists
(?Account)
(
and
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal
(
CurrencyFn
?Account)))))
FinancialOntology.kif 459-464
如果
过程
是
退出
的
instance
,
然后 有存在
金融账户
这样
那个 金融账户
是
金融账户
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头
(=>
(
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
如果
金融账户
是 对于
持续时间
的
periodic
费用
货币测量
,
然后 有存在
金融交易
和
有点 过程
这样
那个 金融交易
是
付款
的
instance
和
那个 金融账户
的
currency
是
那个 金融交易
的源头 和
那个 货币测量
是
那个 金融交易
的
transaction
总额 和
那个 金融交易
是
有点 过程
的
instance
和
那个 有点 过程
每
那个 持续时间
发生一次
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