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 and
金融賬戶
(
instance
CurrencyFn
UnaryFunction
)
FinancialOntology.kif 282-282
例
貨幣
and
UnaryFunction
(
range
CurrencyFn
FinancialInstrument
)
FinancialOntology.kif 284-284
範圍
貨幣
and
金融工具
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
and
退出
例
金融賬戶
and
金融賬戶
起源
Process
and
金融賬戶
的
currency
Process
例
Process
and
罰款
目的地
Process
and
金融賬戶
的
currency
原因
Process
and
Process
金融賬戶
的
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
例
金融賬戶
and
支票賬戶
例
Process
and
FinancialTransaction
起源
Process
and
金融賬戶
的
currency
Object
例
Object
and
校驗
儀器
Process
and
Object
Object
例
Object
and
金融卡
儀器
Process
and
Object
(=>
(
and
(
instance
?Account
CreditCardAccount
)
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account)))
(
exists
(?Card)
(
and
(
instance
?Card
CreditCard
)
(
instrument
?Transaction ?Card))))
FinancialOntology.kif 1239-1247
例
金融賬戶
and
信用卡帳戶
例
Process
and
FinancialTransaction
起源
Process
and
金融賬戶
的
currency
Object
例
Object
and
信用卡
儀器
Process
and
Object
(=>
(
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
例
責任賬戶
and
責任賬戶
責任賬戶
是 對於
月持續時間
的
minimum
費用
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
Process
TimeInterval
例
TimeInterval
and
Month
目的地
Process
and
責任賬戶
的
currency
責任賬戶
payments
對於
TimeInterval
每周期
測量
RealNumber
and
UnitOfMeasure
少於
RealNumber
and
RealNumber
Process
例
Process
and
罰款
目的地
Process
and
責任賬戶
的
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
例
金融賬戶
and
儲蓄賬戶
例
Process
and
FinancialTransaction
起源
Process
and
金融賬戶
的
currency
Process
例
Process
and
交易授權
子過程
Process
and
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
例
金融賬戶
and
傳統儲蓄賬戶
例
Process
and
退出
起源
Process
and
金融賬戶
的
currency
Process
例
Process
and
罰款
目的地
Process
and
金融賬戶
的
currency
原因
Process
and
Process
(=>
(
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
例
金融賬戶
and
存款證
Day
是
金融賬戶
的
maturity
日期
例
Process
and
退出
起源
Process
and
金融賬戶
的
currency
日期
Process
and
Day
之前
結束
Day
and
開始
Day
Process
例
Process
and
罰款
目的地
Process
and
金融賬戶
的
currency
原因
Process
and
Process
(=>
(
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
例
FinancialTransaction
and
存款
例
金融賬戶
and
金融賬戶
目的地
FinancialTransaction
and
金融賬戶
的
currency
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
金融賬戶
對於 %3 的
current
帳戶存款
等於
RealNumber
and
加成
RealNumber
and
RealNumber
金融賬戶
對於 %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
例
FinancialTransaction
and
付款
起源
FinancialTransaction
and
金融賬戶
的
currency
例
金融賬戶
and
金融賬戶
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
金融賬戶
對於 %3 的
current
帳戶存款
等於
RealNumber
and
減法
RealNumber
and
RealNumber
金融賬戶
對於 %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
例
FinancialTransaction
and
FinancialTransaction
起源
FinancialTransaction
and
金融賬戶
的
currency
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
例
UnitOfMeasure
and
UnitOfCurrency
例
Entity
and
貨幣
患者
FinancialTransaction
and
Entity
日期
FinancialTransaction
and
Day
RealNumber
金融賬戶
在
Day
的
available
cash
是
測量
RealNumber
and
UnitOfMeasure
大於或等於
RealNumber
and
RealNumber
(=>
(
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
貨幣價值
Object
and
CurrencyMeasure
例
Process
and
處理檢查
患者
Process
and
Object
目的地
Process
and
金融賬戶
的
currency
例
金融賬戶
and
金融賬戶
等於
何時
Process
and
Process
Time
FinancialTransaction
FinancialTransaction
Time
例
FinancialTransaction
and
存款
儀器
FinancialTransaction
and
Object
等於
何時
FinancialTransaction
and
FinancialTransaction
Time
短暫相遇
Process
Time and
FinancialTransaction
Time
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
目的地
FinancialTransaction
and
金融賬戶
的
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
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
日期
FinancialTransaction
and
Day
例
金融賬戶
and
金融賬戶
目的地
FinancialTransaction
and
金融賬戶
的
currency
金融賬戶
對於
TimeInterval
到期的
amount
CurrencyMeasure
之前
結束
Day
and
開始
TimeInterval
例
FinancialTransaction
and
預付款
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
金融賬戶
對於
TimePosition
到期的
amount
CurrencyMeasure
CognitiveAgent
持有
account
金融賬戶
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
付款
CurrencyMeasure
是
SymbolicString
的
transaction
總額
目的地
SymbolicString
and
金融賬戶
的
currency
起源
SymbolicString
and
金融賬戶
的
currency
日期
SymbolicString
and
entity
之前或相等
結束
entity
and
開始
TimePosition
and
CognitiveAgent
(=>
(
and
(
downPayment
?Loan ?Amount)
(
agreementEffectiveDate
?Loan ?Date))
(
exists
(?Payment)
(
and
(
transactionAmount
?Payment ?Amount)
(
date
?Payment ?Date)
(
destination
?Payment
(
CurrencyFn
?Loan)))))
FinancialOntology.kif 807-816
CurrencyMeasure
是
貸款
的
down
費用
TimePoint
是
貸款
的
agreement
生效日期
FinancialTransaction
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
日期
FinancialTransaction
and
TimePoint
目的地
FinancialTransaction
and
貸款
的
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
例
金融賬戶
and
金融賬戶
金融賬戶
是 對於
測量
RealNumber
and
UnitOfMeasure
的
minimum
金額
開戶
例
UnitOfMeasure
and
UnitOfCurrency
FinancialTransaction
TimePoint
and
RealNumber
目的地
FinancialTransaction
and
金融賬戶
的
currency
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
transaction
總額
大於或等於
RealNumber
and
RealNumber
TimePoint
是
金融賬戶
的
agreement
生效日期
日期
FinancialTransaction
and
TimePoint
(=>
(
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
例
金融賬戶
and
金融賬戶
金融賬戶
是 對於
測量
RealNumber
and
UnitOfMeasure
的
minimum
金額
使用帳戶
例
UnitOfMeasure
and
UnitOfCurrency
金融賬戶
對於 %3 的
current
帳戶存款
少於
RealNumber
and
RealNumber
Process
例
Process
and
罰款
日期
Process
and
Day
目的地
Process
and
金融賬戶
的
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
例
責任賬戶
and
責任賬戶
責任賬戶
是 對於
月持續時間
的
minimum
費用
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
Process
TimeInterval
例
TimeInterval
and
Month
目的地
Process
and
責任賬戶
的
currency
責任賬戶
payments
對於
TimeInterval
每周期
測量
RealNumber
and
UnitOfMeasure
少於
RealNumber
and
RealNumber
Process
例
Process
and
罰款
目的地
Process
and
責任賬戶
的
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
例
金融賬戶
and
儲蓄賬戶
CognitiveAgent
持有
account
金融賬戶
金融賬戶
是 對於 %3 的賺取
interest
FinancialTransaction
目的地
FinancialTransaction
and
金融賬戶
的
currency
利益
是
FinancialTransaction
的
transaction
總額
目的地
FinancialTransaction
and
CognitiveAgent
(=>
(
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
例
金融賬戶
and
傳統儲蓄賬戶
例
Process
and
退出
起源
Process
and
金融賬戶
的
currency
Process
例
Process
and
罰款
目的地
Process
and
金融賬戶
的
currency
原因
Process
and
Process
(=>
(
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
例
金融賬戶
and
存款證
Day
是
金融賬戶
的
maturity
日期
例
Process
and
退出
起源
Process
and
金融賬戶
的
currency
日期
Process
and
Day
之前
結束
Day
and
開始
Day
Process
例
Process
and
罰款
目的地
Process
and
金融賬戶
的
currency
原因
Process
and
Process
(=>
(
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
例
Process
and
存款支票
患者
Process
and
校驗
例
校驗
and
校驗
金融賬戶
是
校驗
的
check
帳戶
貨幣價值
校驗
and
CurrencyMeasure
FinancialTransaction
例
FinancialTransaction
and
存款
目的地
FinancialTransaction
and
金融賬戶
的
currency
CurrencyMeasure
是
FinancialTransaction
的
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
例
貸款
and
氣球貸款
Day
是
貸款
的
maturity
日期
CurrencyMeasure
是
貸款
的
total
存款
貸款
是
CognitiveAgent
的
borrower
持有義務
卡帕
SymbolicString
and
日期
SymbolicString
and
Day
CurrencyMeasure
是
SymbolicString
的
transaction
總額
目的地
SymbolicString
and
貸款
的
currency
and
CognitiveAgent
(=>
(
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
例
Process
and
再融資
時間
Process
and
Day
例
貸款
and
貸款
抵押
是
貸款
的
secured
貸款
是
CognitiveAgent
的
borrower
貸款
對於 %3 的
current
帳戶存款
患者
Process
and
貸款
貸款
FinancialTransaction
例
貸款
and
貸款
貸款
是
CognitiveAgent
的
borrower
抵押
是
貸款
的
secured
目的地
FinancialTransaction
and
貸款
的
currency
時間
FinancialTransaction
and
Day
起源
FinancialTransaction
and
貸款
的
currency
CurrencyMeasure
是
FinancialTransaction
的
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
例
銀行對帳單
and
銀行對帳單
金融賬戶
是
銀行對帳單
的
statement
帳號
Process
例
Process
and
FinancialTransaction
起源
Process
and
金融賬戶
的
currency
目的地
Process
and
金融賬戶
的
currency
實現
銀行對帳單
and
Process
(=>
(
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
貨幣價值
Object
and
CurrencyMeasure
例
Process
and
處理檢查
患者
Process
and
Object
目的地
Process
and
金融賬戶
的
currency
例
金融賬戶
and
金融賬戶
等於
何時
Process
and
Process
Time
FinancialTransaction
FinancialTransaction
Time
例
FinancialTransaction
and
存款
儀器
FinancialTransaction
and
Object
等於
何時
FinancialTransaction
and
FinancialTransaction
Time
短暫相遇
Process
Time and
FinancialTransaction
Time
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
目的地
FinancialTransaction
and
金融賬戶
的
currency
(=>
(
instance
?Deposit
Deposit
)
(
exists
(?Account)
(
destination
?Deposit
(
CurrencyFn
?Account))))
FinancialOntology.kif 431-434
例
Process
and
存款
金融賬戶
目的地
Process
and
金融賬戶
的
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
例
金融賬戶
and
合併貸款
金融賬戶
1
金融賬戶
2,
Process
and
Process
例
金融賬戶
1 and
貸款
例
金融賬戶
2 and
貸款
目的地
Process
and
金融賬戶
1 的
currency
目的地
Process
and
金融賬戶
2 的
currency
起源
Process
and
金融賬戶
的
currency
起源
Process
and
金融賬戶
的
currency
(=>
(
instance
?Withdrawal
Withdrawal
)
(
exists
(?Account)
(
and
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal
(
CurrencyFn
?Account)))))
FinancialOntology.kif 459-464
例
Process
and
退出
金融賬戶
例
金融賬戶
and
金融賬戶
起源
Process
and
金融賬戶
的
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
金融賬戶
是 對於
TimeDuration
的
periodic
費用
CurrencyMeasure
FinancialTransaction
Process
例
FinancialTransaction
and
付款
起源
FinancialTransaction
and
金融賬戶
的
currency
CurrencyMeasure
是
FinancialTransaction
的
transaction
總額
例
FinancialTransaction
and
Process
頻率
Process
and
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